A Proof That There's No Constructive Proof of the Intermediate Value Theorem (grossack.site)

1 points by gone35 1m ago 0 comments

Did Baby Talk Give Rise to Language? (nytimes.com)

1 points by bookofjoe 1m ago 1 comments

Tech Debt Game: Launch a bug-free programming language in a terminal-style sim (techdebtgame.com)

1 points by kyrylo 2m ago 0 comments

Large Language Models Don't Make Sense of Word Problems (arxiv.org)

1 points by belter 2m ago 0 comments

Show HN: I made cheats for Cursor/Windsurf (getseraph.com)

1 points by AmirKeiser 5m ago 0 comments

Suspecting Spouse Is Cheating? Hire Gearhead Engineers Phone Hackers

1 points by Blander 5m ago 0 comments

AI Music Generator (aimusicgen.app)

1 points by epistemovault 6m ago 0 comments

Could organoids and LLMs create conscious AIs? (prism-global.com)

3 points by prism_info 6m ago 0 comments

Math.Pow(-1, 2) == -1 in Windows 11 Insider build (github.com)

1 points by jai_ 7m ago 0 comments

AI's Role in Rescuing Legacy Systems – The COBOL Modernization Revolution (techolution.com)

1 points by careful_ai 7m ago 0 comments

Spurious reconstruction of images from brain activity (sciencedirect.com)

1 points by DanielleMolloy 7m ago 0 comments

Nix doesn't have to be hard (dashdot.me)

1 points by tripdout 7m ago 0 comments

Hexagon fuzz: Full-system emulated fuzzing of Qualcomm basebands (srlabs.de)

5 points by mschuster91 11m ago 1 comments

HPC Course on GPU Computing with Rust [video] (youtube.com)

2 points by rvdca 13m ago 0 comments

ECJ obstacle to mass surveillance that prioritized privacy over police access (old.reddit.com)

1 points by nickslaughter02 14m ago 1 comments

Cybaa releases DNS and Entra domain monitoring alongside an API (cybaa.io)

1 points by milkyjoseph 14m ago 0 comments

90-degree turn brings bridge project to a screeching halt (thetimes.com)

2 points by cainxinth 16m ago 0 comments

Japan to extract deep sea rare-earths next year (asia.nikkei.com)

1 points by gsf_emergency_2 18m ago 0 comments

Learn Something Old Every Day, Part XVI: DOS 4.0 Select Is Too Clever (os2museum.com)

1 points by supermatou 20m ago 0 comments

They tried Made in the USA – it was too expensive for their customers (reuters.com)

5 points by petethomas 20m ago 1 comments

The Velvet Sundown are a seemingly AI-generated band with 325k Spotify listeners (musically.com)

1 points by ZeljkoS 21m ago 0 comments

The Forgotten War on the Walkman (newsletter.pessimistsarchive.org)

1 points by pseudolus 21m ago 0 comments

Dev snapshot: Godot 4.5 beta 2 (godotengine.org)

1 points by __natty__ 26m ago 0 comments

How large are large language models? (2025) (gist.github.com)

6 points by rain1 32m ago 0 comments

Nintendo faces legal action over ability to brick Switch 2s whenever they want (dexerto.com)

2 points by udev4096 33m ago 0 comments

A Concentration Camp (bsky.app)

2 points by perihelions 36m ago 0 comments

Jack Welch, the Man Who Broke Capitalism (2022) (forbes.com)

3 points by throw0101b 40m ago 1 comments

Gemini mirrored the user. Claude said "I love you." We recorded the drift (drive.proton.me)

2 points by syntx-system 40m ago 1 comments

Show HN: Cold Craft – Chrome extension to draft cold outreach messages instantly (cold-craft.ai)

1 points by ForgedLabsJames 41m ago 0 comments

Intrasexually competitive women advise other women to cut off more hair (sciencedirect.com)

13 points by like_any_other 42m ago 20 comments

Show HN: Built an open-source Wallpaper Engine for macOS (wallper.app)

1 points by DimKat 44m ago 1 comments

Vibed.pub: Turn Markdown Posts into Interactive Apps (vibed.pub)

2 points by piotraleksander 44m ago 1 comments

From Googlebot to GPTBot: Who's Crawling Your Site in 2025 (blog.cloudflare.com)

1 points by emot 44m ago 0 comments

The Technical Feasibility of Divesting Google Chrome (kgi.georgetown.edu)

1 points by Vinnl 47m ago 0 comments

New Microsoft Defender update will block the most dangerous kinds of cyberattack (techradar.com)

1 points by thunderbong 47m ago 0 comments

UK eyes new laws as cable sabotage blurs line between war and peace (theregister.com)

2 points by rntn 48m ago 0 comments

Ask HW:What's the biggest difference between humans&agents in 10 years

1 points by yeeyang 48m ago 0 comments

Doomsday [video] (youtube.com)

2 points by gone35 49m ago 0 comments

From Crypto Disillusionment to Societal Awakening – A Plea for Clarity in an Age (koujud.medium.com)

1 points by thesecretceo 54m ago 0 comments

What's going on here, with this human? (grahamduncan.blog)

1 points by sebg 54m ago 0 comments

Ted Cruz plan to punish states that regulate AI shot down in 99-1 vote (arstechnica.com)

1 points by LaSombra 55m ago 0 comments

GOP wants EV tax credit gone; it would be a disaster for Tesla (arstechnica.com)

1 points by LaSombra 55m ago 0 comments

Flimbe: A free, privacy-focused journaling app I built (iOS) (flimbe.com)

1 points by alex_cavalcante 57m ago 1 comments

How to Deal with a Toxic Top-Performer (dave-bailey.com)

1 points by BerislavLopac 59m ago 0 comments

Nestlé is creating AI-powered 'digital twins' for brands like Purina, Nescafé (nestle.com)

2 points by __natty__ 59m ago 0 comments

Show HN: Local Mail Merge in the Browser – No Cloud, No Setup

1 points by somtom 1h ago 0 comments

Adult ADHD is becoming more inclusive, but not overdiagnosed (aeon.co)

1 points by rbanffy 1h ago 0 comments

Continuous AI in Software Engineering (seangoedecke.com)

2 points by rbanffy 1h ago 0 comments

Renaming Trutch Street to šxʷməθkʷəy̓əmasəm Street (Musqueamview Street) (vancouver.ca)

1 points by f_allwein 1h ago 0 comments

The Precautionary Approach to AI: Less Human, More Honest (blog.apaonline.org)

1 points by kiyanwang 1h ago 0 comments

AI: Great Expectations (1988) [pdf]

2 Rexxar 2 7/1/2025, 11:54:04 PM people.csail.mit.edu ↗

Comments (2)

rossdavidh · 9h ago

Title says "Expectations"...

Rexxar · 9h ago

Sorry for the misspelling, fixed.