HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
sebg
Why Not Use Lean?
7 points
sebg
2026-04-23T21:35:40Z
lawrencecpaulson.github.io
Rejection and Competition
1 points
sebg
2026-04-23T20:40:09Z
www.emberdione.com
The Living Lattice – Explorables of the intelligence theorem
2 points
sebg
2026-04-23T20:27:26Z
lattice.project89.org
The Broader Landscape of Robustness in Algorithmic Statistics
1 points
sebg
2026-04-23T19:49:35Z
arxiv.org
No raw data, no science: another possible source of the reproducibility crisis
2 points
sebg
2026-04-23T19:39:39Z
link.springer.com
Engineering Architecture: A Syllabus?
2 points
sebg
2026-04-23T15:33:24Z
www.argmin.net
Evolving Distributed Tracing at Uber Engineering
1 points
sebg
2026-04-23T15:19:54Z
www.uber.com
Apps and programming: two accidental tyrannies
2 points
sebg
2026-04-23T15:17:05Z
andymatuschak.org
Marathon Man: how to pace a marathon
1 points
sebg
2026-04-23T10:18:27Z
quantixed.org
Schotter – Georg Nees – Part 1
1 points
sebg
2026-04-23T10:16:01Z
zellyn.com
AI chatbots know more about you than you realise
2 points
sebg
2026-04-23T10:14:35Z
www.straitstimes.com
Data Science Weekly – Issue 647
2 points
sebg
2026-04-16T22:07:56Z
datascienceweekly.substack.com
Why Is Everyone's Robot Folding Clothes?
1 points
sebg
2026-04-16T21:32:02Z
itcanthink.substack.com
Legos vs. 3D Printers
2 points
sebg
2026-04-16T21:27:36Z
koaning.io
A better R programming experience thanks to Tree-sitter
164 points
sebg
2026-04-16T21:14:02Z
ropensci.org
Mechanical Sympathy
1 points
sebg
2026-04-16T20:49:00Z
vickiboykis.com
Estimating π with a Coin
2 points
sebg
2026-04-16T20:33:01Z
arxiv.org
Getting into AI Infra
2 points
sebg
2026-04-16T20:01:24Z
timzaman.com
Creating 'new knobs of control' in biology
4 points
sebg
2026-04-16T19:48:02Z
www.owlposting.com
Fast and Easy Levenshtein distance using a Trie (2011)
102 points
sebg
2026-04-12T12:00:43Z
stevehanov.ca
1
2
3
4
5
6
7
8
9
10