fp.

Automating Godel's Ontological Proof of God's Existence [pdf]

https://christoph-benzmueller.de/papers/C40.pdf

1•ibobev•1m ago•0 comments

Trump's AI Framework Is So Bad They Won't Show You What's in It

https://www.techdirt.com/2026/08/06/trumps-ai-framework-is-so-bad-they-wont-show-you-whats-in-it/

2•cdrnsf•3m ago•0 comments

One Startup Built a (Mostly) China-Free Robot

https://www.wired.com/story/how-one-startup-built-a-mostly-china-free-robot/

1•dwa3592•5m ago•0 comments

Show HN: Whisper transcribes 70-year-olds more accurately than 20-year-olds

https://github.com/Kayvan-Zahiri/asr-age-gap

2•kzahiri•6m ago•0 comments

A Polynomial-Time Quantum Algorithm for the Dihedral Coset Problem

https://eprint.iacr.org/2026/1591

1•csmantle•7m ago•0 comments

Meta Ordered to Pay $942M to Address Harm to Kids from Social Media

https://www.wsj.com/tech/meta-ordered-to-pay-942-million-to-address-harm-to-kids-from-social-medi...

6•boplicity•10m ago•0 comments

Official: Ford's $29,945 Small EV Truck Is Called Fathom

https://www.motortrend.com/news/2028-ford-fathom-ev-pickup-name-price-official

1•thehoff•12m ago•0 comments

Show HN: AI Tutoring with Visual Grounding

https://useknowable.ai/

2•samuelzxu•12m ago•0 comments

McDonald's Cheeseburgers Dunked in Coca‑Cola? The Internet Is Deeply Divided

https://netbajura.blogspot.com/2026/08/reset-et-design-epure-type-medium.html

1•AllForAll•13m ago•0 comments

The Three Types of Creative Thought

https://twitter.com/dioscuri/status/2068625521567519179

1•rzk•13m ago•0 comments

How the U.S. Squandered Its Strategic Advantage

https://www.theatlantic.com/national-security/2026/08/shortage-weapons-shaping-war-iran/688201/

1•petethomas•14m ago•0 comments

OpenAI Response to Apple [pdf]

https://storage.courtlistener.com/recap/gov.uscourts.cand.474095/gov.uscourts.cand.474095.59.0.pdf

1•sanj•15m ago•0 comments

Why America Won't Copy Sweden's Cheap Highway Fix That Saves Lives [video]

https://www.youtube.com/watch?v=jyNEnYaBszk

1•oatmeal1•18m ago•0 comments

Quake 4: The Awakening has been released

https://github.com/jmarshall23/Quake_4_Alpha

1•klaussilveira•18m ago•0 comments

See inside your agents to fix them

https://lexifina.com/blog/see-inside-your-agents-to-fix-them

2•alansaber•21m ago•0 comments

What an Improv Stage Can Teach You About Leading Cross-Cultural Teams in Tokyo

https://www.tokyodev.com/articles/yes-and-what-an-improv-stage-can-teach-you-about-leading-cross-...

2•pwim•26m ago•0 comments

A path tracer through the translation stack

https://ark.marianposaceanu.com/quake-ii-rtx-m4-crossover

2•marianposaceanu•27m ago•0 comments

Google Shakes Up A.I. Leadership

https://www.nytimes.com/2026/08/05/technology/google-ai-leadership.html

2•karakoram•27m ago•1 comments

Objects That Explain America

https://www.nytimes.com/interactive/2026/08/04/opinion/museum-of-america.html

2•mooreds•29m ago•0 comments

Google Shifts AI Power Back to Brin as DeepMind's Hassabis Steps Aside

https://www.ft.com/content/1453e9c2-4922-482f-8720-0bafd7e07df7

2•karakoram•29m ago•1 comments

Arbitrage Exists Between Kalshi and Polymarket but You Can't Exploit It

https://www.zhinit.dev/blog/kalshi-polymarket-arbitrage

3•zhinit•29m ago•0 comments

What I'm Watching So You Don't Have To

https://roninsana.substack.com/p/what-im-watching-so-you-dont-have-a4b

2•petethomas•30m ago•0 comments

Diana Pfeil: Building Confidence in Probabilistic Systems [audio]

https://maintainable.fm/episodes/diana-pfeil-building-confidence-in-probabilistic-systems

1•mooreds•31m ago•0 comments

Draupnir

https://en.wikipedia.org/wiki/Draupnir

2•petethomas•32m ago•0 comments

Louisiana AG Liz Murrill Keeps Opposing Compensation for Wrongfully Convicted

https://www.propublica.org/article/louisiana-wrongful-conviction-compensation-liz-murrill-elvis-b...

2•baddash•33m ago•0 comments

ArenaAllocators don't play nicely with ArrayLists

https://www.openmymind.net/Arena-Allocators-and-ArrayLists/

1•ibobev•33m ago•0 comments

Show HN: Draw.How – Learn to Draw Anything

https://draw.how/

2•nadermx•33m ago•0 comments

Zig's Io.Threaded Is Neat

https://matklad.github.io/2026/08/06/neat-io-threaded.html

1•ibobev•35m ago•0 comments

Equal-Area and Quasi-Conformal Mappings

https://jcgt.org/published/0015/02/02/

1•ibobev•35m ago•0 comments

Invisible Problems

https://idiallo.com/blog/invisible-problems

2•foxfired•38m ago•0 comments