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

1 points by jjgreen 2m ago 0 comments

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

1 points by pekim 3m ago 0 comments

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

1 points by npinsker 4m ago 0 comments

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

1 points by aapanel 5m ago 1 comments

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

1 points by ArisC 6m ago 0 comments

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

1 points by xeonmc 7m ago 0 comments

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

2 points by todsacerdoti 15m ago 0 comments

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

1 points by qitops 15m ago 0 comments

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

1 points by PaulHoule 15m ago 0 comments

OpenEmail – Mail/HTTPS Protocol (github.com)

1 points by cidra_ 17m ago 0 comments

AI Builder for your Front end (baloon.dev)

1 points by ankurpata 18m ago 1 comments

10k Drum Machines (10kdrummachines.com)

1 points by TomWhitwell 19m ago 0 comments

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

1 points by pieterr 23m ago 0 comments

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

1 points by bit_qntum 24m ago 0 comments

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

2 points by Erikun 25m ago 0 comments

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

1 points by byte-bolter 27m ago 0 comments

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

1 points by theykk 27m ago 0 comments

Google Is Cooked (monkeylike.substack.com)

2 points by TIJ 28m ago 0 comments

The Event Horizon of Fantasy (medium.com)

1 points by bryanrasmussen 37m ago 0 comments

The Deathbed Fallacy (hjorthjort.xyz)

1 points by mefengl 39m ago 0 comments

Domain Connect (domainconnect.org)

1 points by gregsadetsky 40m ago 0 comments

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

1 points by simonebrunozzi 43m ago 0 comments

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

1 points by vdelitz 45m ago 0 comments

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

2 points by rmason 53m 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)

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)

15 points by XzetaU8 2h ago 6 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

Internet Artifacts (2023)

1 helloplanets 1 5/10/2025, 5:19:51 AM neal.fun ↗

Comments (1)

gnabgib · 5h ago

Popular in 2023 (338 points, 71 comments) https://news.ycombinator.com/item?id=38013477