frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Formalizing Mathematics Textbooks at Scale

https://github.com/facebookresearch/atlas-lean
2•vrm•47m ago

Chrome extension for walk-friendly Google Meet

https://chromewebstore.google.com/detail/walkr/pnhgbbbhapdjhcjffkfbogfpeknehlkp
1•vincouvert•29s ago•0 comments

Ask HN: What Is an "AI Engineer"?

1•seattle_spring•1m ago•0 comments

MySQL Time-Travel Queries Using Indexed Binlogs

https://www.infoq.com/news/2026/05/bintrail-mysql-timetravel/
1•nethalo•3m ago•0 comments

AI Agent Frameworks Comparison

https://deepresearch.ninja/2026/05/AI-Agent-Frameworks-A-Comparative-Analysis-of-DSPy-Claude-Agen...
1•jackalxyz•3m ago•0 comments

The Impossible Partnership: Apple's Coming Reckoning with China

https://americanaffairsjournal.org/2026/05/the-impossible-partnership-apples-coming-reckoning-wit...
1•malshe•6m ago•1 comments

Gothenburg's self-driving bus trammed on day one

https://www.theregister.com/offbeat/2026/05/26/gothenburgs-self-driving-bus-trammed-on-day-one/52...
1•aanet•7m ago•1 comments

Opus 4.8 System Card [pdf]

https://cdn.sanity.io/files/4zrzovbb/website/c886650a2e96fc0925c805a1a7ca77314ccbf4a6.pdf
2•kirtivr•10m ago•0 comments

Companies have ideal customers, and they pay them for their attention

https://www.nexertise.com/founding
3•yisraelgottz•11m ago•3 comments

Anthropic to roll out Claude Mythos in coming weeks, launches Opus 4.8

https://www.reuters.com/business/anthropic-roll-out-claude-mythos-coming-weeks-launches-opus-48-2...
1•victor_cl•12m ago•1 comments

British Airways Boeing 787 Pilot Clashes with New York JFK Controller

https://aviationa2z.com/index.php/2026/05/22/british-airways-787-pilot-clashes-with-jfk-controller/
2•zzzeek•12m ago•0 comments

Comparison of source-code-hosting facilities

https://en.wikipedia.org/wiki/Comparison_of_source-code-hosting_facilities
1•mahirsaid•12m ago•1 comments

What's new in Claude Opus 4.8

https://platform.claude.com/docs/en/about-claude/models/whats-new-claude-4-8
1•umangsehgal93•14m ago•0 comments

Mistral to explore designing own chips

https://www.cnbc.com/2026/05/28/mistral-arthur-mensch-design-chips-ai-data-centers.html
1•vrganj•16m ago•0 comments

Why Tolkien Would Rename Palantir Technologies to Orthanc Inc

https://www.asomo.co/the-scouring-of-middle-earth-by-palantir
3•Dogwash24•17m ago•0 comments

Legislation Killed Would Have Effectively Blocked Police LPR, Including Flock

https://ipvm.com/reports/bipartisan-alpr-amendment-killed
4•jhonovich•17m ago•0 comments

Waymo to Deploy Robotaxi with Zeekr to Expand Public Rides

https://www.bloomberg.com/news/articles/2026-05-28/waymo-to-deploy-robotaxi-built-with-zeekr-to-e...
1•aanet•19m ago•1 comments

New Retype for Obsidian Plugin

https://retype.com/blog/2026-05-25-retype-for-obsidian/
1•geoffreymcgill•19m ago•1 comments

A company turned visas to Europe into big business

https://www.politico.eu/article/how-a-company-turned-visas-to-europe-into-big-business/
2•rustoo•20m ago•0 comments

One week later, the same AWS t3.large VM changed personalities again

https://webbynode.com/articles/one-week-later-aws-t3-large-looked-completely-different-again
1•gsgreen•20m ago•1 comments

Ask HN: What Do You Struggle With?

1•chistev•20m ago•1 comments

International Masturbation Month

https://en.wikipedia.org/wiki/International_Masturbation_Month
1•bpavuk•21m ago•0 comments

I built an Android-like OS that runs in the browser

1•haozaz•21m ago•0 comments

OpenClaw Architecture – Part 1: Control Plane, Sessions, and the Event Loop

https://theagentstack.substack.com/p/openclaw-architecture-part-1-control
2•0xchamin•21m ago•1 comments

Nuclear Space Power and Propulsion [video]

https://www.youtube.com/watch?v=fhwE8Ll4YNQ
2•rustoo•22m ago•0 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/
6•morgangiraud•24m ago•0 comments

Deep Tech Companies Are Built Different

https://www.codingvc.com/p/deep-tech-companies-are-built-different
1•mahirsaid•24m ago•0 comments

The Download: climate tech goes public and the AI Hype Index returns

https://www.technologyreview.com/2026/05/28/1138085/the-download-climate-tech-ipos-ai-hype-index/
1•joozio•25m ago•0 comments

Leibniz's Explanation of binary arithmetic (1703)

https://www.leibniz-translations.com/binary
4•aragonite•30m ago•0 comments

What the Pope said about AI

https://www.newyorker.com/news/the-lede/what-pope-leo-xiv-said-about-ai
1•FinnLobsien•32m ago•1 comments

Cities Are Covering Flock Cameras with Trash Bags

https://www.404media.co/cities-are-covering-flock-cameras-with-trash-bags/
17•droidjj•33m ago•4 comments