1. Show HN: T4 – a versioned datastore with branching and time-travel (S3-backed) (github.com)
S3-durable key-value storage with etcd v3 compatibility - t4db/t4
3. Who was "Not Even Wrong" first? [2023] (www.math.columbia.edu)
I recently heard from John Minkowski, whose father Jan Minkowksi was a student of Pauli’s in the late 1940s. He asked if I knew what the specific context of Pauli’s “Not Even Wron…
4. In Production (lucumr.pocoo.org)
Five months of durable execution with just Postgres.
10. 'The Audacity' Is the Broligarchy Takedown You Were Waiting For (www.wired.com)
AMC’s new black comedy about a manchild tech titan spinning out of control is a skewering Silicon Valley’s billionaire class deserves.
11. Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com)
Formal verification for AI-generated code. Contribute to yamafaktory/formal development by creating an account on GitHub.
12. Show HN: Real-Time OLAP Infrastructure (modolap.com)
13. Show HN: Uncook, the Social Network for Food (uncook.xyz)
14. Show HN: Bullseye2D – A Dart library for cross-platform 2D games (github.com)
An easy-to-use, high-performance 2D game library for Dart. - bullseye2d/bullseye2d
16. Show HN: Minnow – minimal now pages via chat (minnow.social)
Make a minimal personal website about what you
17. Show HN: Toy Python Lisp interpreters based on the 1960 McCarthy paper (github.com)
Toy Python LISP interpreter based on the original 1960 John McCarthy paper - jhud/lisp
18. Show HN: macpak (Homebrew Wrapper for macOS) (github.com)
Interactive wrapper that makes Homebrew much easier to use + zapper for non-brew apps - kavindujayarathne/macpak
19. Show HN: Minimalist template for scientific and academic resumes (github.com)
Minimalist LaTeX template for academic CVs. Contribute to pmichaillat/latex-cv development by creating an account on GitHub.
20. Show HN: Jarvis for Audio Engineers (soorf.xyz)
21. Show HN: ReverseYC (rocketplace.org)
Verified founder experience. Recent investor activity. AI-powered research for venture capital.
22. Show HN: ApplePy – Embed and Call Swift from Python (Like PyO3, but for Swift) (github.com)
Write Python extension modules in Swift — PyO3 for Swift - jagtesh/ApplePy
23. Show HN: Telegram feed reader using DNS TXT records for Iran's Internet shutdown (github.com)
DNS-based feed reader for Telegram channels. Designed for environments where only DNS queries work. - sartoopjj/thefeed
24. Show HN: Chunk – macOS menu bar time-blocking app with Claude AI integration (www.chunkapp.net)
Chunk is a time block planner for macOS with menu bar access, calendar sync, custom templates, notifications, and features designed to support ADHD focus.