The Future of Version Control

https://substackcdn.com/image/fetch/$s_!93xj!,f_auto,q_auto:best,fl_progressive:steep/https%3A%2F%2Fbramcohen.substack.com%2Ftwitter%2Fsubscribe-card.jpg%3Fv%3D-1733548744%26version%3D9
Manyana is a project that presents a coherent vision for the future of version control using CRDTs, which provide eventual consistency and informative conflict markers. It offers a better design for version control, including permanent line ordering, informative conflicts, and preserved history, making it a promising proof for CRDT-based version control.

Project Nomad – Knowledge That Never Goes Offline

https://www.projectnomad.us/_next/image?url=%2Flogo.png&w=256&q=75&dpl=dpl_D5HoMqabuZP4MGAmXHnxVxE6tspG
Project NOMAD is a free, open source offline server that runs on any computer, providing access to knowledge, AI, and maps without internet. It's a self-hosted solution for digital independence, offering a complete library and AI assistant for learning, navigation, and more.

Flash-MoE: Running a 397B Parameter Model on a Laptop

https://raw.githubusercontent.com/danveloper/flash-moe/main/progress.png
Researchers built a 397 billion parameter AI model in 24 hours using C, Objective-C, and Metal shaders on a MacBook Pro. The model runs at 4.4+ tokens/second with production-quality output, using a custom Metal compute pipeline and 48GB RAM.

The biggest theft in human history occurred in broad daylight

https://hcti.io/v1/image/019d16d7-397d-72b8-8518-f997b64c47d1
In complex societies like ours, theft typically follows a formal process: investigation, apprehension, prosecution, punishment (sometimes) and compensation (sometimes) for the victims. I like to invite you on a brief journey back in time, where we will step into the shoes of an investigator examining a theft. Because this involves the theft of intangible assets, the situation is complicated. ...

MAUI Is Coming to Linux

https://framerusercontent.com/images/CUbSIRximmKmuZ0BgveVtIexZSg.png?width=2013&height=1496
Avalonia MAUI is now available for .NET MAUI, allowing deployment to new platforms like Linux and WebAssembly. This new backend advances Avalonia's vision of cross-platform consistency.

Building an FPGA 3dfx Voodoo with Modern RTL Tools

https://noquiche.fyi/assets/screamer2_sim.png
The user successfully implemented an FPGA reimplementation of the Voodoo 1 graphics card using SpinalHDL, which allowed them to describe, simulate, and debug the complex design. The user used netlist-aware waveform queries in conetrace to identify and fix a bug that was caused by a stack of small hardware-accuracy mismatches rather than a single catastrophic failure.

Windows native app development is a mess

https://domenic.me/images/display-blackout.webp
The user, a Windows developer, attempted to create a simple Windows utility program using the latest Windows App SDK but found the process to be frustrating due to gaps in the framework and outdated interop technology. The user ultimately decided that using web technologies like Electron or Tauri might be a better choice for native Windows app development due to the complexity and limitations ...

Five Years of Running a Systems Reading Group at Microsoft

The user started a reading group at Microsoft in 2021 focused on database internals, which evolved into the Microsoft Systems Reading Group covering various computer science topics, and has been successful due to consistency, organic growth, and collaboration. The group's format, which includes guided reading series and a relaxed atmosphere, has led to valuable connections and learning ...

Why I love NixOS

The user loves NixOS for its deterministic and reproducible package manager, allowing them to define and rebuild their operating system from a single source of truth. This approach makes experimentation cheap and safe, and the user appreciates its stability, predictability, and coherence across platforms.

More common mistakes to avoid when creating system architecture diagrams

https://www.ilograph.com/blog/img/more-diagram-mistakes/labels1.png
System diagramming mistakes include poorly labeled resources, disconnected resources, and overly complex diagrams. Common errors also include oversimplification, unnecessary animations, and fan traps, which can lead to confusion and misinterpretation.

A case against currying

The author argues that curried functions are not as superior as they seem, especially when considering partial application and function composition.

Cloudflare flags archive.today as "C&C/Botnet"; no longer resolves via 1.1.1.2

A review of dice that came with the white castle

https://cf.geekdo-images.com/qXT1U-nFh9PE8ujfdmI7dA__square100/img/XeCz-v0bsQf_eq2O2Zax_zqNl3c=/0x0:848x848/100x100/filters:strip_icc()/pic7754663.jpg
The dice included in the game's box have density issues within their plastic which could cause biased results, but they are safe to use for this game due to the limited number of rolls. The user recommends these dice for casual games but not for games that heavily rely on dice rolling.

Reports of code's death are greatly exaggerated

https://imagedelivery.net/iHX6Ovru0O7AjmyT5yZRoA/f7e9e621-0fad-4c3a-a65b-d16832c02b00/public
The user argues that while AI helps with precision in coding, it also creates an illusion of precision, which can lead to bugs and complexity issues when scaled up. The user believes that good code is not just about producing working software, but also about creating beautiful, well-structured abstractions that help master complexity, and that AI will be a boon for coding, not a replacement for it.

25 Years of Eggs

https://www.john-rush.com/images/posts/eggs-header.jpg
The user scanned 11,345 receipts since 2001 and used AI agents to extract data, focusing on egg purchases. The project took 14 days with 15 hours of human input.

Learnings from training a font recognition model from scratch

https://static.mixfont.com/assets/20260317-061742-img_5084_v1-kwqp338v.webp
Over the past few weeks I've been exploring the process of training my own AI models from scratch, and I started with the idea to build a font recognition model. I've always been interested in fonts, but figuring out the closest matching font in an image has always been a challenge. I'm only a normal software engineer and not an AI researcher though, so besides the font finder use ...

Zero ZGC4: A Better Graphing Calculator for School and Beyond

Explore ZGC4 features: fast graphing, Python programming, USB-C charging, and classroom-ready design. Built for students and teachers.

The IBM scientist who rewrote the rules of information just won a Turing Award

https://assets.ibm.com/is/image/ibm/ibmprphoto_quantumpublickeydistdevice_cbennett_may23_1990-copy?ts=1773975152477&dpr=off
Charles H. Bennett, an IBM physicist, met Gilles Brassard in 1979 and proposed a way to create unforgeable currency based on quantum physics. Their work led to the development of quantum cryptography, a method for sharing encryption keys that is theoretically unbreakable.

My first patch to the Linux kernel

https://pooladkhay.com/blog-img/hide-the-pain.webp
The user encountered a sign-extension bug in their C code while developing a Type-2 hypervisor, which caused the system to crash unpredictably due to a triple fault. The bug was caused by integer promotion and sign extension in the get_desc64_base function, which was fixed by casting values to unsigned types before the bit-shift operation.

Ask HN: Apple terminated our dev account over a rogue employee

Small African software company's app is at risk of removal due to an employee's unauthorized Apple Developer Terms of Service violation. They're seeking a human review of their security overhaul and appeal for a second chance.

Show HN: Revise – An AI Editor for Documents

https://revise.io/og.png
I'll follow these guidelines to provide a summary of user input in 2 concise English sentences, not exceeding 200 characters.

Node.js worker threads are problematic, but they work great for us

https://www.inngest.com/_next/image?url=%2Fassets%2Fblog%2Fnode-worker-threads%2Fcover.png&w=1920&q=95
Node.js has a single-threaded event loop that handles concurrency without locks, but CPU-heavy code can starve the event loop. Worker threads provide isolation, but require a separate file with its own entry point and communication via message passing.

The three pillars of JavaScript bloat

https://43081j.com/assets/images/is-string-graph.png
The e18e community has seen significant growth and performance-focused contributions, but this has led to "dependency bloat" in npm trees due to redundant, outdated, or unmaintained packages. To address this, maintainers and consumers should work together to identify and remove unnecessary packages, using tools like e18e, npmx, and module-replacements to clean up dependency trees.

JavaScript Is Enough

https://geajs.com/logo.png
Zag.js is a JavaScript framework for building efficient and accessible components with reactive state and granular change events. It provides a Vite plugin for hot module replacement and ships with AI-assisted development tools for scaffolding and iterating on Gea apps.

Ask HN: AI productivity gains – do you fire devs or build better products?

The user discusses the potential benefits and limitations of using AI-assisted coding tools, citing examples of productivity gains and improved code quality, but also noting that these tools are not a replacement for human judgment and can create unmaintainable code if not used correctly. The user suggests that AI-assisted coding can be a valuable tool for developers, but its effectiveness ...

Brute-forcing my algorithmic ignorance with an LLM in 7 days

The user used a Large Language Model (LLM) to learn algorithmic concepts and solve LeetCode problems in a week, bridging a 10-year knowledge gap and gaining confidence in solving algorithmic tasks. The user's speedrun was partially successful, but they realized that fluency and speed in solving problems are not the only metrics that matter, and that a human teacher would be better in ...

Why Lab Coats Turned White

https://substackcdn.com/image/fetch/$s_!DTsZ!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3c6c2ca7-b756-4992-b107-3eab5bfacb2e_2000x1260.jpeg
The white lab coat originated from Victorian England's hygienist movement, where surgeons adopted white attire to signal cleanliness and professionalism. Over time, the lab coat became a symbol of scientific identity, despite its limited functionality and potential for innovation.

Monuses and Heaps

The user discusses the monus algebraic structure, a type of ordered monoid that supports a partial subtraction operation, and its application in heap-based algorithms, particularly in graph search and sorting. They also introduce a weakened form of the monus algebra and use it to implement a stable heap sort based on an arbitrary total-ordered key.

HopTab – Open source macOS app switcher and tiler that replaces Cmd+Tab

HopTab is a macOS app that allows users to customize their workflow with keyboard shortcuts, profiles, and layouts. It enables users to pin apps, snap windows, and switch profiles with ease.

A Fuzzer for the Toy Optimizer

The user created a fuzzer to test an optimizer's correctness by generating random programs and checking for heap consistency between optimized and un-optimized versions. The fuzzer revealed an aliasing problem in the optimizer when its main load-bearing pillar of correctness was commented out.