Formalizing a proof in Lean using Claude and o4 - Terence Tao [video] (youtube.com)

1 points by nill0 2m ago 0 comments

Donation Campaign 2025: YunoHost needs your help (forum.yunohost.org)

1 points by touggourt 4m ago 0 comments

Make the Prompt Public (blog.ai-futures.org)

1 points by nsoonhui 5m ago 0 comments

Highest number of π digits ever calculated (youtube.com)

1 points by adamkristan 8m ago 0 comments

YamlScriot: YAML Done Wisely (yamlscript.org)

1 points by fanf2 15m ago 0 comments

The Language That Never Was (blog.celes42.com)

2 points by darthdeus 17m ago 0 comments

How does Opus codec sound when bitrate continuously decreases until the minimum? [video] (youtube.com)

1 points by davikr 21m ago 0 comments

New computers don't speed up old code [video] (youtube.com)

2 points by areoform 23m ago 1 comments

Show HN: Infofused – Turn Your Discord Server into a Knowledge Hub (infofused.com)

1 points by julianvie 25m ago 0 comments

Cloudgeni – Secure and compliant infrastructure on Autopilot (cloudgeni.ai)

1 points by tckr 27m ago 1 comments

DoD Directive 3000.09: Autonomy in weapons systems [pdf] (esd.whs.mil)

1 points by simonebrunozzi 28m ago 0 comments

World Press Photo Suspends Authorship Credit for 1972 'Terror of War' Photo [pdf] (worldpressphoto.org)

1 points by okl 29m ago 0 comments

Google reverses course after blocking Nextcloud Files app (neowin.net)

3 points by bundie 31m ago 2 comments

Show HN: Low-backlash Angular gearbox and 3D-printed wrist differential [video] (youtube.com)

2 points by sergeymishin 31m ago 0 comments

Magnus Carlsen is playing a single game of chess against 140K people (apnews.com)

1 points by geox 37m ago 2 comments

Google is quietly giving Amazon a leg up in digital book sales (washingtonpost.com)

4 points by bookofjoe 41m ago 1 comments

Ethiopian Telecommunications Trailblazer on Trial (shega.co)

1 points by dks8eksls 41m ago 0 comments

The Zen Anti-Interpretation of Quantum Mechanics (2021) (scottaaronson.blog)

1 points by Tomte 45m ago 0 comments

What's Bad about Julia? (viralinstruction.com)

1 points by Tomte 45m ago 0 comments

Living with IBS: A Long Road Through Misdiagnoses to Recovery (2020) (camilleroux.com)

2 points by camilleroux 46m ago 1 comments

Vulnerable MCP project: standard issues with the protocol (vulnerablemcp.info)

1 points by hirsin 48m ago 0 comments

Coinbase Will Reimburse Customers Up to $400M After Data Breach (wired.com)

2 points by mikece 49m ago 0 comments

Patience too cheap to meter (seangoedecke.com)

1 points by swah 59m ago 0 comments

Show HN: I made a tool that helps you find and create better AI prompts faster (searchpromptly.com)

1 points by KevinEdelson 1h ago 0 comments

America Is Winning the Wrong AI Race (wsj.com)

4 points by Bostonian 1h ago 1 comments

MinorMiner: We turn your kid's maths homework into Bitcoin (robertheaton.com)

4 points by pimterry 1h ago 0 comments

Premature Optimizations of All Kinds (humaninterfaces.co)

2 points by vladimirbaranov 1h ago 0 comments

Story of BrahMos: The development of India's first supersonic cruise missile (moneycontrol.com)

2 points by rustoo 1h ago 0 comments

Static Types Are for Perfectionists (mmapped.blog)

2 points by PaulKeeble 1h ago 1 comments

The Chuwi MiniBook X N150 (taoofmac.com)

1 points by transpute 1h ago 0 comments

China's LandSpace launches improved methane-powered rocket (reuters.com)

3 points by thunderbong 1h ago 0 comments

Experts Have It Easy (boydkane.com)

1 points by r4um 1h ago 0 comments

Lufthansa plane flew for 10 minutes without pilots (businessinsider.com)

3 points by apples_oranges 1h ago 0 comments

MIT paper on AI for materials research found to be fraudulent (thebsdetector.substack.com)

3 points by outrun86 1h ago 0 comments

Google backs down after locking out Nextcloud Files app (theregister.com)

3 points by beardyw 1h ago 0 comments

OpenAI to Z Challenge (openai.com)

1 points by itchyjunk 1h ago 0 comments

Xray: A full-behavior-chain anti-malware system built in Go by a student

1 points by tangtian 1h ago 0 comments

ChatGPT Codex: The Missing Manual (latent.space)

2 points by Brajeshwar 1h ago 0 comments

Show HN: Ghibli AI: Authentic Style Art from Photos (aighibligenerator.app)

1 points by brbcompiling 2h ago 0 comments

A brief history of Mac architecture transitions (eclecticlight.co)

2 points by ingve 2h ago 0 comments

Dezyne Programming Language (dezyne.org)

9 points by aulisius 2h ago 0 comments

Show HN: Magic Worker – Simplify Web Worker Usage

4 points by tinyhref 2h ago 0 comments

Open Problems in Computational geometry (topp.openproblem.net)

2 points by nill0 2h ago 0 comments

They don't make 'em like that any more: 3D movies (kevinboone.me)

2 points by ingve 2h ago 0 comments

Push Ifs Up and Fors Down (matklad.github.io)

2 points by goranmoomin 2h ago 0 comments

Transformer neural net learns to run Conway's Game of Life just from examples (sidsite.com)

16 points by montebicyclelo 2h ago 7 comments

What I Know About Cleaning and Seasoning Cast-Iron Skillets (2021) (americastestkitchen.com)

8 points by Tomte 2h ago 1 comments

Java Programming in Emacs (2020) (xpressrazor.wordpress.com)

6 points by Tomte 2h ago 0 comments

Architecture in ACTion: Impactful Mind Skills for Tech Leaders (youtube.com)

1 points by mcp_ 2h ago 0 comments

Notes on Modernist Poets and the Epic (medium.com)

2 points by bryanrasmussen 2h ago 0 comments

How does Opus codec sound when bitrate continuously decreases until the minimum? [video]

1 davikr 0 5/17/2025, 11:35:50 AM youtube.com ↗

Comments (0)

No comments yet