New sphere-packing record stems from an unexpected source (quantamagazine.org)

121 points by pseudolus 2h ago 34 comments

My first verified imperative program (markushimmel.de)

74 points by TwoFx 3h ago 25 comments

Mercury: Ultra-fast language models based on diffusion (arxiv.org)

332 points by PaulHoule 8h ago 128 comments

Launch HN: Morph (YC S23) – Apply AI code edits at 4,500 tokens/sec

113 points by bhaktatejas922 6h ago 76 comments

I used o3 to profile myself from my saved Pocket links (noperator.dev)

244 points by noperator 8h ago 109 comments

The chemical secrets that help keep honey fresh for so long (bbc.com)

15 points by bookofjoe 3d ago 6 comments

The Miyawaki Method of micro-forestry (futureecologies.net)

52 points by zeristor 2d ago 12 comments

Adding a feature because ChatGPT incorrectly thinks it exists (holovaty.com)

510 points by adrianh 6h ago 192 comments

When Figma starts designing us (designsystems.international)

176 points by bravomartin 1d ago 87 comments

Show HN: Ossia score – a sequencer for audio-visual artists (github.com)

52 points by jcelerier 4h ago 6 comments

François Chollet: The Arc Prize and How We Get to AGI [video] (youtube.com)

148 points by sandslash 4d ago 121 comments

You Should Run a Certificate Transparency Log (words.filippo.io)

10 points by Metalnem 31m ago 0 comments

The Era of Exploration (yidingjiang.github.io)

50 points by jxmorris12 5h ago 4 comments

Show HN: Unlearning Comparator, a visual tool to compare machine unlearning (gnueaj.github.io)

33 points by jaeunglee 4h ago 2 comments

Show HN: NYC Subway Simulator and Route Designer (buildmytransit.nyc)

89 points by HeavenFox 6h ago 5 comments

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks (github.com)

624 points by ananddtyagi 21h ago 287 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

86 points by picture 2d ago 19 comments

Solving Wordle with uv's dependency resolver (mildbyte.xyz)

107 points by mildbyte 1d ago 12 comments

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps (arjo129.github.io)

22 points by accurrent 1d ago 0 comments

Hymn to Babylon, missing for a millennium, has been discovered (phys.org)

141 points by wglb 3d ago 53 comments

Tyr, a new Rust DRM driver targeting CSF-based ARM Mali GPUs (collabora.com)

26 points by mfilion 2h ago 2 comments

SUS Lang: The SUS Hardware Description Language (sus-lang.org)

29 points by nateb2022 4h ago 13 comments

How did X-Rays gain mass adoption? (aditharun.com)

7 points by tinymagician 50m ago 4 comments

CPU-X: CPU-Z for Linux (thetumultuousunicornofdarkness.github.io)

92 points by nateb2022 7h ago 19 comments

Why are there no good dinosaur films? (briannazigler.substack.com)

29 points by fremden 3d ago 34 comments

A non-anthropomorphized view of LLMs (addxorrol.blogspot.com)

388 points by zdw 22h ago 334 comments

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics (alpha.lisagui.com)

463 points by ayaros 1d ago 130 comments

Neanderthals operated prehistoric “fat factory” on German lakeshore (archaeologymag.com)

207 points by hilux 3d ago 160 comments

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge (businessinsider.com)

316 points by pyman 11h ago 449 comments

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)

167 points by FinalDestiny 3d ago 54 comments

Why English doesn't use accents (deadlanguagesociety.com)

286 points by sandbach 23h ago 471 comments

Cpparinfer: A C++23 implementation of the parinfer algorithm (gitlab.com)

47 points by tosh 4d ago 3 comments

Intel's Lion Cove P-Core and Gaming Workloads (chipsandcheese.com)

242 points by zdw 22h ago 104 comments

Dyson, techno-centric design and social consumption (2earth.github.io)

74 points by 2earth 6h ago 74 comments

LLMs should not replace therapists (arxiv.org)

229 points by layer8 23h ago 324 comments

Tuning the Prusa Core One (arachnoid.com)

48 points by lutusp 6h ago 39 comments

AI cameras change driver behavior at intersections (spectrum.ieee.org)

24 points by sohkamyung 8h ago 75 comments

Building the Rust Compiler with GCC (fractalfir.github.io)

211 points by todsacerdoti 23h ago 56 comments

Show HN: I Got Tired of Calculator Sites, So I Built My Own

21 points by calculatehow 4h ago 11 comments

The Cat's Meat Man: Feeding Felines in Victorian London (publicdomainreview.org)

61 points by ohjeez 2d ago 8 comments

Async Queue – One of my favorite programming interview questions (davidgomes.com)

221 points by davidgomes 1d ago 252 comments

tinymcp: Let LLMs control embedded devices via the Model Context Protocol (github.com)

39 points by hasheddan 5h ago 6 comments

Thesis: Interesting work is less amenable to the use of AI (remark.ing)

130 points by koch 1d ago 93 comments

Opencode: AI coding agent, built for the terminal (github.com)

286 points by indigodaddy 1d ago 80 comments

I am uninstalling AI coding assistants from my personal computer (sam.sutch.net)

25 points by ssutch3 2h ago 10 comments

The Harvey Edwards Archive (harveyedwards-archive.com)

6 points by toomuchtodo 5h ago 0 comments

Applite – A macOS native GUI for homebrew (aerolite.dev)

26 points by napolux 8h ago 2 comments

High Performance Image Sensor Processing Using FPGAs [pdf] (oda.uni-obuda.hu)

77 points by teleforce 18h ago 8 comments

The first time I was almost fired from Apple (engineersneedart.com)

300 points by chmaynard 3d ago 127 comments

What every programmer should know about how CPUs work [video] (youtube.com)

191 points by bschne 4d ago 12 comments

DeepSeek Debrief: >128 Days Later – SemiAnalysis

5 rbanffy 0 7/7/2025, 10:01:59 AM semianalysis.com ↗

Comments (0)

No comments yet