Roundest Regular Solid (johndcook.com)

1 points by zdw 6m ago 0 comments

C++26 Reflections adventures and compile time UML (reachablecode.com)

2 points by jandeboevrie 10m ago 0 comments

Show HN: App.build, open-source AI agent that builds full-stack apps

1 points by davidgomes 35m ago 2 comments

How Boba Shops Make Money [video] (youtube.com)

1 points by mgh2 39m ago 0 comments

Google loses appeal over app store reforms in Epic Games case (cnbc.com)

3 points by 1vuio0pswjnm7 41m ago 0 comments

Updated My about Page (mtende.blog)

1 points by sonderotis 41m ago 0 comments

Zero – Local Encrypted Vault App (No Cloud, No Signup, Free)

1 points by techdobz 42m ago 1 comments

Covid's origins conspiracy theories hamper ability to prevent the next pandemic (cnn.com)

4 points by frans 46m ago 1 comments

What Does ROC Law Say About Taiwan? (usali.org)

1 points by thomassmith65 55m ago 0 comments

Show HN: Gmap: Explore Git Repos Visually from the CLI (github.com)

1 points by seeyebe 59m ago 1 comments

Mozart Dice Game: algorithmic music generation designed by Mozart (playonlinedicegames.com)

2 points by lubujackson 59m ago 1 comments

BoxBuddy: A Graphical Interface for Distrobox (github.com)

1 points by indigodaddy 1h ago 0 comments

AI Researchers Are Negotiating $250M Pay Packages. Just Like NBA Stars (nytimes.com)

4 points by mitchbob 1h ago 1 comments

How much cash is the US raising from tariffs? (bbc.com)

3 points by ranit 1h ago 0 comments

What's a Potato? A Nine-Million-Year-Old Tomato (nytimes.com)

1 points by jaredwiener 1h ago 0 comments

Oregon mandated phone-free schools – some parents are being asked to pay (oregonlive.com)

2 points by rwc9 1h ago 2 comments

Samsung TV service down: Users say apps not loading amid widespread outage (hindustantimes.com)

1 points by geoka9 1h ago 0 comments

Decoding the Chinese Computer (sixthtone.com)

3 points by kaptain 1h ago 1 comments

Facebook Once Bought a VPN App and Used It to Spy on 33M+ Phones for Years (twitter.com)

2 points by dsr12 1h ago 0 comments

Blame the governor! Oklahoma’s “board meeting porn” scandal goes gonzo (arstechnica.com)

1 points by tzs 1h ago 0 comments

Show HN: MitiFresh – A marketplace for homegrown backyard produce

1 points by priyankaajsr 1h ago 0 comments

Matlab Copilot: AI assistant optimized for Matlab (mathworks.com)

1 points by teleforce 1h ago 0 comments

Elon Musk gives millions to Republican super PACs ahead of the midterms (nbcnews.com)

5 points by tastyface 1h ago 0 comments

Construction on Trump's $200M White House ballroom to begin in September (cnn.com)

6 points by adwmayer 1h ago 3 comments

Peacock feathers can emit laser beams (arstechnica.com)

1 points by colinprince 1h ago 0 comments

Further Performance Evolution in Python 3.14: Tail Call Interpreter (manjusaka.blog)

1 points by misonic 1h ago 0 comments

Two Driverless Waymo Cars Collide at Phoenix Sky Harbor Airport (teslarati.com)

4 points by starkparker 1h ago 0 comments

Show HN: Kali Linux-like environment written in Windows Batch (github.com)

2 points by benja2998 1h ago 0 comments

Show HN: Dingo 1.9.0 released: With enhanced hallucination detection (github.com)

1 points by e06084 2h ago 0 comments

Are Cyber Defenders Winning? – Lawfare (lawfaremedia.org)

2 points by bariumbitmap 2h ago 0 comments

The Impossible Quiz (en.wikipedia.org)

3 points by bariumbitmap 2h ago 1 comments

LLM leaderboard – Comparing models from OpenAI, Google, DeepSeek and others (artificialanalysis.ai)

23 points by bookofjoe 2h ago 4 comments

IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers (doi.org)

2 points by matt_d 2h ago 0 comments

Has any YC founder ever gone to jail for startup-related crimes?

4 points by TeslaK20 2h ago 3 comments

Improvised Star Trek: Podcast and Stage Show (2019) (theimprovisedstartrek.com)

1 points by bariumbitmap 2h ago 0 comments

Cloud Optimized GeoTIFF: Imagery format for cloud-native geospatial processing (cogeo.org)

2 points by teleforce 2h ago 0 comments

Waymo car crashed into another Waymo car (twitter.com)

7 points by canucker2016 2h ago 4 comments

China's summons Nvidia to explain H20 chip's 'back-door' risks (scmp.com)

2 points by mhga 2h ago 0 comments

Show HN: SonicInfra, Cloud at On-Prem Prices (sonicinfra.com)

1 points by fahhem 2h ago 0 comments

Show HN: KubeForge – A GUI for Kubernetes YAMLs (github.com)

9 points by rakeda 2h ago 5 comments

Show HN: I vibe coded a word game as a game designer (no ads, just fun) (wordsdescrambler.com)

2 points by gogo61 2h ago 2 comments

Anyone else have Claude accounts banned for ToS breach with no warning? (reddit.com)

3 points by AWPAGE 2h ago 1 comments

Shape memory alloys for cryogenic actuators (nature.com)

2 points by PaulHoule 2h ago 0 comments

Rove Founders Arhan Chhabra and Max Morganroth (thefinancefrontier.substack.com)

1 points by Shivam_Verma_ 2h ago 0 comments

Why Gen Zers Are Ditching Instagram for BeReal and Snapchat (thefinancefrontier.substack.com)

2 points by Shivam_Verma_ 2h ago 2 comments

TraceRoot: Find the Root Cause in Your Code's Trace (github.com)

2 points by djhu9 2h ago 0 comments

Show HN: Visual AI x RAG – Search, tag and edit photos with AI (coreviz.io)

2 points by wassgha22 2h ago 0 comments

A rtt log view tool (makerinchina.cn)

1 points by makerinchina 2h ago 0 comments

Wide Research (manus.im)

2 points by mfiguiere 2h ago 0 comments

TikTok made songs shrink, but artists are pushing back (bbc.co.uk)

3 points by andsoitis 3h ago 0 comments

Gödel: The Limits of Logic and the Foundations of Modern Mathematics

2 bryanrasmussen 1 7/31/2025, 8:41:03 AM quantumzeitgeist.com ↗

Comments (1)

bryanrasmussen · 20h ago

original title was: Gödel’s Incompleteness Theorems: The Limits of Logic and the Foundations of Modern Mathematics.