fp.
newest
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
Load More