Show HN: AI 3D Model Generator
(3d-generator.com)
2 points
0
Show HN: I built a replit game where you need to kill debuggers[Glitch Survival]
(glitch-survival.replit.app)
2 points
1
Show HN: Ez FFmpeg – Video editing in plain English
(npmjs.com)
390 points
190
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize
(github.com)
204 points
165
Show HN: Future Hacker News
(future-hacker-news.succinct.link)
2 points
0
Show HN: I built an open-source wallpaper gallery for GitHub repos
(walle.theblank.club)
4 points
2
Show HN: Word-GPT-Plus – Integrate AI and Agent Directly into Word
(github.com)
2 points
0
Show HN: minfern – Type inference for JavaScript without transpilation
(github.com)
2 points
0
Show HN: Databasus – open-source backup tool for PostgreSQL, MySQL and MongoDB
(databasus.com)
7 points
3
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
(github.com)
148 points
36
Load More Posts
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
OP
by
PaulHoule
today at 3:02 PM
18 points
2 comments
arxiv.org
Comments
Loading comments...