Mercury: Ultra-Fast Language Models Based on Diffusion (arxiv.org)

262 points by PaulHoule 5h ago 96 comments

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

85 points by bhaktatejas922 3h ago 53 comments

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

180 points by noperator 5h ago 83 comments

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

307 points by adrianh 3h ago 99 comments

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

20 points by jcelerier 1h ago 1 comments

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

18 points by jaeunglee 1h ago 1 comments

When Figma starts designing us (designsystems.international)

143 points by bravomartin 1d ago 60 comments

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

120 points by sandslash 4d ago 99 comments

My first verified (imperative) program (markushimmel.de)

4 points by TwoFx 12m ago 1 comments

The Era of Exploration (yidingjiang.github.io)

28 points by jxmorris12 2h ago 2 comments

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

23 points by apsec112 2d ago 11 comments

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

573 points by ananddtyagi 18h ago 257 comments

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

74 points by mildbyte 1d ago 11 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

55 points by picture 2d ago 8 comments

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

17 points by nateb2022 1h ago 2 comments

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

115 points by wglb 3d ago 32 comments

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

48 points by 2earth 3h ago 43 comments

Tuning the Prusa Core One (arachnoid.com)

36 points by lutusp 3h ago 24 comments

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

5 points by accurrent 1d ago 0 comments

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

48 points by nateb2022 4h ago 12 comments

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

191 points by hilux 3d ago 138 comments

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

27 points by hasheddan 2h ago 4 comments

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

357 points by zdw 19h ago 313 comments

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

444 points by ayaros 23h ago 125 comments

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

155 points by FinalDestiny 2d ago 49 comments

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

38 points by tosh 4d ago 3 comments

The Harvey Edwards Archive (harveyedwards-archive.com)

4 points by toomuchtodo 2h ago 0 comments

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

235 points by pyman 8h ago 320 comments

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

64 points by HeavenFox 3h ago 3 comments

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

266 points by sandbach 20h ago 414 comments

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

241 points by zdw 19h ago 94 comments

LLMs should not replace therapists (arxiv.org)

216 points by layer8 20h ago 305 comments

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

206 points by todsacerdoti 20h ago 56 comments

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

33 points by joelburget 4h ago 1 comments

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

5 points by bloodmosher 3h ago 1 comments

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

54 points by ohjeez 2d ago 8 comments

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

215 points by davidgomes 1d ago 236 comments

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

25 points by ingve 2d ago 1 comments

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

127 points by koch 21h ago 85 comments

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

3 points by uptown 29m ago 0 comments

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

282 points by indigodaddy 1d ago 77 comments

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

187 points by bschne 3d ago 12 comments

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

74 points by teleforce 15h ago 8 comments

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

324 points by 8organicbits 1d ago 87 comments

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

9 points by napolux 5h ago 1 comments

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

294 points by chmaynard 3d ago 123 comments

Uncommon Uses of Python in Commonly Used Libraries (2022) (eugeneyan.com)

71 points by sebg 3d ago 11 comments

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

1 points by dgoncharov 1d ago 0 comments

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

202 points by mrlesk 22h ago 49 comments

I extracted the safety filters from Apple Intelligence models (github.com)

489 points by BlueFalconHD 22h ago 375 comments

My first verified (imperative) program

4 TwoFx 1 7/7/2025, 5:58:04 PM markushimmel.de ↗

Comments (1)

wk_end · 2m ago

Seems to be hugged to death, which is a wonderful demonstration of some of the limits of formal verification :)