frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC

https://github.com/thedevilhimselfcodes/CertAlloc
2•VindanaSandun•1h ago

Investigating Linux Graphics

https://roscidus.com/blog/blog/2025/06/24/graphics/
1•signa11•4m ago•0 comments

We pay engineers to cut our infra bill

https://rootly.com/blog/we-pay-engineers-to-cut-our-infra-bill
1•backlit4034•4m ago•0 comments

RFC 9980 Post-Quantum Cryptography in OpenPGP

https://www.rfc-editor.org/info/rfc9980/
1•ognyankulev•5m ago•0 comments

Anthropic Is Hitting a Wall

https://www.vincentschmalbach.com/anthropic-is-hitting-a-wall/
1•vincent_s•5m ago•0 comments

What's new in Claude Sonnet 5

https://simonwillison.net/2026/Jun/30/claude-sonnet-5/
3•ankitg12•8m ago•0 comments

Indigenous leaders criticize claim that Ontario evacuees burdening Niagara Falls

https://www.theglobeandmail.com/canada/article-kashechewan-first-nation-evacuees-niagara-falls/
1•petethomas•12m ago•0 comments

GSApp2AppImage: Bundle a GNUStep app as a standalone AppImage

https://lists.gnu.org/archive/html/discuss-gnustep/2026-06/msg00000.html
1•tedge•13m ago•0 comments

Anthropic says US lifts export ban on Fable 5

https://www.bbc.com/news/articles/cdr42623e1do
3•tobr•18m ago•1 comments

ESA declares private Minecraft servers 'illegal' in StopKillingGames hearing

https://www.pcgamer.com/gaming-industry/esa-bafflingly-declares-private-minecraft-servers-illegal...
2•N_Lens•19m ago•0 comments

The Supreme Court just worsened the Democrats's fundraising

https://www.politico.com/news/2026/06/30/the-supreme-court-just-made-the-dncs-fundraising-woes-a-...
1•Alien1Being•21m ago•0 comments

Commerce Department gives green light for Anthropic to bring back Fable 5

https://www.nbcnews.com/business/business-news/commerce-department-gives-green-light-anthropic-br...
2•rw2•24m ago•1 comments

Show HN: The Sword of Ghix – a retro game made by a 13 yo with AI Assisted tools

https://paulinatorrr.itch.io/sword-of-ghix-chapter-1
2•fredliu•25m ago•1 comments

Google sunsets Tenor API, breaking GIFs in Discord and X

https://aiweekly.co/alerts/google-sunsets-tenor-api-breaking-gifs-in-discord-and-x
1•Gaishan•27m ago•1 comments

GovScape lets you easily search government documents

https://www.washington.edu/news/2026/06/24/govscape-lets-you-easily-search-millions-of-government...
1•gnabgib•31m ago•0 comments

Fable 5 up to 50% of weekly usage limits through July 7

https://twitter.com/theo/status/2072173365318840573
2•bentaber•31m ago•2 comments

Otsuka posts phase 3B ADHD trial win ahead of looming FDA approval decision

https://www.fiercebiotech.com/biotech/otsuka-posts-phase-3b-adhd-trial-win-ahead-looming-fda-appr...
1•rguiscard•33m ago•0 comments

Underwater Suit-Wearing Cyborg Insect Capable of Hours-Long Divingl

https://www.nature.com/articles/s41467-026-74235-1
2•UltraSane•33m ago•2 comments

U.S. murder rate approaches a record low

https://www.npr.org/2026/06/30/nx-s1-5866810/us-murder-rate-record-low-crime-homicide
1•toomuchtodo•35m ago•0 comments

Claude Fable 5 available globally tomorrow

https://twitter.com/anthropicai/status/2072163884430229756
6•jitl•40m ago•1 comments

Ask HN: If governments keep restricting frontier AI, what happens next?

1•akashwadhwani35•41m ago•1 comments

The Oracle Problem

https://pilgrima.ge/p/the-oracle-problem
2•paulpauper•44m ago•0 comments

Is Claude's Constitution Aligned with Planetary Flourishing?

https://cathalharte.ch/essay-is-claudes-constitution-aligned-with-planetary-flourishing.html
1•paulpauper•44m ago•0 comments

Scientists discover unexpected way to make pancreatic cancer cells self-destruct

https://www.sciencedaily.com/releases/2026/06/260622091512.htm
1•jonbaer•44m ago•0 comments

Tracing Codex's 640TB-a-year SQLite writes

https://querydoctor.com/blog/tracing-codexs-640tb-year-sqlite-writes
1•thunderbong•45m ago•0 comments

Syncpen: A Markdown writing app your AI can write in (Claude, Cursor, Cowork)

https://www.syncpen.io/
1•airbuzz•46m ago•0 comments

WhatsApp Coding – Managing Google Antigravity 2.0 via a mobile chat proxy

https://github.com/rajibbora1965/WhatsAppCoding
1•rajibbora•47m ago•0 comments

Modular Cognitive Architecture Emerges in Large Language Models

https://pengrui-han.github.io/LLM_Modularity_Page/
1•pulisse•48m ago•0 comments

BullRun – free global stock screener with an MCP server

https://bull-run.org/
1•ferinator•49m ago•2 comments

Firms that adopt AI grow headcount 10% over the two years following adoption

https://ramp.com/data/ai-jobs-impact
2•nreece•52m ago•0 comments

What ORMs have taught me: just learn SQL (2014)

https://wozniak.ca/blog/2014/08/03/1/index.html
1•ciconia•52m ago•0 comments