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

1 points by fanf2 1m ago 0 comments

The Honesty Tax (theargumentmag.com)

1 points by robocat 3m ago 0 comments

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

1 points by rntn 3m ago 0 comments

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

1 points by sebg 6m ago 0 comments

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

1 points by fork-bomber 7m ago 0 comments

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

3 points by mattigames 8m ago 0 comments

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

1 points by tempodox 10m ago 0 comments

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

2 points by zahlman 10m ago 0 comments

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

1 points by mlillas 10m ago 1 comments

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

1 points by tempodox 12m ago 0 comments

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

1 points by arrowsmith 14m ago 0 comments

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

1 points by subhash_r_023 15m ago 0 comments

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

1 points by jamesblonde 16m ago 0 comments

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

1 points by ulrischa 16m ago 0 comments

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

2 points by PaulHoule 20m ago 0 comments

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

22 points by nfriedly 21m ago 2 comments

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

1 points by muchaeli 22m ago 0 comments

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

1 points by huevosabio 22m ago 0 comments

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

1 points by tjr 23m ago 0 comments

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

1 points by matt_d 23m ago 0 comments

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

2 points by pr337h4m 25m ago 1 comments

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

2 points by brycewray 30m ago 0 comments

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

2 points by tempodox 31m ago 0 comments

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

3 points by gnabgib 31m ago 1 comments

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

1 points by yvonuk 33m ago 0 comments

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

2 points by parisk 34m ago 0 comments

Bluesky Adds Private Bookmarks (techcrunch.com)

1 points by andrewstetsenko 35m ago 0 comments

Chat Control Must Be Stopped (privacyguides.org)

25 points by Improvement 36m ago 0 comments

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

2 points by olieidel 38m ago 2 comments

New to Silicon Valley. How to get started

2 points by Lakshmiprasads 39m ago 0 comments

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

1 points by mikae1 39m ago 0 comments

Wikimedia sunsets separate mobile domains (mediawiki.org)

3 points by todsacerdoti 42m ago 1 comments

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

1 points by Elliott-Diy 43m ago 0 comments

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

2 points by brandonb 44m ago 0 comments

I've built this in a week with Claude Code

1 points by VladCovaci 45m ago 1 comments

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

1 points by studiomartian 46m ago 0 comments

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

2 points by garymiklos 46m ago 0 comments

Road Trains (en.wikipedia.org)

2 points by fiatpandas 47m ago 1 comments

Supersense SenS2 Dementia Aid (raspberrypi.com)

1 points by corvad 47m 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 47m ago 0 comments

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

4 points by arbayi 47m ago 0 comments

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

1 points by swatson741 49m ago 0 comments

Color Shifting in CSS (joshwcomeau.com)

2 points by joshwcomeau 50m ago 0 comments

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

1 points by corvad 51m ago 0 comments

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

2 points by sito42 51m ago 2 comments

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

1 points by mooreds 53m ago 0 comments

Isolating CSS Inheritance (blog.dwac.dev)

1 points by ulrischa 53m ago 0 comments

Gemini app expands to audio files (theverge.com)

1 points by manveerc 53m ago 0 comments

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

1 points by sleepyguy 55m ago 1 comments

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

2 points by JaiRathore 1h ago 0 comments

So Long [Nova Launcher's FOSS release blocked by its owners,despite obligations]

6 ktosobcy 1 9/8/2025, 4:06:52 PM teslacoilapps.com ↗

Comments (1)

ktosobcy · 4h ago

https://infosec.exchange/@cliffwade/115168015274422682