tech
29 Jul 2026
Why Rocq is Better than Lean for Program Verification
Discover why Rocq outperforms Lean in program verification with a more direct and efficient approach.
Read
Journal · one note per week
What we learn while building.
Raw notes on AI in production, real agentic systems, and what actually works for the startups we work with.
↳ 5223 notes
tech
29 Jul 2026
The Mean Means Nothing: Decoding Statistics
In the world of web services, the mean can be misleading. Learn to explore data with alternative methods like cumulative distribution functions for a precise view.
Read
tech
29 Jul 2026
Multiple Mouse Cursors in Wayland: Revolutionizing Multi-User Collaboration
Explore how Wayland is transforming the multi-user experience with multiple mouse cursors. A breakthrough for collaborative development and network gaming.
Read
tech
29 Jul 2026
Hubble: Open-source Notetaking App for You and Your Agents
Hubble, an open-source app, transforms notetaking by catering to individual users and their digital agents alike.
Read
tech
29 Jul 2026
ReFrame: The Innovative ePaper Camera
Discover ReFrame, an experimental camera redefining photography with its color ePaper display and open-source design.
Read
tech
29 Jul 2026
User Interfaces of the Demo Scene: A Journey Through Digital Time
Dive into the world of user interfaces in the Demo Scene, where digital art meets technical ingenuity. Discover how these often quirky interfaces have shaped a unique subculture.
Read
tech
29 Jul 2026
Unlock the Full Potential of Tailscale on Your Jailbroken Kindle
Learn how to turn your jailbroken Kindle into a powerful network device with Tailscale. Explore its proxy and TUN modes and their practical applications.
Read
tech
29 Jul 2026
Teach Yourself Programming in Ten Years: The Truth Behind Mastering the Craft
In a world filled with promises of quick learning, programming is no exception. Yet, true expertise doesn't come in hours. Discover why mastering this complex craft requires time and dedication.
Read
tech
29 Jul 2026
Designing a Custom PCB to Automate a Daily Task
Learn how a simple PCB automated a repetitive function and enhanced the user experience of a night light device.
Read