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

150 points by pseudolus 3h ago 49 comments

My first verified imperative program (markushimmel.de)

93 points by TwoFx 4h ago 31 comments

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

345 points by PaulHoule 9h ago 140 comments

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

34 points by bookofjoe 3d ago 12 comments

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

124 points by bhaktatejas922 7h ago 83 comments

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

261 points by noperator 9h ago 113 comments

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

68 points by zeristor 2d ago 16 comments

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

561 points by adrianh 7h ago 210 comments

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

39 points by Metalnem 1h ago 10 comments

When Figma starts designing us (designsystems.international)

189 points by bravomartin 1d ago 90 comments

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

154 points by sandslash 4d ago 129 comments

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

57 points by jcelerier 5h ago 6 comments

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

99 points by HeavenFox 7h ago 8 comments

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

635 points by ananddtyagi 22h ago 293 comments

The Era of Exploration (yidingjiang.github.io)

55 points by jxmorris12 6h ago 4 comments

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

9 points by tinymagician 1h ago 9 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

92 points by picture 2d ago 21 comments

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

114 points by mildbyte 1d ago 12 comments

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

145 points by wglb 3d ago 57 comments

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

33 points by nateb2022 5h ago 13 comments

Charles Babbage and deciphering codes (1864) (mathshistory.st-andrews.ac.uk)

4 points by pncnmnp 3d ago 0 comments

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

29 points by mfilion 3h ago 7 comments

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

396 points by zdw 23h ago 340 comments

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

215 points by hilux 3d ago 161 comments

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

104 points by nateb2022 8h ago 20 comments

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

464 points by ayaros 1d ago 130 comments

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

24 points by accurrent 1d ago 0 comments

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

342 points by pyman 12h ago 479 comments

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

179 points by FinalDestiny 3d ago 55 comments

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

288 points by sandbach 1d ago 482 comments

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

25 points by calculatehow 5h ago 14 comments

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

243 points by zdw 23h ago 106 comments

LLMs should not replace therapists (arxiv.org)

231 points by layer8 1d ago 335 comments

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

48 points by tosh 4d ago 3 comments

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

211 points by todsacerdoti 1d ago 56 comments

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

74 points by 2earth 7h ago 81 comments

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

61 points by ohjeez 2d ago 8 comments

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

24 points by sohkamyung 9h ago 78 comments

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

224 points by davidgomes 1d ago 256 comments

Oh no, I betrayed America (musgrave.substack.com)

10 points by anigbrowl 31m ago 0 comments

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

131 points by koch 1d ago 95 comments

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

33 points by jaeunglee 5h ago 2 comments

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

290 points by indigodaddy 1d ago 80 comments

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

41 points by hasheddan 6h ago 6 comments

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

29 points by napolux 9h ago 2 comments

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

32 points by ssutch3 3h ago 20 comments

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

78 points by teleforce 19h ago 8 comments

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

307 points by chmaynard 3d ago 131 comments

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

27 points by ingve 3d ago 1 comments

Backlog.md – Markdown‑native Task Manager and Kanban visualizer for any Git repo (github.com)

209 points by mrlesk 1d ago 53 comments

Koala: A benchmark suite for performance-oriented shell-optimization research

2 matt_d 0 7/7/2025, 9:46:47 PM github.com ↗

Comments (0)

No comments yet