-
Four years of sight reading practice
-
A Spectre is Haunting Unicode (2018)
-
Kotlin-Lsp: Kotlin Language Server and Plugin for Visual Studio Code
-
The Dystopian Dream Team
-
100 theorems in Lean
-
The scientific “unit” we call the decibel
-
Trade Secrecy in Willy Wonka's Chocolate Factory (2009)
-
Graduate Student Solves Classic Problem About the Limits of Addition
-
Async from scratch 3: Pinned against the wall
-
Show HN: Hsdlib – A C Library for Vector Similarity with SIMD Acceleration
-
Federal judge halts Trump admin ban on Harvard's ability to enroll intl students
-
Sorcerer (YC S24) Is Hiring a Lead Hardware Design Engineer
-
Getting a paper accepted
-
Hotspot: Linux `perf` GUI for performance analysis
-
Strengths and limitations of diffusion language models
-
Practicing graphical debugging using visualizations of the Hilbert curve
-
Planetfall
-
1,145 pull requests per day
-
Gemini figured out my nephew’s name
-
Show HN: Curved Space Shader in Three.js (via 4D sphere projection)
-
The way of code: Rick Rubin
-
Trump administration halts Harvard's ability to enroll international students
-
Possible new dwarf planet found in our solar system
-
The Future of Flatpak
-
Devstral
-
Benchmarking Crimes Meet Formal Verification
-
The Philosophy of Byung-Chul Han (2020)
-
The Next Abstraction
-
Everything’s a bug (or an issue)
-
Management = Bullshit (LLM Edition)
More