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

Creată 5h | 20 iun. 2025, 00:20:11

Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

Open source can't coordinate

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

Comments URL:

20 iun. 2025, 04: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 iun. 2025, 04: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 iun. 2025, 04: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 iun. 2025, 02: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 iun. 2025, 02:40:08 | Hacker news

Infinite Mac OS X

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

Comments URL:

20 iun. 2025, 02:40:07 | Hacker news

FedFlix — Public Domain Stock Footage Library

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

Comments URL:

20 iun. 2025, 02:40:06 | Hacker news

Techie