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

244 points by pseudolus 8h ago 110 comments

Trying to Find Meaning in Owning an Old Mac (blog.decryption.net.au)

6 points by decryption 19m ago 0 comments

LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping (studios.disneyresearch.com)

47 points by jw1224 4h ago 9 comments

What Microchip doesn't (officially) tell you about the VSC8512 (serd.es)

44 points by ahlCVA 3d ago 2 comments

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

391 points by PaulHoule 14h ago 162 comments

BBC staff: we're forced to do pro-Israel PR (owenjones.news)

132 points by mhga 46m ago 19 comments

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

86 points by bookofjoe 3d ago 37 comments

My first verified imperative program (markushimmel.de)

127 points by TwoFx 9h ago 47 comments

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

158 points by bhaktatejas922 12h ago 110 comments

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

322 points by noperator 14h ago 127 comments

Epanet-JS (macwright.com)

16 points by surprisetalk 3d ago 2 comments

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

109 points by zeristor 2d ago 24 comments

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

712 points by adrianh 12h ago 270 comments

When Figma starts designing us (designsystems.international)

218 points by bravomartin 1d ago 103 comments

CU Randomness Beacon (random.colorado.edu)

6 points by wello 2d ago 2 comments

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

167 points by sandslash 4d ago 149 comments

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

61 points by fremden 3d ago 133 comments

Analysing Roman itineraries using GIS tooling (link.springer.com)

13 points by diodorus 3d ago 1 comments

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

138 points by HeavenFox 12h ago 15 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

118 points by picture 3d ago 30 comments

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

84 points by Metalnem 6h ago 28 comments

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

139 points by mildbyte 2d ago 12 comments

The Era of Exploration (yidingjiang.github.io)

74 points by jxmorris12 11h ago 6 comments

DOJ goes after US citizen for developing anti-ICE app (appleinsider.com)

26 points by ProAm 28m ago 0 comments

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

167 points by wglb 3d ago 69 comments

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

74 points by jcelerier 9h ago 11 comments

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

445 points by zdw 1d ago 373 comments

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

13 points by pncnmnp 3d ago 0 comments

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

489 points by ayaros 1d ago 137 comments

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

235 points by hilux 4d ago 178 comments

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

51 points by apsec112 3d ago 52 comments

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

37 points by jaeunglee 10h ago 2 comments

Artist in Residence on a Satellite (global.cafa.edu.cn)

13 points by thenthenthen 2d ago 2 comments

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

37 points by accurrent 2d ago 1 comments

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

300 points by sandbach 1d ago 516 comments

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

47 points by nateb2022 10h ago 21 comments

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

134 points by nateb2022 13h ago 28 comments

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

397 points by pyman 17h ago 547 comments

LLMs should not replace therapists (arxiv.org)

246 points by layer8 1d ago 343 comments

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

183 points by FinalDestiny 3d ago 56 comments

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

250 points by zdw 1d ago 110 comments

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

686 points by ananddtyagi 1d ago 314 comments

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

215 points by todsacerdoti 1d ago 56 comments

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

233 points by davidgomes 1d ago 270 comments

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

137 points by koch 1d ago 98 comments

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

48 points by mfilion 7h ago 9 comments

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

32 points by calculatehow 10h ago 30 comments

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

56 points by tosh 4d ago 3 comments

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

42 points by napolux 14h ago 3 comments

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

34 points by sohkamyung 14h ago 87 comments

Code and Trust: Vibrators to Pacemakers

3 Bogdanp 1 7/7/2025, 10:12:47 PM punkx.org ↗

Comments (1)

gibbitz · 4h ago

> but as I was writing it I discovered that I am truly horrified that my car's breaks will be programmed by a contractor using some local 7b model that specializes in writing MIRSA C:2023 ASIL-D compliant software.

https://www.edn.com/toyotas-killer-firmware-bad-design-and-i...