π¬ Lean proved this program was correct; then I found a bug
π¬ Servo 0.1.0 (first LTS version) is now available on crates.io
π¬ Did you notice the command error exit in the shell?
π¬ All elementary functions from a single binary operator
π¬ What are you doing this week?
π¬ Configuration flags are where software goes to rot
π¬ The peril of laziness lost
π¬ 48 hours ago lobste.rs surpassed 20,000 users
π¬ Hybrid Constructions: The Post-Quantum Safety Blanket
π¬ How I run multiple $10K MRR companies on a $20/month tech stack
π¬ The Business Case for Vanilla JS
π¬ Recovering a Lost Document: Habitat Anecdotes (1988)
π¬ Forgejo monthly report - March 2026
π¬ Autoscaling Forgejo Runner
π¬ A Dumb Introduction to z3
π¬ Bring Back Idiomatic Design
π¬ App Store Reviews are Busted
π¬ Programming used to be free
π¬ LLM Reviews in cargo-crev
π¬ Native Raspberry Pi 3b version of the Oberon System 3
π¬ Reflecting on deserialization. Why you should explicitly decode your JSON
π¬ How to make Firefox builds 17% faster
π¬ DuckLake v1.0 β The Lightweight Lakehouse Format Reaches Production-Readiness
π¬ Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them
π¬ Nothing Ever Happens: Polymarket bot that always buys No on non-sports markets
π¬ The Future of Everything Is Lies, I Guess: Safety
π¬ Show HN: IthihΔsas β a character explorer for Hindu epics, built in a few hours
π¬ How to make Firefox builds 17% faster
π¬ Building a CLI for All of Cloudflare
π¬ Servo is now available on crates.io
π¬ Tracking down a 25% Regression on LLVM RISC-V
π¬ MEMS Array Chip Can Project Video the Size of a Grain of Sand
π¬ All elementary functions from a single binary operator
π¬ Make Tmux Pretty and Usable (2024)
π¬ Visualizing CPU Pipelining (2024)
π¬ Microsoft isn't removing Copilot from Windows 11, it's just renaming it
π¬ Initial mainline video capture and camera support for Rockchip RK3588
π¬ The Looming College-Enrollment Death Spiral
π¬ Your Startup Is Probably Dead on Arrival
π¬ US appeals court declares 158-year-old home distilling ban unconstitutional
π¬ B-trees and database indexes (2024)
π¬ Michigan 'digital age' bills pulled after privacy concerns raised
π¬ Who's Been Impersonating This ProPublica Reporter?
π¬ The economics of software teams: Why most engineering orgs are flying blind
π¬ Taking on CUDA with ROCm: 'One Step After Another'
π¬ Evaluation of Claude Mythos Preview's cyber capabilities
π¬ Bring Back Idiomatic Design (2023)
π¬ Show HN: boringBar β a taskbar-style dock replacement for macOS
π¬ We May Be Living Through the Most Consequential Hundred Days in Cyber History
π¬ Most people can't juggle one ball
π¬ Android now stops you sharing your location in photos
π¬ Ask HN: What Are You Working On? (April 2026)
π¬ Announcement: Temporary LLM Content Ban
π¬ State of the Subreddit (January 2027): Mods applications and rules updates
π¬ I learned something about GPUs today
π¬ Everything Should Be Typed: Scalar Types Are Not Enough
π¬ All elementary functions from a single binary operator
π¬ Java 26 new Feature Breakdown With Examples
π¬ Too much Discussion of the XOR swap trick
π¬ Breaking the x86 Instruction Set
π¬ Send a Program, Not a Data Structure
π¬ Anti-patterns in event modelling - Passive Aggressive Events
π¬ A bug on the dark side of the Moon
π¬ Ada Lovelace and the First Computer Algorithm
π¬ How Netflix Uses Java - 2026 Edition #JavaOne
π¬ Flat Error Codes Are Not Enough
π¬ Steps to solve the Kafka Zookeeper "Unable to load data base on disk" problem
π¬ CMake Pursuing Tighter Integration With Package Managers, Other Improvements
π¬ No one owes you supply-chain security
π¬ 20 Years on AWS and Never Not My Job
π¬ Hidden Number Problems With Chosen Errors (HNP-CE)
π¬ Veteran Microsoft engineer says original Task Manager was only 80KB so it could run smoothly on 90s computers β original utility used a smart technique to determine whether it was the only running instance
π¬ Things I miss about Spring Boot after switching to Go
π¬ Floating point from scratch: Hard Mode
π¬ Parsing 11 languages in pure Go without CGO: replacing regex with a tree-sitter runtime
π¬ Reproducing the AWS Outage Race Condition with a Model Checker
Generated at 2026-04-13 20:00:25.165233584 UTC