fp.
newest
Open in hackernews
A shallow dive into formal verification
https://vitalik.eth.limo/general/2026/05/18/fv.html
3
•
fbrusch
•
43m ago
Ask HN: Has anyone here ever rebuilt themselves in their late 30s?
1
•
buildresiliency
•
1m ago
•
0 comments
Mythos for Offensive Security: XBOW's Evaluation
https://xbow.com/blog/mythos-offensive-security-xbow-evaluation
1
•
ianbutler
•
1m ago
•
0 comments
The Picture of Dorian Gray was censored before anyone read it
https://storica.club/blog/dorian-gray-was-censored/
3
•
verybad
•
1m ago
•
0 comments
Evaluation of Various MLX Quantizations
https://github.com/deepsweet/mlx-eval/blob/main/results/README.md
1
•
d-_-b
•
2m ago
•
1 comments
Russia Claims Ukraine Is Using AI Drones That Lock onto Faces and Heat Signature
https://united24media.com/war-in-ukraine/russia-claims-ukraine-is-using-ai-drones-that-lock-onto-...
2
•
jawiggins
•
3m ago
•
1 comments
Goodbye Fragmented Local AI Pipelines. Hello Foundry Local 1.1
https://medium.com/open-ai/goodbye-fragmented-local-ai-pipelines-hello-foundry-local-1-1-9c425b3d...
1
•
sukhpinder0804
•
5m ago
•
0 comments
Who Needs an Architect?
https://yusufaytas.com/who-needs-architect
3
•
kitecoder
•
5m ago
•
0 comments
We let four AIs run radio stations. Here's what happened
https://www.theverge.com/ai-artificial-intelligence/931479/andon-labs-ai-radio-companies
1
•
1317
•
6m ago
•
0 comments
Show HN: We automated Portugal visa appointment checks with computer-use agents
https://www.getfastvisa.com
1
•
gsunshinel
•
6m ago
•
0 comments
Elon Musk loses lawsuit against OpenAI
https://www.bbc.co.uk/news/articles/cewpyv79pw1o
2
•
squirrel
•
7m ago
•
0 comments
What's Easy Now? What's Hard Now?
https://brooker.co.za/blog/2026/05/18/whats-easy-whats-hard.html
1
•
alpaylan
•
8m ago
•
0 comments
Hanoi's humble beer glass and the memory of a nation
https://sundaylongread.com/2026/05/15/hanois-humble-beer-glass-and-the-memory-of-a-nation/
1
•
NaOH
•
8m ago
•
0 comments
Jury hands victory to Sam Altman in battle with Elon Musk over OpenAI's mission
https://www.theguardian.com/technology/2026/may/18/sam-altman-trial-victory-elon-musk-openai
2
•
aanet
•
8m ago
•
0 comments
A Secretive Firm Tried (and Failed) to Fix an Epstein Friends Tattered Image
https://www.nytimes.com/2026/05/17/us/politics/epstein-reummler-reputation-management.html
1
•
randycupertino
•
9m ago
•
1 comments
Every Time-Series Database Benchmark Ever (2025)
https://www.timestored.com/data/time-series-database-benchmarks
1
•
tosh
•
9m ago
•
0 comments
Jury rules against Musk in court battle against Sam Altman, OpenAI
https://www.cnbc.com/2026/05/18/musk-altman-openai-trial-verdict.html
4
•
speckx
•
9m ago
•
0 comments
Why I don't have a girlfriend [pdf]
https://www.astro.sunysb.edu/fwalter/AST248/why_i_dont_have_a_girlfriend.pdf
2
•
AFF87
•
10m ago
•
0 comments
Show HN: Where is the ISS? Live 3D tracker
https://psand.net/where-is-the-iss/
1
•
peatmonster
•
11m ago
•
0 comments
LeafKVM
https://kvm.rs/
1
•
bariumbitmap
•
11m ago
•
0 comments
Bear generates a compilation database for Clang tooling
https://github.com/rizsotto/bear
1
•
fanf2
•
11m ago
•
0 comments
Nobody should need 7 apps to manage money
https://www.flint-investing.com/
1
•
scapota06
•
11m ago
•
0 comments
Starchild-1: The First Real-Time Multimodal World Model
https://odyssey.ml/introducing-starchild-1
1
•
olivercameron
•
12m ago
•
0 comments
Apple Design Awards – 2026 Finalists
https://developer.apple.com/design/awards/
1
•
gdubs
•
13m ago
•
0 comments
Agencies won't hand over records for an investigation into how DOGE access data
https://www.washingtonpost.com/politics/2026/05/18/agencies-wont-hand-over-records-an-investigati...
3
•
reaperducer
•
13m ago
•
0 comments
Jury Sides with OpenAI, Sam Altman in Case Brought by Elon Musk
https://www.wsj.com/tech/ai/jury-sides-with-openai-sam-altman-in-case-brought-by-elon-musk-933240ff
10
•
jbredeche
•
13m ago
•
0 comments
Nintendo trying to obtain touchscreen-specific patent on monster capturing
https://gamesfray.com/taking-aim-at-palworld-mobile-nintendo-trying-to-obtain-touchscreen-specifi...
2
•
haunter
•
14m ago
•
0 comments
Green Bay Packers: "Your AI slop bores us"
https://twitter.com/i/status/2055317281169678590
1
•
latexr
•
14m ago
•
1 comments
FediMeteo, HAProxy, and the art of not wasting snac threads
https://it-notes.dragas.net/2026/05/18/fedimeteo-haproxy-and-the-art-of-not-wasting-snac-threads/
1
•
thomasjb
•
14m ago
•
0 comments
Jury Rejects Musk's Claim Against OpenAI
https://www.nytimes.com/live/2026/05/18/technology/openai-trial-verdict-altman-musk
2
•
jaredwiener
•
15m ago
•
0 comments
Elon Musk has lost his lawsuit against Sam Altman and OpenAI
https://techcrunch.com/2026/05/18/elon-musk-has-lost-his-lawsuit-against-sam-altman-and-openai/
48
•
nycdatasci
•
15m ago
•
4 comments
Load More