Home /
Yearly Favorites
10831.
So you want to write an “app” (2025) (arcanenibble.github.io)
142 points by jmusall 1 month ago | 73 comments
10832.
Literate programming tool for any language (github.com)
142 points by LorenDB 9 months ago | 67 comments
10833.
Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
142 points by tesserato 1 month ago | 62 comments
10834.
The mushroom making people hallucinate tiny humans (bbc.com)
142 points by 1659447091 2 months ago | 62 comments
10835.
K-Scale Labs: Open-source humanoid robots, built for developers (kscale.dev)
142 points by rbanffy 10 months ago | 61 comments
10836.
Spaced repetition for efficient learning (2019) (gwern.net)
142 points by tsenturk 3 months ago | 59 comments
10837.
The Little Bool of Doom (2025) (blog.svgames.pl)
142 points by pocksuppet 2 months ago | 58 comments
10838.
Stephen Colbert going down swinging (nytimes.com)
142 points by -0 1 month ago | 58 comments
10839.
Why Your Best Engineers Are Interviewing Elsewhere, CodeGood (codegood.co)
142 points by rbanffy 5 months ago | 54 comments
10840.
The Universal Pattern Popping Up in Math, Physics and Biology (2013) (quantamagazine.org)
142 points by kerim-ca 2 months ago | 54 comments
10841.
Retrobootstrapping Rust for some reason (graydon2.dreamwidth.org)
142 points by romac 9 months ago | 51 comments
10842.
What years of production-grade concurrency teaches us about building AI agents (georgeguimaraes.com)
142 points by ellieh 1 month ago | 51 comments
10843.
Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
142 points by simplegeek 5 months ago | 50 comments
10844.
AI helps add 10k more photos to OldNYC (danvk.org)
142 points by evakhoury 3 days ago | 50 comments
10845.
Teens sue xAI over Grok's pornographic images of them (bbc.com)
142 points by 1659447091 3 weeks ago | 48 comments
10846.
Midjourney is alemwjsl (aadillpickle.com)
142 points by aadillpickle 3 months ago | 48 comments
10847.
Webb observes exoplanet that may have an exotic helium and carbon atmosphere (science.nasa.gov)
142 points by taubek 3 months ago | 46 comments
10848.
Nyxt: The Emacs-like web browser (lwn.net)
142 points by signa11 7 months ago | 43 comments
10849.
Turing-Drawings (github.com)
142 points by laurenth 11 months ago | 42 comments
10850.
The current state of TLA⁺ development (ahelwer.ca)
142 points by todsacerdoti 10 months ago | 42 comments
10851.
Genode OS Framework (genode.org)
142 points by justinclift 6 months ago | 39 comments
10852.
Flame Graphs vs Tree Maps vs Sunburst (2017) (brendangregg.com)
142 points by gudzpoz 3 months ago | 35 comments
10853.
Fundamentals of garbage collection (2023) (learn.microsoft.com)
142 points by b-man 9 months ago | 32 comments
10854.
JupyterGIS breaks through to the next level (eo4society.esa.int)
142 points by arjxn-py 5 months ago | 31 comments
10855.
50 years of proof assistants (lawrencecpaulson.github.io)
142 points by baruchel 3 months ago | 30 comments
10856.
Using Emacs Org-Mode With Databases: A getting-started guide (gitlab.com)
142 points by adityaathalye 7 months ago | 29 comments
10857.
Show HN: TinyCity – A tiny city SIM for MicroPython (Thumby micro console) (github.com)
142 points by inflam52 2 months ago | 26 comments
10858.
Iroh-blobs (iroh.computer)
142 points by janandonly 5 months ago | 26 comments
10859.
Minimal files and config for a PWA (github.com)
142 points by rcarmo 6 months ago | 23 comments
10860.
Let's Get Physical (m4iler.cloud)
142 points by MBCook 1 month ago | 22 comments