I've Acquired a New Superpower

Formal Methods: Just Good Engineering Practice? (2024)

Who Can Understand the Proof? A Window on Formalized Mathematics

Meta's memo to employees rolling back DEI programs

Learning How to Think with Meta Chain-of-Thought

The Tedious Heroism of David Ruggles

Starlink is now cheaper than leading internet provider in some African countries

I got OpenTelemetry to work. But why was it so complicated?

Doing Hard Things While Living Life: Why We Built Vade Studio in Clojure

Visualizing All ISBNs

Glimmer: DSL Framework for Ruby GUI and More

Tactility: OS for the ESP32 Microcontroller Family

Parsing the C64 Bubble Bobble Wind Currents

Show HN: Tetris in a PDF

Before Squid Game, there was Battle Royale

Nvidia-Ingest: Multi-modal data extraction

Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote)

Bird-inspired drone uses legs to walk and jump into the air

Ask HN: How to approach first days on a new job as a senior engineer?

lc: List files in categories (and columns) – from Coherent Unix clone

Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting

Review: Reentry, by Eric Berger

Ask HN: Books about people who did hard things

Experiments with Byte Matrix Multiplication