Tony Hoare: How did software get so reliable without proof? (blog.regehr.org)

1 points by fanf2 27s ago 0 comments

The Honesty Tax (theargumentmag.com)

1 points by robocat 1m ago 0 comments

Nvidia's Huang joining Trump on UK state visit next week (cnbc.com)

1 points by rntn 1m ago 0 comments

Birds and Frogs, thoughts on mathematicians by Freeman Dyson [pdf] (ams.org)

1 points by sebg 5m ago 0 comments

LWMalloc is a lightweight dynamic memory allocator for embedded systems (cnx-software.com)

1 points by fork-bomber 6m ago 0 comments

Spotify users ask for a setting to hide AI generated contents but they refuse (community.spotify.com)

2 points by mattigames 6m ago 0 comments

Hilbert space: treating functions as vectors (eli.thegreenplace.net)

1 points by tempodox 8m ago 0 comments

The Weird Death of User Interfaces (Enrico Tartarotti) [video] (youtube.com)

1 points by zahlman 9m ago 0 comments

I built an uptime monitoring tool in 3 weeks at 19 (sitepuls.app)

1 points by mlillas 9m ago 1 comments

Zig: Everything Is a []U8 (openmymind.net)

1 points by tempodox 11m ago 0 comments

Why Language Models Hallucinate [pdf] (cdn.openai.com)

1 points by arrowsmith 13m ago 0 comments

Claude Code Beginner's Tutorial by Peter Yang (creatoreconomy.so)

1 points by subhash_r_023 14m ago 0 comments

Trappist-1e: Astronomers spotlight planet in hunt for extraterrestrial life – T (ft.com)

1 points by jamesblonde 14m ago 0 comments

Reciprocate, a Sweet Solution for Making HTML Web Components Reactive (thathtml.blog)

1 points by ulrischa 15m ago 0 comments

Climate change is making it dicier to get that perfect ear of corn (site.extension.uga.edu)

2 points by PaulHoule 19m ago 0 comments

YouTube views are down (don't panic) (jeffgeerling.com)

21 points by nfriedly 19m ago 2 comments

A different food marketplace, users request a dish, cooked in home kitchens (dishforus.com)

1 points by muchaeli 20m ago 0 comments

Show HN: A monster trainer game with monsters you can train (youtube.com)

1 points by huevosabio 21m ago 0 comments

Can AI code? Study maps the roadblocks to autonomous software engineering (csail.mit.edu)

1 points by tjr 21m ago 0 comments

GSoC 2025 – Byte Type: Supporting Raw Data Copies in the LLVM IR (blog.llvm.org)

1 points by matt_d 22m ago 0 comments

Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents (securityalliance.org)

2 points by pr337h4m 23m ago 1 comments

Defending an open web: What the Google search ruling means for the future (blog.mozilla.org)

2 points by brycewray 29m ago 0 comments

Ever shared a Spotify link? Someone you don't know can now message you (androidauthority.com)

2 points by tempodox 29m ago 0 comments

My blue is your blue: different people's brains process colours in the same way (nature.com)

3 points by gnabgib 30m ago 1 comments

Show HN: Proxied Web from URL –– A free web proxy service directly from URL (web.818233.xyz)

1 points by yvonuk 32m ago 0 comments

We are moving away from Nuxt to Eleventy (withlogic.co)

2 points by parisk 32m ago 0 comments

Bluesky Adds Private Bookmarks (techcrunch.com)

1 points by andrewstetsenko 33m ago 0 comments

Chat Control Must Be Stopped (privacyguides.org)

24 points by Improvement 35m ago 0 comments

What Amsterdam's Prostitution Taught Me About B2B SaaS Sales (eidel.io)

2 points by olieidel 36m ago 2 comments

New to Silicon Valley. How to get started

2 points by Lakshmiprasads 37m ago 0 comments

Building a Chromebook replacement with NixOS [video] (youtube.com)

1 points by mikae1 38m ago 0 comments

Wikimedia sunsets separate mobile domains (mediawiki.org)

3 points by todsacerdoti 40m ago 1 comments

Hackers steal 3,325 secrets in GhostAction GitHub supply chain attack (bleepingcomputer.com)

1 points by Elliott-Diy 41m ago 0 comments

Apple launching 8 new products on Tuesday, here's what's coming (9to5mac.com)

2 points by brandonb 43m ago 0 comments

I've built this in a week with Claude Code

1 points by VladCovaci 44m ago 1 comments

Show HN: Logogriphs – A daily word riddle game (logogriphs.com)

1 points by studiomartian 44m ago 0 comments

Show HN: Receive Notifications from Claude Code (heyagent.dev)

2 points by garymiklos 45m ago 0 comments

Road Trains (en.wikipedia.org)

2 points by fiatpandas 45m ago 1 comments

Supersense SenS2 Dementia Aid (raspberrypi.com)

1 points by corvad 46m ago 0 comments

New Engine to Run SOTA AI Models on Qualcomm NPU Across Phone, PC, Cars, and IoT (nexa.ai)

1 points by BUFU 46m ago 0 comments

Alterego: The first near-telepathic wearable (twitter.com)

4 points by arbayi 46m ago 0 comments

Introduction to Nyquist and Lisp Programming (manual.audacityteam.org)

1 points by swatson741 48m ago 0 comments

Color Shifting in CSS (joshwcomeau.com)

2 points by joshwcomeau 49m ago 0 comments

Salesloft says Drift customer data thefts linked to March GitHub account hack (techcrunch.com)

1 points by corvad 49m ago 0 comments

How to be a scientist in a post-journal world (thescientistpapers.substack.com)

2 points by sito42 49m ago 2 comments

Why Your Docs-as-Code Toolchain Is Holding You Back (thecontentwrangler.com)

1 points by mooreds 51m ago 0 comments

Isolating CSS Inheritance (blog.dwac.dev)

1 points by ulrischa 52m ago 0 comments

Gemini app expands to audio files (theverge.com)

1 points by manveerc 52m ago 0 comments

AI will consume all of IT by 2030 (arstechnica.com)

1 points by sleepyguy 53m ago 1 comments

Ask HN: How do you manage docs for AI coding agents without bloating repos?

2 points by JaiRathore 58m ago 0 comments

Education Doesn't Work 3.0

2 paulpauper 0 9/8/2025, 3:56:20 PM freddiedeboer.substack.com ↗

Comments (0)

No comments yet