SpecForge – A Platform for Authoring Formal Specifications
Article URL: https://docs.imiron.io/v/0.5.10/en/tour.html Comments URL: https://news.ycombinator.com/item?id=49095628 Points: 8 # Comments: 0
Latest
Amiga Graphics Archive
Article URL: https://amiga.lychesis.net/index.html Comments URL: https://news.ycombinator.com/item?id=49095511 Points: 3 # Comments: 0
The only road in London where you have to drive on the right
Article URL: https://www.mylondon.news/news/transport/only-road-london-you-drive-30499294 Comments URL: https://news.ycombinator.com/item?id=49095361 Points: 13 # Comments: 20
Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels
Just launched my app, VimGolf.ai! As users complete the levels on the map, I introduce progressively more complicated concepts — it’s aimed at people who have…
ChatGPT claims rogue AI attacked more companies
Article URL: https://www.bbc.co.uk/news/articles/c2el319vzr3o Comments URL: https://news.ycombinator.com/item?id=49094996 Points: 24 # Comments: 11
The Shape of Data (2022)
Article URL: https://www.scattered-thoughts.net/writing/the-shape-of-data/ Comments URL: https://news.ycombinator.com/item?id=49094931 Points: 3 # Comments: 0
SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers
Article URL: https://micrologics.org/blog/sqlite-in-production-optimizing-wal-mode-concurrency-and-vfs-layers-for-low-latency-app-servers Comments URL: https://news.ycombinator.com/item?id=49094346 Points: 30 # Comments: 1
More Tailscale tricks for your jailbroken Kindle
Article URL: https://tailscale.com/blog/jailbroken-kindle-proxy-tun-modes Comments URL: https://news.ycombinator.com/item?id=49093569 Points: 5 # Comments: 0
Cracking Windows Open: Porting RADV to Win32
Article URL: https://www.collabora.com/news-and-blog/news-and-events/cracking-windows-open-porting-radv-to-win32.html Comments URL: https://news.ycombinator.com/item?id=49093435 Points: 4 # Comments: 0
User Interfaces of the Demo Scene
Article URL: https://www.datagubbe.se/scenegui/ Comments URL: https://news.ycombinator.com/item?id=49093434 Points: 3 # Comments: 0