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

174 points by pseudolus 4h ago 60 comments

My first verified imperative program (markushimmel.de)

103 points by TwoFx 4h ago 37 comments

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

7 points by jw1224 33m ago 0 comments

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

352 points by PaulHoule 10h ago 143 comments

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

41 points by bookofjoe 3d ago 14 comments

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

129 points by bhaktatejas922 8h ago 85 comments

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

274 points by noperator 10h ago 118 comments

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

78 points by zeristor 2d ago 19 comments

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

591 points by adrianh 7h ago 223 comments

When Figma starts designing us (designsystems.international)

197 points by bravomartin 1d ago 95 comments

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

50 points by Metalnem 2h ago 9 comments

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

157 points by sandslash 4d ago 131 comments

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

62 points by jcelerier 5h ago 7 comments

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

641 points by ananddtyagi 22h ago 298 comments

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

101 points by HeavenFox 8h ago 8 comments

The Era of Exploration (yidingjiang.github.io)

58 points by jxmorris12 7h ago 4 comments

Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)

96 points by picture 2d ago 22 comments

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

118 points by mildbyte 1d ago 12 comments

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

3 points by thenthenthen 2d ago 0 comments

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

148 points by wglb 3d ago 57 comments

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

35 points by nateb2022 6h ago 14 comments

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

27 points by accurrent 1d ago 0 comments

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

403 points by zdw 1d ago 346 comments

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

36 points by mfilion 3h ago 5 comments

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

467 points by ayaros 1d ago 130 comments

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

217 points by hilux 3d ago 160 comments

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

109 points by nateb2022 8h ago 21 comments

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

5 points by pncnmnp 3d ago 0 comments

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

360 points by pyman 13h ago 489 comments

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

180 points by FinalDestiny 3d ago 55 comments

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

291 points by sandbach 1d ago 484 comments

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

244 points by zdw 1d ago 106 comments

LLMs should not replace therapists (arxiv.org)

236 points by layer8 1d ago 336 comments

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

26 points by calculatehow 6h ago 21 comments

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

212 points by todsacerdoti 1d ago 56 comments

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

50 points by tosh 4d ago 3 comments

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

226 points by davidgomes 1d ago 258 comments

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

33 points by napolux 9h ago 2 comments

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

61 points by ohjeez 2d ago 8 comments

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

75 points by 2earth 8h ago 82 comments

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

25 points by sohkamyung 10h ago 80 comments

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

133 points by koch 1d ago 95 comments

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

291 points by indigodaddy 1d ago 81 comments

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

34 points by jaeunglee 6h ago 2 comments

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

14 points by anigbrowl 1h ago 2 comments

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

42 points by hasheddan 7h ago 6 comments

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

79 points by teleforce 20h ago 8 comments

Jim Shooter, Editor Who 'Saved the Comics Industry,' Dies at 73 (nytimes.com)

5 points by bookofjoe 1h ago 1 comments

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

79 points by sebg 3d ago 12 comments

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

310 points by chmaynard 3d ago 131 comments

Guy built a TikTok replacement for students

1 iboshidev 0 7/7/2025, 10:39:43 PM skilltok.vercel.app ↗

Comments (0)

No comments yet