CSS Minecraft (benjaminaster.com)

1200 points by mudkipdev 5d ago 140 comments

Photos taken inside musical instruments (dpreview.com)

990 points by worik 1d ago 50 comments

German court sends VW execs to prison over Dieselgate scandal (politico.eu)

784 points by Tomte 5d ago 311 comments

Owls in Towels (owlsintowels.org)

760 points by schaum 5d ago 98 comments

Square Theory (aaronson.org)

729 points by aaaronson 4d ago 137 comments

WeatherStar 4000+: Weather Channel Simulator (weatherstar.netbymatt.com)

697 points by adam_gyroscope 2d ago 130 comments

The Who Cares Era (dansinker.com)

695 points by NotInOurNames 3d ago 712 comments

Hacker News now runs on top of Common Lisp (lisp-journey.gitlab.io)

656 points by Tomte 5d ago 434 comments

The ‘white-collar bloodbath’ is all part of the AI hype machine (cnn.com)

644 points by lwo32k 1d ago 1135 comments

Human coders are still better than LLMs (antirez.com)

618 points by longwave 2d ago 721 comments

Show HN: I rewrote my Mac Electron app in Rust (desktopdocs.com)

583 points by katrinarodri 3d ago 438 comments

US Trade Court finds Trump tariffs illegal (bloomberg.com)

563 points by master_crab 3d ago 507 comments

My website is ugly because I made it (goodinternetmagazine.com)

538 points by surprisetalk 3d ago 127 comments

Open Source Society University – Path to a free self-taught education in CS (github.com)

531 points by saikatsg 6d ago 162 comments

Show HN: My LLM CLI tool can run tools now, from Python code or plugins (simonwillison.net)

520 points by simonw 4d ago 165 comments

FLUX.1 Kontext (bfl.ai)

515 points by minimaxir 2d ago 117 comments

GitHub MCP exploited: Accessing private repositories via MCP (invariantlabs.ai)

503 points by andy99 5d ago 297 comments

Trying to teach in the age of the AI homework machine (solarshades.club)

478 points by notarobot123 5d ago 645 comments

Denmark to raise retirement age to 70 (telegraph.co.uk)

472 points by wslh 6d ago 1241 comments

Google shared my phone number (danq.me)

469 points by luu 5d ago 174 comments

How a hawk learned to use traffic signals to hunt more successfully (frontiersin.org)

458 points by layer8 4d ago 140 comments

Japan Post launches 'digital address' system (japantimes.co.jp)

455 points by jmsflknr 3d ago 289 comments

As a developer, my most important tools are a pen and a notebook (hamatti.org)

455 points by ingve 3d ago 285 comments

Duolingo CEO tries to walk back AI-first comments, fails (htxt.co.za)

455 points by Improvement 5d ago 322 comments

Show HN: I wrote a modern Command Line Handbook (commandline.stribny.name)

438 points by petr25102018 2d ago 108 comments

Precision Clock Mk IV (mitxela.com)

431 points by ahlCVA 13h ago 110 comments

Deepseek R1-0528 (huggingface.co)

431 points by error404x 3d ago 249 comments

Show HN: Lazy Tetris (lazytetris.com)

429 points by admtal 5d ago 148 comments

The radix 2^51 trick (2017) (chosenplaintext.ca)

414 points by blobcode 2d ago 81 comments

Gurus of 90s Web Design: Zeldman, Siegel, Nielsen (cybercultural.com)

413 points by panic 2d ago 184 comments

A new class of materials that can passively harvest water from air (blog.seas.upenn.edu)

398 points by Tycho 5d ago 204 comments

Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning

394 points by codelion 4d ago 64 comments

Long live American Science and Surplus (milwaukeerecord.com)

390 points by thinkalone 3d ago 111 comments

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (blog.edward-li.com)

390 points by edwardjxli 4d ago 158 comments

Surprisingly fast AI-generated kernels we didn't mean to publish yet (crfm.stanford.edu)

388 points by mfiguiere 1d ago 183 comments

Run a C# file directly using dotnet run app.cs (devblogs.microsoft.com)

375 points by soheilpro 3d ago 320 comments

Microsandbox: Virtual Machines that feel and perform like containers (github.com)

374 points by makeboss 1d ago 181 comments

Mullvad Leta (leta.mullvad.net)

374 points by microflash 3d ago 185 comments

The Myth of Developer Obsolescence (alonso.network)

368 points by cat-whisperer 4d ago 396 comments

Systems Correctness Practices at Amazon Web Services (cacm.acm.org)

361 points by tanelpoder 1d ago 127 comments

Getting a Cease and Desist from Waffle House (jack.bio)

361 points by lafond 3d ago 187 comments

TIL: timeout in Bash scripts (heitorpb.github.io)

355 points by lr0 5d ago 96 comments

Compiler Explorer and the promise of URLs that last forever (xania.org)

350 points by anarazel 3d ago 179 comments

Lottie is an open format for animated vector graphics (lottie.github.io)

350 points by marcodiego 6d ago 174 comments

Lossless video compression using Bloom filters (github.com)

346 points by rh3939 5d ago 116 comments

Ask HN: What are you working on? (May 2025)

346 points by david927 6d ago 1067 comments

Ask HN: Anyone struggling to get value out of coding LLMs?

338 points by bjackman 5d ago 275 comments

Show HN: Typed-FFmpeg 3.0–Typed Interface to FFmpeg and Visual Filter Editor (github.com)

335 points by lucemia51 3d ago 40 comments

BGP handling bug causes widespread internet routing instability (blog.benjojo.co.uk)

335 points by robin_reala 4d ago 160 comments

Show HN: Porting Terraria and Celeste to WebAssembly (velzie.rip)

334 points by coolelectronics 5d ago 47 comments

Formal Conjectures

4 md224 0 5/30/2025, 12:14:15 AM github.com ↗

Comments (0)

No comments yet