Viewing profile — spaccy05

spaccy05

HN member

No profile information was provided.

comment
Comment #47743514
Sun, Apr 12, 2026, 7:34 PM UTC
story
Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs
Hi all, I have recently been playing around with AI and formal methods and built Provepy. It's an experiment to see if we can use frontier LLMs to bridge the gap between everyday P…

Sat, Apr 11, 2026, 6:33 AM UTC
comment
Comment #36959085
SEEKING WORK | REMOTE Hi, I work on mathematical optimization (operations research),algorithm development and machine learning. I can help create models to optimize decision making…

Tue, Aug 01, 2023, 5:17 PM UTC
comment
Comment #36656974
SEEKING WORK | REMOTE Hi, I work on mathematical optimization (operations research),algorithm development and machine learning. I can help create models to optimize decision making…

Sun, Jul 09, 2023, 5:57 PM UTC
comment
Comment #36195220
SEEKING WORK | REMOTE Hi, I work on mathematical optimization (operations research),algorithm development and machine learning. I can help create models to optimize decision making…

Mon, Jun 05, 2023, 12:18 PM UTC
comment
Comment #35912648
SEEKING WORK | REMOTE Hi, I work on mathematical optimization (operations research),algorithm development and machine learning. I can help create models to optimize decision making…

Fri, May 12, 2023, 6:20 AM UTC