fp.

Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

https://twitter.com/gro_tsen/status/2082483878480977959

1•jryan49•35s ago•0 comments

Audio8 TTS Preview 0.6B: multilingual TTS model with zero-shot voice cloning

https://huggingface.co/Audio8/Audio8-TTS-Preview-0.6b

1•nateb2022•1m ago•0 comments

You can't solve computer use by ignoring the interface

https://steelmanlabs.com/blog/computer-use-is-far-from-solved

1•mpavlov•1m ago•0 comments

Cameron's World

https://www.cameronsworld.net

1•adityaathalye•3m ago•0 comments

Binary is the best way to count [video]

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

1•basilikum•5m ago•0 comments

Were this summer's heatwaves caused by El Niño, or something more terrifying?

https://www.irishtimes.com/opinion/2026/07/28/eamon-ryan-were-this-summers-heatwaves-caused-by-el...

1•simmerup•6m ago•0 comments

Gates Heir's Shopping App Claimed Sales It Didn't Drive

https://www.bloomberg.com/news/articles/2026-07-09/gates-heir-s-shopping-app-took-credit-for-sale...

1•mgh2•6m ago•2 comments

3D Pinball for Windows (1995)

https://98.js.org/programs/pinball/space-cadet.html

2•mushstory•7m ago•0 comments

'My life's screwed': Korean investors stress out after AI bubble bursts

https://www.ft.com/content/23f388eb-e8ab-4fb1-b1ca-8e04eb4561a1

3•scrlk•7m ago•1 comments

Email Storm

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

1•thinkingemote•9m ago•0 comments

Best Python Frameworks for 2026

https://duckframework.com/blog/6-best-python-frameworks-for-2026-and-the-one-most-lists-get-wrong

1•digreatbrian•11m ago•0 comments

Sarvam Code

https://www.sarvam.ai/products/coding-agents

1•pixxxel•12m ago•0 comments

Design and simulate 16×2 or 20×4 Arduino displays in seconds

https://www.pockeng.com/tools/lcd.html

1•levario•13m ago•0 comments

My 3 SaaS are evaporating. RIP indie hacking (2018-2026)

https://twitter.com/gherget/status/2082784434726592780

2•gaborme•18m ago•1 comments

Excessive time spent online linked to stress and worse mood – study

https://www.theguardian.com/technology/2026/jul/29/excessive-time-spent-online-linked-to-stress-a...

3•giuliomagnifico•20m ago•0 comments

Cleaning Out Inboxes: TA488 Comes for Outlook with Another Half-Click Exploit

https://www.proofpoint.com/us/blog/threat-insight/cleaning-out-inboxes-ta488-comes-outlook-anothe...

1•romaniitedomum•20m ago•0 comments

Our Research Team Developed a More Efficient Audio Embedding Model

https://www.edgeimpulse.com/blog/how-our-research-team-developed-a-more-efficient-audio-embedding...

1•dansitu•21m ago•0 comments

Show HN: Claude Skill for ASD-STE100 – Simplified English

https://github.com/blagoySimandov/asd-ste100-writer-skill

2•blagoysimandoff•25m ago•0 comments

Copy Error in Apple's Developer Program Signup Screen

https://drive.google.com/file/d/1Pn5MNH-vaIKVOqZyueLQq_5a7psra9BL/view?usp=sharing

1•rcshubhadeep•26m ago•1 comments

Software Foundations Series

https://softwarefoundations.cis.upenn.edu/

1•iamanatom•27m ago•0 comments

Uefa to discuss boycotting World Cup in emergency meeting after FIFA bombshell

https://www.independent.co.uk/sport/football/fifa-world-cup-uefa-boycott-meeting-infantino-news-b...

1•vrganj•28m ago•0 comments

A fundamental flaw leaves LLMs strikingly vulnerable to attack

https://www.technologyreview.com/2026/07/30/1140927/a-fundamental-flaw-leaves-llms-vulnerable-to-...

2•joozio•28m ago•0 comments

OpenAI's Hacking Debacle Was a Human Mistake

https://www.wired.com/story/openais-hacking-debacle-was-a-human-mistake/

1•smurda•30m ago•0 comments

Show HN: A minimalist proxy for your local LLM cluster (~1100 lines)

https://github.com/robolamp/smol-llm-proxy

1•snowy_robolamp•33m ago•0 comments

The Chinese robot army transforming the UK's retail industry

https://www.bbc.co.uk/news/articles/c0jl8v23qwgo

1•edward•34m ago•0 comments

Parseword

https://www.parseword.com

1•bookofjoe•34m ago•0 comments

Typeless is stripping away my thought process

https://en.astrian.lol/think-dont-speak/

1•Astrian•34m ago•0 comments

Code Page 437

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

1•tosh•35m ago•0 comments

When I failed the Microsoft interview

https://ochagavia.nl/blog/that-time-when-i-failed-the-microsoft-interview/

1•birdculture•36m ago•0 comments

"The Proximal Origin of SARS-CoV-2"

https://www.whitehouse.gov/lab-leak-true-origins-of-covid-19/

3•just_some_user•38m ago•1 comments

Open in hackernews

Coinbase moved to open models. Cut AI spend in half while increasing token usage

https://twitter.com/brian_armstrong/status/2070670644577280109

3•smurda•46m ago

Comments

ozgrakkurt•4m ago

https://xcancel.com/brian_armstrong/status/20706706445772801...

They didn't "move" to open models. They are using automatic routing to separate the work between proprietary and open models.

Also they put a chart without units so it is hard to understand what the scale is