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