niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

The Hoare Cube

Article URL: https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/

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

Points: 25

# Comments: 2

https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/

Created 6mo | Dec 4, 2024, 8:20:08 PM


Login to add comment

Other posts in this group

Software Is About Promises
Software Is About Promises

Article URL: https://www.bramadams.dev/software-is-about-promises/

Comments URL:

Jun 9, 2025, 4:40:07 AM | Hacker news
FSE meets the FBI
FSE meets the FBI

Article URL: https://blog.freespeechextremist.com/blog/fse-vs-fbi.html

Comments URL:

Jun 9, 2025, 4:40:04 AM | Hacker news
tcpulse: A TCP/UDP load generator that provides fine-grained, flow-level control
tcpulse: A TCP/UDP load generator that provides fine-grained, flow-level control

Article URL: https://github.com/yuuki/tcpulse

Comments URL: https://news.ycombinator.c

Jun 9, 2025, 2:20:10 AM | Hacker news
Zig Devlog: Self-Hosted x86 Back End Is Now Default in Debug Mode
Zig Devlog: Self-Hosted x86 Back End Is Now Default in Debug Mode

Article URL: https://ziglang.org/devlog/2025/#2025-06-08

Comments URL: http

Jun 9, 2025, 2:20:10 AM | Hacker news
Riding high in Germany on the world's oldest suspended railway
Riding high in Germany on the world's oldest suspended railway

Article URL: https://www.theguardian.com/travel/2025/jun/09/riding-high-in-ge

Jun 9, 2025, 2:20:09 AM | Hacker news
Analyzing IPv4 Trades with Gnuplot
Analyzing IPv4 Trades with Gnuplot

Article URL: https://ipv4a-5539ad.gitlab.io/

Comments URL: https://news.ycombinator.com

Jun 9, 2025, 2:20:08 AM | Hacker news
The Wire That Transforms Much of Manhattan into One Big, Symbolic Home
The Wire That Transforms Much of Manhattan into One Big, Symbolic Home

Article URL: https://www.atlasobscura.com/articles/eruv-manhattan-invisible-wire-jewish

Jun 9, 2025, 12:10:08 AM | Hacker news
Techie
Techie