Uni Watch: 1999–2025 (uni-watch.com)
2 points by Bogdanp 11 hours ago | 0 comments
181Introduction to Univalent Foundations of Mathematics with Agda (martinescardo.github.io)
3 points by panic 11 hours ago | 0 comments
182Ask HN: What notably hasn't changed in the past 10 years?
7 points by cjbarber 11 hours ago | 10 comments
183From Friction to Function: fixing the prod/eng relationship (leaddev.com)
3 points by kevingoldsmith 11 hours ago | 0 comments
184The Surprising Lack of Good Permitting Data and What to Do about It (bostonindicators.org)
5 points by oftenwrong 11 hours ago | 0 comments
185Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
308 points by kome 11 hours ago | 60 comments
186SailfishOS: A Linux-based European alternative to dominant mobile OSes (sailfishos.org)
257 points by ForHackernews 11 hours ago | 109 comments
187AI Broke Interviews (yusufaytas.com)
72 points by yusufaytas 11 hours ago | 80 comments
188The Rosenhan Experiment: On Being Sane in Insane Places (web.archive.org)
4 points by emersonrsantos 11 hours ago | 1 comment
189Show HN: Built a chess Agent to analyze your games and visualize tactics (app.chesscoach.dev)
1 points by nightfox1 11 hours ago | 0 comments
190Global Warming and the "impossible" Radiation Imbalance [pdf] (scienceofclimatechange.org)
1 points by huijzer 11 hours ago | 0 comments
191Why Every Family Needs a Code Word (wsj.com)
4 points by fortran77 11 hours ago | 1 comment
192Ask HN: How to break into software eng after graduating with no internships?
2 points by strugglinggrad 11 hours ago | 1 comment
193Smaller Surfaces (nrempel.com)
3 points by nbrempel 11 hours ago | 0 comments
194Show HN: R) Repair Micro Pe Gaps Fintech (datamolecular.com)
1 points by DatMule 11 hours ago | 0 comments
195Sam Altman tried to cancel his Tesla Roadster (twitter.com)
10 points by doener 11 hours ago | 4 comments
196Humanity Needs Democratic Control of AI (jacobin.com)
2 points by jrepinc 11 hours ago | 0 comments
197Elon Musk on AI extinction risk, media bias, and Social Security system (founderboat.com)
2 points by chaosprint 11 hours ago | 2 comments
198De-escalating Tailscale CGNAT conflict (ysun.co)
4 points by todsacerdoti 11 hours ago | 0 comments
199Superhuman AI for Multiplayer Poker (science.org)
8 points by simonebrunozzi 11 hours ago | 1 comment
200Borrow checker says "No": An error that scares me every single time (polymonster.co.uk)
2 points by ingve 11 hours ago | 0 comments
201Ask HN: Are Raspberry Pis Reliable to Use Instead of a VPS?
3 points by jimmydin7 11 hours ago | 0 comments
202Deep Field: The Impossible Magnitude of Our Universe (deepfieldfilm.com)
1 points by measurablefunc 11 hours ago | 0 comments
203Flash, Java Applets, and Building for a Web That Died (brajeshwar.com)
2 points by tommica 11 hours ago | 0 comments
204Wiki Creole 1.0 lightweight markup language (wikicreole.org)
3 points by fanf2 11 hours ago | 0 comments
205In which IT job do you travel a lot?
3 points by batab 11 hours ago | 4 comments
206Chinese Room (en.wikipedia.org)
2 points by suioir 11 hours ago | 1 comment
207There's one thing EVERY government can do to shrink Big Tech (pluralistic.net)
6 points by treadump 11 hours ago | 0 comments
208AI and Intuition (theheasman.com)
3 points by TheHeasman 11 hours ago | 0 comments
209Minekube Connect: The Ingress Tunnel for Minecraft Servers (connect.minekube.com)
3 points by mmarian 11 hours ago | 0 comments
210