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

1 points by jjgreen 10m ago 0 comments

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

1 points by pekim 10m ago 0 comments

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

1 points by npinsker 11m ago 0 comments

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

1 points by aapanel 12m ago 1 comments

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

1 points by ArisC 13m ago 0 comments

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

1 points by xeonmc 14m ago 0 comments

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

2 points by todsacerdoti 22m ago 0 comments

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

1 points by qitops 22m ago 0 comments

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

1 points by PaulHoule 22m ago 0 comments

OpenEmail – Mail/HTTPS Protocol (github.com)

1 points by cidra_ 24m ago 0 comments

AI Builder for your Front end (baloon.dev)

1 points by ankurpata 25m ago 1 comments

10k Drum Machines (10kdrummachines.com)

1 points by TomWhitwell 26m ago 0 comments

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

1 points by pieterr 31m ago 0 comments

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

1 points by bit_qntum 32m ago 0 comments

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

2 points by Erikun 32m ago 0 comments

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

1 points by byte-bolter 34m ago 0 comments

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

1 points by theykk 34m ago 0 comments

Google Is Cooked (monkeylike.substack.com)

2 points by TIJ 35m ago 0 comments

The Event Horizon of Fantasy (medium.com)

1 points by bryanrasmussen 44m ago 0 comments

The Deathbed Fallacy (hjorthjort.xyz)

1 points by mefengl 46m ago 0 comments

Domain Connect (domainconnect.org)

1 points by gregsadetsky 47m ago 0 comments

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

1 points by simonebrunozzi 50m ago 0 comments

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

1 points by vdelitz 53m ago 0 comments

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

2 points by rmason 1h ago 0 comments

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

4 points by gray_amps 1h ago 0 comments

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

1 points by totalview 1h 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)

16 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 2h ago 0 comments

Dia – Executive Assistant Waitlist is now live

1 points by AnshulT 2h ago 0 comments

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

12 points by Kaibeezy 2h ago 3 comments

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

19 points by XzetaU8 2h ago 10 comments

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

4 points by amarcheschi 2h 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

Ergodic Literature

5 amarcheschi 1 5/9/2025, 5:31:24 PM en.wikipedia.org ↗

Comments (1)

amarcheschi · 17h ago

The concept is not absurd in itself, I quite liked the examples provided in the page