fp.

Designing an Ethernet Switch ASIC

https://essenceia.github.io/projects/ethernet_switch_asic/

1•random__duck•45s ago•0 comments

Show HN: Seek – Ctrl+F for Videos

https://seekapp.cc

1•surprisefox•1m ago•0 comments

Parsifal and The Muppet Movie are the only two genuine Gesamtkunstwerke

https://morbidcuriosity.substack.com/p/enthullet-die-rainbow-connection

1•pnwpnw•1m ago•0 comments

My falling-out with the rationalist community

https://lcamtuf.substack.com/p/my-falling-out-with-the-rationalist

1•surprisetalk•5m ago•0 comments

Show HN: Velprium - Time Workspace

https://www.velprium.com/

1•mjkl7896•5m ago•0 comments

Mysterious little red dots at the beginning time may have an explanation

https://www.livescience.com/space/mysterious-little-red-dots-at-the-beginning-time-may-finally-ha...

1•arto•6m ago•0 comments

Ramp AI Router

https://router-website-ramp.vercel.app/router

1•robbiet480•8m ago•1 comments

Poverty of attention. Text became free. Attention didn't. (German)

https://christopher-helm.com/aufmerksamkeit-ueberfischung-ki-journalismus/

1•chelm•9m ago•0 comments

Repos in 29 days with an AI pipeline – what broke wasn't code

https://lkforge.com/blog/26-repos-in-29-days/

1•lucianBKR•9m ago•0 comments

US judge approves Anthropic's $1.5B settlement of copyright lawsuit

https://www.reuters.com/world/us-judge-approves-anthropics-15-billion-settlement-copyright-lawsui...

1•Anon84•10m ago•0 comments

Free LLM balancer combines multiple local inference machines with cloud fallback

https://github.com/Gysho/LLMrPro

1•ThomasWink1981•11m ago•1 comments

DeskPad – Virtual Keyboard and Mouse for Android Desktop Mode

https://github.com/auxiliaryutils/deskpad-app

1•Nemeses1•12m ago•1 comments

Confront Reality (2012)

http://www.aaronsw.com/weblog/anders

2•waaldev•12m ago•0 comments

An Ode to the Old Ways

https://agniva.me/personal/2026/07/19/ode-to-old-ways.html

1•sangeeth96•12m ago•0 comments

Richard Hamming: how one frustrated mathematician made data repair itself

https://nirmalutwani.substack.com/p/when-bits-flip-and-everything-breaks

1•nutwani91•13m ago•1 comments

Did California's DMV Director lie to the legislature?

https://papersplease.org/wp/2026/07/01/did-californias-dmv-director-lie-to-the-legislature/

1•Jimmc414•13m ago•0 comments

New Orleans Cops Published Policy Document Allowing Weaponized Drones

https://www.404media.co/new-orleans-cops-published-policy-document-allowing-weaponized-drones/

2•Jimmc414•14m ago•0 comments

The depth problem with agentic research

https://moekhalil.substack.com/p/the-depth-problem-with-agentic-research

1•mfkhalil•15m ago•0 comments

Trump imposes 50% tariff on Canadian goods

https://apnews.com/article/trump-canada-50-tariff-autos-alcohol-cheese-ca268ef24992b16695954c4c2e...

1•bradleyankrom•15m ago•1 comments

AI Voice Phishing Performs on Par with Human Scammers at a Fraction of the Cost

https://fredheiding.substack.com/p/ai-voice-phishing-performs-on-par

1•DalasNoin•16m ago•0 comments

Stealth Crawlers Are Not a Threat to the Open Web. Bills Targeting Them Would Be

https://www.eff.org/deeplinks/2026/07/stealth-crawlers-are-not-threat-open-web-bills-targeting-th...

2•hn_acker•16m ago•0 comments

Inference as Stereotype

https://hollisrobbinsanecdotal.substack.com/p/stereotype-threat

1•HR01•17m ago•0 comments

Does "rtk" skill cut agent tokens by 60–90%? We tested it

https://blog.jetbrains.com/ai/2026/07/rtk-claude-code-token-savings/

1•kindaAnIdiot•18m ago•0 comments

D-FINE-seg – detection, instance and semantic segmentation in one model

https://github.com/ArgoHA/D-FINE-seg

1•argo_cve•20m ago•0 comments

Cognition acquires TierZero to extend Devin into production operations

https://runtimewire.com/article/cognition-acquires-tierzero-devin-production-operations

1•ryanmerket•21m ago•0 comments

Logical Foundations of Prolog

https://www.youtube.com/playlist?list=PLEvH6T-1oh76mgfZm5QbLQoRsyr87BhiR

2•b-man•21m ago•0 comments

Aipac spends millions in Michigan Senate race – AP News

https://apnews.com/article/aipac-michigan-senate-stevens-elsayed-588bb869eb557643950bf68d6a0d7a10

4•abdelhousni•23m ago•0 comments

Show HN: Forall – OpenSpec but with actual machine-checkable verification

https://github.com/astrio-labs/forall

1•Nolan_Lwin•24m ago•0 comments

Trump to hit Canada with new 50% tariff

https://www.cbc.ca/news/world/trump-canada-us-trade-tariffs-cusma-usmca-9.7276973

3•llm_nerd•25m ago•0 comments

Ramp opens AI model router, says it cut internal LLM costs 30%

https://runtimewire.com/article/ramp-router-ai-model-gateway-llm-costs

1•ryanmerket•26m ago•0 comments

Open in hackernews

Tweet claiming Claude Fable 5 has helped disprove the Jacobian conjecture

https://twitter.com/__alpoge__/status/2079028340955197566

12•meowface•17h ago

Comments

meowface•17h ago

The tweeter, Levent Alpöge, is a professional mathematician who works at Anthropic.

gnabgib•17h ago

Discussion forming (39 points, 7 comments) https://news.ycombinator.com/item?id=48973869

dnhkng•14h ago

Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?