My first verified imperative program

https://markushimmel.de/blog/my-first-verified-imperative-program/

35•TwoFx•1h ago•9 comments

New sphere-packing record stems from an unexpected source

https://www.quantamagazine.org/new-sphere-packing-record-stems-from-an-unexpected-source-20250707/

33•pseudolus•48m ago•2 comments

Mercury: Ultra-fast language models based on diffusion

https://arxiv.org/abs/2506.17298

294•PaulHoule•6h ago•114 comments

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

101•bhaktatejas922•4h ago•63 comments

I used o3 to profile myself from my saved Pocket links

https://noperator.dev/posts/o3-pocket-profile/

200•noperator•6h ago•98 comments

Adding a feature because ChatGPT incorrectly thinks it exists

https://www.holovaty.com/writing/chatgpt-fake-feature/

396•adrianh•4h ago•132 comments

When Figma starts designing us

https://designsystems.international/ideas/when-figma-starts-designing-us/

162•bravomartin•1d ago•72 comments

Show HN: Ossia score – a sequencer for audio-visual artists

https://github.com/ossia/score

31•jcelerier•2h ago•4 comments

François Chollet: The Arc Prize and How We Get to AGI [video]

https://www.youtube.com/watch?v=5QcCeSsNRks

132•sandslash•4d ago•102 comments

The Miyawaki Method of micro-forestry

https://www.futureecologies.net/listen/fe-6-5-the-method

10•zeristor•2d ago•6 comments

Show HN: Unlearning Comparator, a visual tool to compare machine unlearning

https://gnueaj.github.io/Machine-Unlearning-Comparator/

22•jaeunglee•2h ago•1 comments

The Era of Exploration

https://yidingjiang.github.io/blog/post/exploration/

37•jxmorris12•3h ago•2 comments

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

https://github.com/jackjackbits/bitchat

589•ananddtyagi•19h ago•268 comments

Solving Wordle with uv's dependency resolver

https://mildbyte.xyz/blog/solving-wordle-with-uv-dependency-resolver/

91•mildbyte•1d ago•12 comments

Lightfastness Testing of Colored Pencils

https://sarahrenaeclark.com/lightfast-testing-pencils/

68•picture•2d ago•12 comments

So you wanna build an aging company

https://www.librariesforthefuture.bio/p/is-this-aging

28•apsec112•2d ago•25 comments

Hymn to Babylon, missing for a millennium, has been discovered

https://phys.org/news/2025-07-hymn-babylon-millennium.html

126•wglb•3d ago•39 comments

SUS Lang: The SUS Hardware Description Language

https://sus-lang.org/

22•nateb2022•2h ago•3 comments

CPU-X: CPU-Z for Linux

https://thetumultuousunicornofdarkness.github.io/CPU-X/

62•nateb2022•5h ago•15 comments

Dyson, techno-centric design and social consumption

https://2earth.github.io/website/20250707.html

60•2earth•4h ago•53 comments

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps

https://arjo129.github.io/blog/5-7-2025-From-Photos-To-Positions-Prototyping.html

7•accurrent•1d ago•0 comments

Tuning the Prusa Core One

https://arachnoid.com/3D_Printing_Prusa_Core_One/

41•lutusp•4h ago•33 comments

Neanderthals operated prehistoric “fat factory” on German lakeshore

https://archaeologymag.com/2025/07/neanderthals-operated-fat-factory-125000-years-ago/

193•hilux•3d ago•144 comments

A non-anthropomorphized view of LLMs

http://addxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of-llms.html

364•zdw•20h ago•320 comments

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

https://alpha.lisagui.com/

449•ayaros•1d ago•126 comments

Cpparinfer: A C++23 implementation of the parinfer algorithm

https://gitlab.com/w0utert/cpparinfer

43•tosh•4d ago•3 comments

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

https://www.businessinsider.com/anthropic-cut-pirated-millions-used-books-train-claude-copyright-2025-6

My first verified imperative program

New sphere-packing record stems from an unexpected source

Mercury: Ultra-fast language models based on diffusion

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

I used o3 to profile myself from my saved Pocket links

Adding a feature because ChatGPT incorrectly thinks it exists

When Figma starts designing us

Show HN: Ossia score – a sequencer for audio-visual artists

François Chollet: The Arc Prize and How We Get to AGI [video]

The Miyawaki Method of micro-forestry

Show HN: Unlearning Comparator, a visual tool to compare machine unlearning

The Era of Exploration

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

Solving Wordle with uv's dependency resolver

Lightfastness Testing of Colored Pencils

So you wanna build an aging company

Hymn to Babylon, missing for a millennium, has been discovered

SUS Lang: The SUS Hardware Description Language

CPU-X: CPU-Z for Linux

Dyson, techno-centric design and social consumption

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps

Tuning the Prusa Core One

Neanderthals operated prehistoric “fat factory” on German lakeshore

A non-anthropomorphized view of LLMs

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

Cpparinfer: A C++23 implementation of the parinfer algorithm

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

tinymcp: Let LLMs control embedded devices via the Model Context Protocol

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI

Show HN: NYC Subway Simulator and Route Designer

The messy reality of SIMD (vector) functions

Comments

My first verified imperative program

New sphere-packing record stems from an unexpected source

Mercury: Ultra-fast language models based on diffusion

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

I used o3 to profile myself from my saved Pocket links

Adding a feature because ChatGPT incorrectly thinks it exists

When Figma starts designing us

Show HN: Ossia score – a sequencer for audio-visual artists

François Chollet: The Arc Prize and How We Get to AGI [video]

The Miyawaki Method of micro-forestry

Show HN: Unlearning Comparator, a visual tool to compare machine unlearning

The Era of Exploration

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

Solving Wordle with uv's dependency resolver

Lightfastness Testing of Colored Pencils

So you wanna build an aging company

Hymn to Babylon, missing for a millennium, has been discovered

SUS Lang: The SUS Hardware Description Language

CPU-X: CPU-Z for Linux

Dyson, techno-centric design and social consumption

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps

Tuning the Prusa Core One

Neanderthals operated prehistoric “fat factory” on German lakeshore

A non-anthropomorphized view of LLMs

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

Cpparinfer: A C++23 implementation of the parinfer algorithm

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

tinymcp: Let LLMs control embedded devices via the Model Context Protocol

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI

Show HN: NYC Subway Simulator and Route Designer