Show HN: Tiny Hoare logic verifier using SMT

Article URL: https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

Comments URL: https://news.ycombinator.com/item?id=44305599

Points: 7

# Comments: 1

https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

Vytvořeno 7h | 20. 6. 2025 0:20:11

Chcete-li přidat komentář, přihlaste se

Ostatní příspěvky v této skupině

Open source can't coordinate

Article URL: https://matklad.github.io/2025/05/20/open-source-cant-coordinate.html

Comments URL:

20. 6. 2025 4:50:11 | Hacker news

Show HN: Tool to Automatically Create Organized Commits for PRs

I've found it helps PR reviewers when they can look through a set of commits with clear messages and logically organized changes. Typically reviewers prefer a larger quantity of smaller changes ve

20. 6. 2025 4:50:09 | Hacker news

Missing Matter in Universe Found

Article URL: https://www.caltech.edu/about/news/missing-matter-in-universe-found

Comments URL:

20. 6. 2025 4:50:08 | Hacker news

Giant, All-Seeing Telescope Is Set to Revolutionize Astronomy

Article URL: https://www.science.org/content/article/giant-all-seeing-telescope-set-revolut

20. 6. 2025 2:40:09 | Hacker news

Sunsonic 986-II – A Thai Famicom clone with keyboard and mini CRT built-in

Article URL: https://mastodon.gamedev.place/@pikuma/114711138512697712

Comments URL:

20. 6. 2025 2:40:08 | Hacker news

Infinite Mac OS X

Article URL: https://blog.persistent.info/2025/03/infinite-mac-os-x.html

Comments URL:

20. 6. 2025 2:40:07 | Hacker news

FedFlix — Public Domain Stock Footage Library

Article URL: https://public.resource.org/ntis.gov/index.html

Comments URL:

20. 6. 2025 2:40:06 | Hacker news

Techie