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 3mo | Jun 20, 2025, 12:20:11 AM

Other posts in this group

The Claude Code Framework Wars

Article URL: https://shmck.substack.com/p/claude-code-framework-wars

Comments URL:

Sep 7, 2025, 7:40:09 AM | Hacker news

I am giving up on Intel and have bought an AMD Ryzen 9950X3D

Article URL: https://michael.stapelberg.ch/posts/2025-09-07-bye-intel-hi-amd-9950x3d/

Comments URL:

Sep 7, 2025, 7:40:08 AM | Hacker news

Navy SEALs reportedly killed North Korean fishermen to hide a failed mission

Article URL: https://www.nytimes.com/2025/09/05/us/navy-seal-north-korea-trump-2019.html

Comments U

Sep 7, 2025, 5:30:10 AM | Hacker news

Show HN: Lightweight tool for managing Linux virtual machines

hey guys. the other day i was migrating hosting providers and i just needed something not too heavy and convenient to spin up my backups for awhile and realised there is almost nothing out there.

Sep 7, 2025, 5:30:09 AM | Hacker news

The world has a running Rational R1000/400 computer again (2019)

Article URL: https://datamuseum.dk/wiki/Rational/R1000s400/Logbook/2019#2019-10-28

Comments URL:

Sep 7, 2025, 5:30:07 AM | Hacker news

Unofficial Windows 11 requirements bypass tool allows disabling all AI features

Article URL: https://www.neowin.net/news/unofficial-windows-11-requi

Sep 7, 2025, 5:30:06 AM | Hacker news

Being good isn't enough

Article URL: https://joshs.bearblog.dev/being-good-isnt-enough/

Comments URL:

Sep 7, 2025, 3:10:18 AM | Hacker news

Techie