Photos taken inside musical instruments (dpreview.com)

1073 points by worik 2d ago 54 comments

Root shell on a credit card terminal (stefan-gloor.ch)

783 points by stgl 1d ago 232 comments

Square Theory (aaronson.org)

736 points by aaaronson 6d ago 137 comments

The Who Cares Era (dansinker.com)

715 points by NotInOurNames 5d ago 715 comments

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

707 points by adam_gyroscope 4d ago 133 comments

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

685 points by lwo32k 3d ago 1217 comments

If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)

653 points by weltview 9h ago 301 comments

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

634 points by longwave 4d ago 726 comments

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

591 points by katrinarodri 5d ago 442 comments

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

572 points by master_crab 4d ago 507 comments

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

548 points by surprisetalk 5d ago 129 comments

Progressive JSON (overreacted.io)

545 points by kacesensitive 1d ago 224 comments

Precision Clock Mk IV (mitxela.com)

532 points by ahlCVA 2d ago 124 comments

FLUX.1 Kontext (bfl.ai)

523 points by minimaxir 4d ago 125 comments

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

521 points by simonw 5d ago 165 comments

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

465 points by jmsflknr 5d ago 292 comments

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

460 points by layer8 6d ago 145 comments

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

458 points by ingve 5d ago 286 comments

The Visual World of 'Samurai Jack' (animationobsessive.substack.com)

453 points by ani_obsessive 20h ago 80 comments

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

447 points by petr25102018 4d ago 108 comments

Deepseek R1-0528 (huggingface.co)

439 points by error404x 5d ago 249 comments

Show HN: Lazy Tetris (lazytetris.com)

438 points by admtal 6d ago 148 comments

Cinematography of “Andor” (pushing-pixels.org)

423 points by rcarmo 1d ago 384 comments

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

423 points by blobcode 3d ago 82 comments

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

417 points by panic 4d ago 185 comments

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

411 points by mfiguiere 2d ago 213 comments

Figma Slides Is a Beautiful Disaster (allenpike.com)

395 points by tobr 1d ago 234 comments

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

394 points by makeboss 3d ago 184 comments

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

394 points by codelion 5d ago 66 comments

How to post when no one is reading (jeetmehta.com)

393 points by j4mehta 14h ago 189 comments

Long live American Science and Surplus (milwaukeerecord.com)

391 points by thinkalone 4d ago 111 comments

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

390 points by edwardjxli 6d ago 158 comments

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

377 points by soheilpro 4d ago 320 comments

Mullvad Leta (leta.mullvad.net)

377 points by microflash 5d ago 186 comments

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

376 points by tanelpoder 3d ago 132 comments

The Myth of Developer Obsolescence (alonso.network)

370 points by cat-whisperer 6d ago 399 comments

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

362 points by lafond 5d ago 187 comments

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

353 points by anarazel 5d ago 188 comments

Ukraine destroys more than 40 military aircraft in drone attack deep in Russia (npr.org)

345 points by consumer451 1d ago 518 comments

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

341 points by lucemia51 4d ago 40 comments

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

336 points by robin_reala 6d ago 160 comments

Beating Google's kernelCTF PoW using AVX512 (anemato.de)

331 points by anematode 3d ago 94 comments

The Polymarket users betting on when Jesus will return (ericneyman.wordpress.com)

320 points by surprisetalk 5d ago 610 comments

Why DeepSeek is cheap at scale but expensive to run locally (seangoedecke.com)

318 points by ingve 1d ago 211 comments

Beware of Fast-Math (simonbyrne.github.io)

317 points by blobcode 2d ago 219 comments

xAI to pay telegram $300M to integrate Grok into the chat app (techcrunch.com)

317 points by freetonik 5d ago 395 comments

Airlines are charging solo passengers higher fares than groups (thriftytraveler.com)

304 points by _tqr3 3d ago 504 comments

AI: Accelerated Incompetence (slater.dev)

303 points by stevekrouse 5d ago 267 comments

I'm starting a social club to solve the male loneliness epidemic (wave3.social)

302 points by nswizzle31 3d ago 659 comments

Silicon Valley finally has a big electronics retailer again: Micro Center opens (microcenter.com)

299 points by modeless 2d ago 166 comments

Why Are LLMs Not Better at Finding Proofs? [video]

5 AbstractPlay 1 5/31/2025, 6:15:55 PM youtube.com ↗

Comments (1)

hulitu · 1h ago

> Why Are LLMs Not Better at Finding Proofs? [video]

Are they able to ?

"Computers are ... [1] , they can only give answers"

[1] i cannot remember the exact quote.