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

98 points by pseudolus 2h ago 25 comments

My first verified imperative program (markushimmel.de)

62 points by TwoFx 2h ago 22 comments

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

316 points by PaulHoule 7h ago 117 comments

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

111 points by bhaktatejas922 5h ago 70 comments

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

236 points by noperator 7h ago 109 comments

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

40 points by zeristor 2d ago 10 comments

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

467 points by adrianh 5h ago 177 comments

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

46 points by jcelerier 3h ago 5 comments

When Figma starts designing us (designsystems.international)

169 points by bravomartin 1d ago 79 comments

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

141 points by sandslash 4d ago 116 comments

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

31 points by jaeunglee 4h ago 2 comments

The Era of Exploration (yidingjiang.github.io)

44 points by jxmorris12 4h ago 3 comments

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

613 points by ananddtyagi 20h ago 284 comments

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

103 points by mildbyte 1d ago 12 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

82 points by picture 2d ago 13 comments

So you wanna build an aging company (librariesforthefuture.bio)

39 points by apsec112 2d ago 34 comments

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

137 points by wglb 3d ago 48 comments

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

16 points by accurrent 1d ago 0 comments

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

26 points by nateb2022 4h ago 9 comments

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

15 points by mfilion 1h ago 1 comments

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

82 points by nateb2022 6h ago 17 comments

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

381 points by zdw 21h ago 329 comments

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

204 points by hilux 3d ago 153 comments

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

461 points by ayaros 1d ago 128 comments

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

301 points by pyman 11h ago 426 comments

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

165 points by FinalDestiny 2d ago 50 comments

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

69 points by 2earth 5h ago 64 comments

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

46 points by tosh 4d ago 3 comments

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

14 points by calculatehow 3h ago 7 comments

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

281 points by sandbach 23h ago 452 comments

Tuning the Prusa Core One (arachnoid.com)

45 points by lutusp 5h ago 38 comments

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

242 points by zdw 21h ago 102 comments

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

23 points by sohkamyung 8h ago 69 comments

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

84 points by HeavenFox 6h ago 5 comments

LLMs should not replace therapists (arxiv.org)

227 points by layer8 22h ago 321 comments

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

18 points by fremden 3d ago 16 comments

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

38 points by hasheddan 4h ago 6 comments

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

210 points by todsacerdoti 22h ago 56 comments

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

60 points by ohjeez 2d ago 8 comments

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

220 points by davidgomes 1d ago 250 comments

The Harvey Edwards Archive (harveyedwards-archive.com)

6 points by toomuchtodo 4h ago 0 comments

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

130 points by koch 23h ago 92 comments

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

23 points by napolux 7h ago 2 comments

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

285 points by indigodaddy 1d ago 79 comments

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

20 points by ssutch3 1h ago 7 comments

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

75 points by teleforce 17h ago 8 comments

The messy reality of SIMD (vector) functions (johnnysswlab.com)

26 points by ingve 2d ago 1 comments

My app charted on the App Store, and that sucked (hiblog.pages.dev)

11 points by isntThatSth 1h ago 4 comments

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

190 points by bschne 3d ago 12 comments

Showh HN: Microjax – JAX in two classes and six functions (github.com)

35 points by joelburget 6h ago 1 comments

PepsiCo, Campbell’s shrinking packages with lower-price options to spur sales

1 bdev12345 0 7/7/2025, 8:06:54 PM wsj.com ↗

Comments (0)

No comments yet