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

Created 7h | Jun 20, 2025, 12:20:11 AM

Other posts in this group

Open source can't coordinate

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

Comments URL:

Jun 20, 2025, 4:50:11 AM | 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

Jun 20, 2025, 4:50:09 AM | Hacker news

Missing Matter in Universe Found

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

Comments URL:

Jun 20, 2025, 4:50:08 AM | 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

Jun 20, 2025, 2:40:09 AM | 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:

Jun 20, 2025, 2:40:08 AM | Hacker news

Infinite Mac OS X

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

Comments URL:

Jun 20, 2025, 2:40:07 AM | Hacker news

FedFlix — Public Domain Stock Footage Library

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

Comments URL:

Jun 20, 2025, 2:40:06 AM | Hacker news

Techie