Home /
Yearly Favorites
13111.
Carnap – A formal logic framework for Haskell (carnap.io)
114 points by ravenical 3 months ago | 20 comments
13112.
Emacs internals: Deconstructing Lisp_Object in C (Part 2) (thecloudlet.github.io)
114 points by thecloudlet 4 weeks ago | 19 comments
13113.
Show HN: Pipenet – A Modern Alternative to Localtunnel (pipenet.dev)
114 points by punkpeye 2 months ago | 19 comments
13114.
Trucker built a scale model of NYC over 21 years (gothamist.com)
114 points by speckx 6 months ago | 17 comments
13115.
Hotspot: Linux `perf` GUI for performance analysis (github.com)
114 points by jez 10 months ago | 17 comments
13116.
ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs (github.com)
114 points by atomicnature 5 months ago | 17 comments
13117.
Bun adds pnpm-style isolated installation mode (github.com)
114 points by nateb2022 8 months ago | 16 comments
13118.
Blender 5.1 (developer.blender.org)
114 points by andsoitis 4 months ago | 16 comments
13119.
No Leak, No Problem – Bypassing ASLR with a ROP Chain to Gain RCE (modzero.com)
114 points by todsacerdoti 4 months ago | 11 comments
13120.
Continuous Autoregressive Language Models (arxiv.org)
114 points by Anon84 4 months ago | 10 comments
13121.
UNIX Fourth Edition (squoze.net)
114 points by dcminter 3 months ago | 10 comments
13122.
ePub-utils: A Python library and CLI tool for inspecting ePub from the terminal (github.com)
114 points by ernstgnzlz 11 months ago | 10 comments
13123.
Israels top military lawyer resigns, goes missing, is found and thrown into jail (apnews.com)
114 points by nabla9 4 months ago | 3 comments
13124.
The Folk Economics of Housing (aeaweb.org)
113 points by kareemm 7 months ago | 246 comments
13125.
Why "everyone dies" gets AGI all wrong (bengoertzel.substack.com)
113 points by danans 5 months ago | 239 comments
13126.
Ask HN: What are your predictions for 2026?
113 points by mfrw 3 months ago | 198 comments
13127.
The Undermining of the CDC (newyorker.com)
113 points by bookofjoe 4 months ago | 179 comments
13128.
Microsoft is starting to open Windows Update up to any third-party app (theverge.com)
113 points by Tomte 10 months ago | 174 comments
13129.
Why I Disappeared – My week with minimal internet in a remote island chain (kenklippenstein.com)
113 points by eh_why_not 3 months ago | 163 comments
13130.
ICE test train reaches speeds of up to 405.0 km/h (deutschebahn.com)
113 points by doener 9 months ago | 147 comments
13131.
Experiment: Making TypeScript immutable-by-default (evanhahn.com)
113 points by ingve 4 months ago | 136 comments
13132.
Gold Prices Top $4k for First Time (wsj.com)
113 points by thm 5 months ago | 134 comments
13133.
Gov workers say their shutdown out-of-office replies were forcibly changed (wired.com)
113 points by xqcgrek2 6 months ago | 124 comments
13134.
Ask HN: Does anyone else notice YouTube causing 100% CPU usage and stattering?
113 points by NooneAtAll3 6 months ago | 122 comments
13135.
VTT Test Donut Lab Battery Reaches 80% Charge in Under 10 Minutes [pdf] (pub-fee113bb711e441db5c353d2d31abbb3.r2.dev)
113 points by sagyam 1 month ago | 121 comments
13136.
IQ differences of identical twins reared apart are influenced by education (sciencedirect.com)
113 points by wjb3 4 months ago | 117 comments
13137.
Toyota aims to launch the ' first' all-solid-state EV batteries (electrek.co)
113 points by thelastgallon 5 months ago | 117 comments
13138.
Result is all I need (rockyj-blogs.web.app)
113 points by rockyj 5 months ago | 116 comments
13139.
Path Isn't Real on Linux (blog.danielh.cc)
113 points by max__dev 11 months ago | 112 comments
13140.
Will Claude Code ruin our team? (justinjackson.ca)
113 points by YounesDz 3 weeks ago | 110 comments