frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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