fp.
news
Open in hackernews
ATLAS: Autoformalized Textbook Library At Scale
https://github.com/facebookresearch/atlas-lean
14
•
vrm
•
1d ago
https://twitter.com/arnal_charles/status/2060009395107377282
,
https://xcancel.com/arnal_charles/status/2060009395107377282
Paper:
Formalizing Mathematics at Scale
-
https://arxiv.org/abs/2605.29955
Notes from the Mistral AI Now Summit in Paris
https://koenvangilst.nl/lab/mistral-ai-now-summit
130
•
vnglst
•
1h ago
•
19 comments
Robinhood now lets your AI agents trade stocks
https://techcrunch.com/2026/05/27/robinhood-now-lets-your-ai-agents-trade-stocks/
29
•
wapasta
•
26m ago
•
26 comments
The dead economy theory
https://www.owenmcgrann.com/p/the-dead-economy-theory
196
•
WillDaSilva
•
2h ago
•
234 comments
SQLite is all you need for durable workflows
https://obeli.sk/blog/sqlite-is-all-you-need-for-durable-workflows/
15
•
tomasol
•
18m ago
•
3 comments
Bijou64: A variable-length integer encoding
https://www.inkandswitch.com/tangents/bijou64/
141
•
justinweiss
•
3h ago
•
55 comments
GTA 6 Developers Unionize
https://rockstarintel.com/gta-6-developers-announce-rockstar-games-union/
298
•
AndrewKemendo
•
2h ago
•
159 comments
It's hard to justify buying a Framework 12
https://www.jeffgeerling.com/blog/2026/its-hard-to-justify-framework-12/
63
•
watermelon0
•
3h ago
•
135 comments
CAPTCHAs can still detect AI agents
https://research.roundtable.ai/captchas-detect-ai/
31
•
timshell
•
2h ago
•
16 comments
High Density Living, 2000 Years Ago: Inside the Roman Apartment Building
https://commonedge.org/high-density-living-2000-years-ago-inside-the-roman-apartment-building/
104
•
surprisetalk
•
5h ago
•
32 comments
I am retiring from tech to live offline
https://openpath.quest/2026/i-am-retiring-from-tech-to-live-offline/
508
•
PinkG
•
3h ago
•
347 comments
We should be more tired than the model
https://vickiboykis.com/2026/05/28/we-should-be-more-tired-than-the-model/
99
•
tosh
•
6h ago
•
88 comments
Someone used my open source project to phish people
https://andrej.sh/posts/phishing-through-my-open-source-project
48
•
andrejsshell
•
4h ago
•
24 comments
ATLAS: Autoformalized Textbook Library At Scale
https://github.com/facebookresearch/atlas-lean
14
•
vrm
•
1d ago
•
0 comments
Expertise in the age of AI
https://www.moderndescartes.com/essays/ai_and_expertise/
58
•
brilee
•
4h ago
•
60 comments
Real-time LLM Inference on Standard GPUs: 3k tokens/s per request
https://blog.kog.ai/real-time-llm-inference-on-standard-gpus-3-000-tokens-s-per-request/
167
•
NicoConstant
•
8h ago
•
76 comments
Blue Origin's New Glenn blows up during static fire test
https://twitter.com/nasaspaceflight/status/2060164928472854821
445
•
enraged_camel
•
16h ago
•
475 comments
The Science of Weather and the Nature of Science
https://www.the-hinternet.com/p/the-science-of-weather-and-the-nature
9
•
benbreen
•
22h ago
•
0 comments
Cedana (YC S23) Is Hiring
https://www.ycombinator.com/companies/cedana/jobs/d1vYocG-forward-deployed-engineer-ai-hpc
1
•
neelm
•
6h ago
Durable execution, the hard way
https://github.com/hatchet-dev/durable-execution-the-hard-way
27
•
abelanger
•
1d ago
•
1 comments
Show HN: TV Explorer. Adding advanced UI to free online TV
https://tvexplorer.live
10
•
dtagames
•
1h ago
•
3 comments
Tulip mania: when a single flower was worth more than a house (2025)
https://dutchreview.com/culture/tulip-mania-netherlands/
127
•
dotcoma
•
6h ago
•
112 comments
The Secret Garden of Rock-Paper-Scissors
https://theshamblog.com/the-secret-garden-of-rock-paper-scissors/
24
•
scottshambaugh
•
4h ago
•
7 comments
Headway Therapy Patients Forced to Scan Their Faces to Keep Getting Care
https://www.404media.co/headway-therapy-facial-scan-biometric-data-identity-verification/
84
•
pavel_lishin
•
3h ago
•
24 comments
Poll: How often do you check "newest"?
47
•
ColinWright
•
5h ago
•
54 comments
Orchestrating AI code review at scale
https://blog.cloudflare.com/ai-code-review/
108
•
pramodbiligiri
•
3d ago
•
43 comments
Claude Opus 4.8
https://www.anthropic.com/news/claude-opus-4-8
1697
•
craigmart
•
1d ago
•
1325 comments
Bricks and Minifigs Stole a Man's $200k Lego Collection
https://mybricklog.com/blog/bricks-minifigs-corporate-stole-old-mans-200000-lego-collection
1245
•
philips
•
22h ago
•
562 comments
Dynamic Workflows in Claude Code
https://claude.com/blog/introducing-dynamic-workflows-in-claude-code
154
•
mil22
•
1d ago
•
120 comments
Let's compile Quake like it's 1997
https://fabiensanglard.net/compile_like_1997/
162
•
goranmoomin
•
15h ago
•
54 comments
An Obsessive Focus on UX: Pilot's Pressure-Regulating Kire-Na Highlighter
https://www.core77.com/posts/143832/An-Obsessive-Focus-on-UX-Pilots-Pressure-Regulating-Kire-Na-H...
52
•
surprisetalk
•
3d ago
•
12 comments
Load More