The Halting Problem is a terrible example of NP-Harder (buttondown.com)
106 points by BerislavLopac 4 days ago | 110 comments
211Show HN: Lit.money – Ethically designed to be a private, simple way to see money (lit.money)
22 points by mhrnik 4 days ago | 30 comments
212A cute proof that makes e natural (poshenloh.com)
100 points by georgecmu 3 days ago | 42 comments
213Discord's face scanning age checks 'start of a bigger shift' (bbc.com)
325 points by 1659447091 4 days ago | 426 comments
214We Diagnosed and Fixed the 2023 Voyager 1 Anomaly from 15B Miles Away [video] (youtube.com)
21 points by noselasd 2 days ago | 2 comments
215Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph (dl.acm.org)
27 points by PaulHoule 6 days ago | 7 comments
216What do I think about Lua after shipping a project with 60k lines of code? (blog.luden.io)
215 points by JSLegendDev 3 days ago | 140 comments
217Understand Your Dependencies (deps.dev)
5 points by dedalus a day ago | 0 comments
218Show HN: Unsure Calculator – back-of-a-napkin probabilistic calculator (filiph.github.io)
924 points by filiph 6 days ago | 161 comments
219JSLinux (bellard.org)
391 points by TechTechTech 7 days ago | 117 comments
220Aqua Tofana: The 17th Century Husband Killer (amusingplanet.com)
66 points by gappy 6 days ago | 29 comments
221Vivarium: The keeper of a lab's animals stumbles onto a secret [fiction] (jsomers.net)
71 points by jsomers 4 days ago | 15 comments
222Show HN: Woeful – let web apps safely and securely connect to external resources (github.com)
6 points by foxmoss a day ago | 0 comments
223Smart People Can Stop Being Miserable (theatlantic.com)
27 points by handfuloflight a day ago | 8 comments
224Using –/.ssh/authorized keys to decide what the incoming connection can do (dan.langille.org)
61 points by jandeboevrie 3 days ago | 10 comments
225Against Transparency (pluralistic.net)
83 points by NotInOurNames 2 days ago | 19 comments
226Ink and Switch Constraint System (2023) (inkandswitch.com)
87 points by mpweiher 2 days ago | 13 comments
227SDFs from Unoriented Point Clouds Using Neural Variational Heat Distances (arxiv.org)
38 points by haxiomic 2 days ago | 5 comments
228Achieveing lower latencies with S3 object storage (spiraldb.com)
28 points by znpy 2 days ago | 22 comments
229The Second Half (ysymyth.github.io)
90 points by Philpax 7 days ago | 35 comments
230Notes on a claim that a mceliece348864 distinguisher uses only 2^529 operations [pdf] (classic.mceliece.org)
13 points by nabla9 4 days ago | 1 comment
231College Towns: Urbanism from a Past Era (governance.fyi)
66 points by toomuchtodo 2 days ago | 130 comments
232BitNet b1.58 2B4T Technical Report (arxiv.org)
109 points by galeos 4 days ago | 30 comments
233eInk Mode: Making web pages easier to read (jackscogito.blogspot.com)
162 points by amadeuspagel 6 days ago | 83 comments
234Chroma: Ubisoft's internal tool used to simulate color-blindness (github.com)
231 points by gm678 6 days ago | 86 comments
235Zig and GPUs (alichraghi.github.io)
56 points by Cloudef 3 days ago | 11 comments
236Fake images that fooled the world (theguardian.com)
149 points by sandebert 9 days ago | 74 comments
237Vending-Bench: A Benchmark for Long-Term Coherence of Autonomous Agents (arxiv.org)
14 points by distalx a day ago | 0 comments
238A Ford executive who kept score of colleagues' verbal flubs (wsj.com)
140 points by Caiero 9 days ago | 185 comments
239Markov Chain Monte Carlo Without All the Bullshit (2015) (jeremykun.com)
227 points by ibobev 5 days ago | 48 comments
240