-
109
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
(mongodb.com)
-
168
Show HN: I wrote a Java decompiler in pure C language
(github.com)
-
5
Guide to virtual Postgres event with 42 talks, 2 keynotes, 4 livestreams
(techcommunity.microsoft.com)
-
27
Retrofitting Qatari jet as Air Force One will cost hundreds of millions
(reuters.com)
-
92
A High-Level View of TLA+
(lamport.azurewebsites.net)
-
245
VC money is fueling a global boom in worker surveillance tech
(restofworld.org)
-
17
Helium Giants Return: LTA Research Airship over SF Bay
(spectrum.ieee.org)
-
183
New adaptive optics shows details of our star's atmosphere
(nso.edu)
-
24
Editing astrophotography
(astroimagery.com)
-
9
How to Turn an Acquaintance into a Friend
(talk.bradwoods.io)
-
51
I started with a SQL question. He said "that's a dumb question."
(twitter.com)
-
33
Why are front end dev demand so high if front end development is easier? (2012)
(simonwillison.net)
-
60
Teaching Program Verification in Dafny at Amazon (2023)
(dafny.org)
-
196
The Rise of the Japanese Toilet
(nytimes.com)
-
5
Some Thoughts on the C Standard
(johnbreaksstuff.substack.com)
-
252
Show HN: Patio – Rent tools, learn DIY, reduce waste
(patio.so)
-
165
Oxfordshire clock still keeping village on time after 500 years
(bbc.com)
-
157
EasyTier – P2P mesh VPN written in Rust using Tokio
(easytier.cn)
-
54
The wake effect: As wind farms expand, some can ‘steal’ each others’ wind
(bbc.com)
-
16
Show HN: String Flux – Simplify everyday string transformations for developers
(stringflux.io)
-
57
Neuromorphic computing
(lanl.gov)
-
407
Show HN: Onlook – Open-source, visual-first Cursor for designers
(github.com)
-
144
What works (and doesn't) selling formal methods
(galois.com)
-
67
The Shape of the Essay Field
(paulgraham.com)
-
178
Stepping Back
(rjp.io)
-
31
Advanced Time Manipulation with GDB
(developers.redhat.com)
-
403
Ask HN: How do I learn robotics in 2025?
ask -
343
Gemini-2.5-pro-preview-06-05
(deepmind.google)
-
12
Russian Intelligence Says It Collects WeChat Data. What Does That Mean?
(nytimes.com)
-
8
List of photographs considered the most important
(en.wikipedia.org)