A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)

1 points by jjgreen 46s ago 0 comments

Policy of Transience (chiark.greenend.org.uk)

1 points by pekim 1m ago 0 comments

Web .NET Prototype – Godot Engine (godotengine.org)

1 points by npinsker 2m ago 0 comments

Tired of paying for SaaS tools to send emails? (github.com)

1 points by aapanel 3m ago 0 comments

Modern business adventures: short stories of techno-optimistic folly (logos.substack.com)

1 points by ArisC 4m ago 0 comments

How Unreal Engine 5 Is Killing Games [video] (youtube.com)

1 points by xeonmc 4m ago 0 comments

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)

2 points by todsacerdoti 13m ago 0 comments

Show HN: QitOps – A CLI tool for unified API, performance, and security testing (github.com)

1 points by qitops 13m ago 0 comments

Real-Time 3D Model Generation in Augmented Reality (arxiv.org)

1 points by PaulHoule 13m ago 0 comments

OpenEmail – Mail/HTTPS Protocol (github.com)

1 points by cidra_ 14m ago 0 comments

AI Builder for your Front end (baloon.dev)

1 points by ankurpata 16m ago 1 comments

10k Drum Machines (10kdrummachines.com)

1 points by TomWhitwell 17m ago 0 comments

25 Years of Autocratization – Democracy Trumped? [pdf] (v-dem.net)

1 points by pieterr 21m ago 0 comments

Broadcom sends cease-and-desist letters to perpetual VMware license holders (arstechnica.com)

1 points by bit_qntum 22m ago 0 comments

A Typical Workday at a Japanese Hardware Tool Store [video] (youtube.com)

2 points by Erikun 23m ago 0 comments

Judge questions Meta AI training as fair use (arstechnica.com)

1 points by byte-bolter 24m ago 0 comments

Show HN: Build website to list newest SRE jobs (newsrejobs.com)

1 points by theykk 25m ago 0 comments

Google Is Cooked (monkeylike.substack.com)

2 points by TIJ 25m ago 0 comments

The Event Horizon of Fantasy (medium.com)

1 points by bryanrasmussen 35m ago 0 comments

The Deathbed Fallacy (hjorthjort.xyz)

1 points by mefengl 37m ago 0 comments

Domain Connect (domainconnect.org)

1 points by gregsadetsky 38m ago 0 comments

Michael Saylor Bitcoin for Corporations 2025 Keynote Speech [video] (youtube.com)

1 points by simonebrunozzi 41m ago 0 comments

Google auto-converts passwords to passkeys on Android (androidpolice.com)

1 points by vdelitz 43m ago 0 comments

Vibe Coding Tools (directory with demos) (indiehackers.com)

2 points by rmason 51m ago 0 comments

Ransomware group LockBit appears to have been hacked (reuters.com)

4 points by gray_amps 59m ago 0 comments

Meta Locate Objects in 3D (locate3d.atmeta.com)

1 points by totalview 59m ago 0 comments

Chinese chipmaker readies 128-core, 512-thread CPU with AVX-512 (tomshardware.com)

2 points by ksec 1h ago 1 comments

The Taxonomy for Data Transformations in AI Systems (hopsworks.ai)

1 points by jamesblonde 1h ago 0 comments

Writing LSP client in Clojure in 200 lines of code (vlaaad.github.io)

2 points by vlaaad 1h ago 0 comments

It Couldn't Be Done (twitter.com)

1 points by tosh 1h ago 0 comments

Jony Ive's next product is driven by the 'unintended consequences' of the iPhone (theverge.com)

4 points by antfarm 1h ago 1 comments

GRPO experiment - I trained a Language Model to schedule events (github.com)

1 points by anakin87 1h ago 1 comments

Chinese jacket maker is now the biggest company, according to Bloomberg (ft.com)

4 points by KnuthIsGod 1h ago 1 comments

Show HN: The Internet Rich List (theinternetrichlist.com)

1 points by sixpoundham 1h ago 0 comments

Bold linker v0.2.0 release – bold just got faster (github.com)

2 points by todsacerdoti 1h ago 0 comments

Rules-based world order in retreat and violence on the rise. Has WW3 begun? (theguardian.com)

14 points by prmph 1h ago 4 comments

Bret Victor – The Future of Programming (2013) [video] (vimeo.com)

3 points by rapnie 1h ago 1 comments

RPG in a Box (rpginabox.com)

2 points by skibz 1h ago 0 comments

Show HN: Voice Cloning from American English to Indian Langs (sarypslabs.com)

2 points by siddhartha_soma 1h ago 0 comments

Countries could use forests to 'mask' needed emission cuts: Report (phys.org)

1 points by PaulHoule 1h ago 0 comments

Pakistan/India accuse each other of striking military bases in major escalation (theguardian.com)

3 points by spzx 1h ago 0 comments

Factorio lets fix video #1 – kovarex (youtube.com)

2 points by sensanaty 1h ago 0 comments

Dia – Executive Assistant Waitlist is now live

1 points by AnshulT 1h ago 0 comments

Cosmos 482 Descent Craft tracker (astria.tacc.utexas.edu)

12 points by Kaibeezy 1h ago 3 comments

CT scans show cigarettes are harder on the lungs than marijuana (healthimaging.com)

14 points by XzetaU8 1h ago 6 comments

The US has 1,001 measles cases and 11 states with active outbreaks (independent.co.uk)

4 points by amarcheschi 1h ago 0 comments

Google is bringing automatic passkey upgrades to Android (APK teardown) (androidauthority.com)

1 points by unigiri 2h ago 0 comments

Quiz Machine – Simple and quick indie AI live quiz generator (quiz-machine.com)

1 points by kurgandev 2h ago 1 comments

Unveiling the Future of Graphics: 'Zorah' UE5 Path-Tracing Demo with RTX 5090 (mmfooty.com)

1 points by lamariexa 2h ago 0 comments

A conversation with Jony Ive [video] (youtube.com)

1 points by tosh 2h ago 0 comments

x402: open protocol for internet-native payments

3 bpierre 1 5/7/2025, 11:10:31 PM x402.org ↗

Comments (1)

pestatije · 2d ago

standard X.402 (ISO/IEC 10021-2) does already exist