My first verified imperative program (markushimmel.de)

35 points by TwoFx 1h ago 9 comments

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

33 points by pseudolus 48m ago 2 comments

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

294 points by PaulHoule 6h ago 114 comments

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

101 points by bhaktatejas922 4h ago 63 comments

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

200 points by noperator 6h ago 98 comments

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

396 points by adrianh 4h ago 132 comments

When Figma starts designing us (designsystems.international)

162 points by bravomartin 1d ago 72 comments

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

31 points by jcelerier 2h ago 4 comments

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

132 points by sandslash 4d ago 102 comments

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

10 points by zeristor 2d ago 6 comments

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

22 points by jaeunglee 2h ago 1 comments

The Era of Exploration (yidingjiang.github.io)

37 points by jxmorris12 3h ago 2 comments

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

589 points by ananddtyagi 19h ago 268 comments

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

91 points by mildbyte 1d ago 12 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

68 points by picture 2d ago 12 comments

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

28 points by apsec112 2d ago 25 comments

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

126 points by wglb 3d ago 39 comments

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

22 points by nateb2022 2h ago 3 comments

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

62 points by nateb2022 5h ago 15 comments

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

60 points by 2earth 4h ago 53 comments

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

7 points by accurrent 1d ago 0 comments

Tuning the Prusa Core One (arachnoid.com)

41 points by lutusp 4h ago 33 comments

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

193 points by hilux 3d ago 144 comments

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

364 points by zdw 20h ago 320 comments

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

449 points by ayaros 1d ago 126 comments

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

43 points by tosh 4d ago 3 comments

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

269 points by pyman 9h ago 366 comments

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

34 points by hasheddan 3h ago 5 comments

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

157 points by FinalDestiny 2d ago 49 comments

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

77 points by HeavenFox 4h ago 3 comments

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

278 points by sandbach 21h ago 439 comments

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

242 points by zdw 20h ago 99 comments

LLMs should not replace therapists (arxiv.org)

221 points by layer8 21h ago 312 comments

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

210 points by todsacerdoti 21h ago 56 comments

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

57 points by ohjeez 2d ago 8 comments

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

4 points by calculatehow 2h ago 7 comments

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

216 points by davidgomes 1d ago 245 comments

The Harvey Edwards Archive (harveyedwards-archive.com)

5 points by toomuchtodo 3h ago 0 comments

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

129 points by koch 22h ago 88 comments

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

34 points by joelburget 5h ago 1 comments

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

283 points by indigodaddy 1d ago 77 comments

Show HN: Integrated System for Enhancing VIC Output (github.com)

6 points by bloodmosher 4h ago 1 comments

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

26 points by ingve 2d ago 1 comments

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

190 points by bschne 3d ago 12 comments

Get the location of the ISS using DNS (shkspr.mobi)

324 points by 8organicbits 1d ago 88 comments

Metriport (YC S22) is hiring engineers to improve healthcare data exchange (ycombinator.com)

1 points by dgoncharov 1d ago 0 comments

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

17 points by napolux 6h ago 1 comments

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

75 points by teleforce 16h ago 8 comments

Bridgefy SDK – Make your mobile app work without the Internet (bridgefy.me)

4 points by uptown 1h ago 1 comments

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

298 points by chmaynard 3d ago 126 comments

Catalytic converter theft is down by 80% in NYC

1 geox 0 7/7/2025, 10:40:03 AM gothamist.com ↗

Comments (0)

No comments yet