Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
109 points by todsacerdoti 6 days ago | 63 comments
271Czech Republic: Petition for open source in public administration (portal.gov.cz)
189 points by harvie 2 days ago | 30 comments
272Show HN: I wrote a Java decompiler in pure C language (github.com)
168 points by neocanable 5 days ago | 94 comments
273Neuron–Astrocyte Associative Memory (pnas.org)
5 points by wjb3 20 hours ago | 2 comments
274' first' autofocus glasses could spell the end of reading specs (thenextweb.com)
31 points by mraniki 2 days ago | 3 comments
275A High-Level View of TLA+ (lamport.azurewebsites.net)
92 points by blobcode 8 days ago | 19 comments
276New adaptive optics shows details of our star's atmosphere (nso.edu)
183 points by sohkamyung 8 days ago | 32 comments
277VC money is fueling a global boom in worker surveillance tech (restofworld.org)
245 points by Brajeshwar 4 days ago | 162 comments
278Helium Giants Return: LTA Research Airship over SF Bay (spectrum.ieee.org)
17 points by cratermoon 3 days ago | 9 comments
279Retrofitting Qatari jet as Air Force One will cost hundreds of millions (reuters.com)
27 points by geox 2 days ago | 19 comments
280Editing astrophotography (astroimagery.com)
24 points by karlperera 2 days ago | 11 comments
281Guide to virtual Postgres event with 42 talks, 2 keynotes, 4 livestreams (techcommunity.microsoft.com)
5 points by clairegiordano 21 hours ago | 0 comments
282Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
60 points by Jtsummers 6 days ago | 20 comments
283The Rise of the Japanese Toilet (nytimes.com)
196 points by Kaibeezy 8 days ago | 379 comments
284How to Turn an Acquaintance into a Friend (talk.bradwoods.io)
9 points by bradwoodsio 2 days ago | 1 comment
285Show HN: Patio – Rent tools, learn DIY, reduce waste (patio.so)
252 points by GouacheApp 8 days ago | 162 comments
286Why are front end dev demand so high if front end development is easier? (2012) (simonwillison.net)
33 points by thunderbong 2 days ago | 30 comments
287Oxfordshire clock still keeping village on time after 500 years (bbc.com)
165 points by 1659447091 11 days ago | 87 comments
288I started with a SQL question. He said "that's a dumb question." (twitter.com)
51 points by keepamovin a day ago | 66 comments
289EasyTier – P2P mesh VPN written in Rust using Tokio (easytier.cn)
157 points by wucke13 10 days ago | 51 comments
290The wake effect: As wind farms expand, some can ‘steal’ each others’ wind (bbc.com)
54 points by JumpCrisscross 8 days ago | 111 comments
291Some Thoughts on the C Standard (johnbreaksstuff.substack.com)
5 points by stock1218 2 days ago | 0 comments
292Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)
407 points by hoakiet98 10 days ago | 81 comments
293What works (and doesn't) selling formal methods (galois.com)
144 points by azhenley 10 days ago | 74 comments
294Show HN: String Flux – Simplify everyday string transformations for developers (stringflux.io)
16 points by eaglepeak 3 days ago | 7 comments
295Neuromorphic computing (lanl.gov)
57 points by LAsteNERD 3 days ago | 42 comments
296The Shape of the Essay Field (paulgraham.com)
67 points by luisb 5 days ago | 43 comments
297Stepping Back (rjp.io)
178 points by rjpower9000 8 days ago | 76 comments
298Ask HN: How do I learn robotics in 2025?
403 points by srijansriv 6 days ago | 99 comments
299Advanced Time Manipulation with GDB (developers.redhat.com)
31 points by r4um 4 days ago | 0 comments
300