Claude Code IDE integration for Emacs (github.com)

481 points by kgwgk 9h ago 160 comments

Project Hyperion: Interstellar ship design competition (projecthyperion.org)

58 points by codeulike 1h ago 55 comments

Litestar is worth a look (b-list.org)

102 points by todsacerdoti 2h ago 27 comments

301party.com: Intentionally open redirect (301party.com)

23 points by nahikoa 1h ago 3 comments

A fast, growable array with stable pointers in C (danielchasehooper.com)

88 points by ibobev 3h ago 37 comments

Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work (collabora.com)

173 points by losgehts 6h ago 24 comments

The Bluesky Dictionary (avibagla.com)

35 points by gaws 1h ago 13 comments

The History of F1 Design (espn.com)

40 points by anonyonoor 2h ago 30 comments

Jules, our asynchronous coding agent (blog.google)

179 points by meetpateltech 6h ago 131 comments

We'd be better off with 9-bit bytes (pavpanchekha.com)

30 points by luu 2h ago 47 comments

Multics (multicians.org)

71 points by unleaded 5h ago 18 comments

Show HN: Kitten TTS – 25MB CPU-Only, Open-Source TTS Model (github.com)

726 points by divamgupta 17h ago 306 comments

Comptime.ts: compile-time expressions for TypeScript (comptime.js.org)

64 points by excalo 3d ago 4 comments

Analyzing Control Flow More Like a Human [video] (wonks.github.io)

7 points by matt_d 53m ago 0 comments

Breaking the sorting barrier for directed single-source shortest paths (quantamagazine.org)

115 points by baruchel 7h ago 35 comments

Zig Error Patterns (glfmn.io)

105 points by Bogdanp 7h ago 24 comments

The new shape of Mixxx 3.0 – Open Source DJing (mixxx.org)

29 points by SamWhited 49m ago 7 comments

Converting Existing Users to systemd-homed (systemd.io)

12 points by modinfo 3d ago 3 comments

The arcane alphabets of Black Sabbath (fontsinuse.com)

28 points by speckx 3h ago 3 comments

Vibe coding the MIT course catalog (stackdiver.com)

47 points by low_tech_punk 3h ago 11 comments

303Gen – 303 acid loops generator (303-gen-06a668.netlify.app)

145 points by ankitg12 9h ago 50 comments

Automerge 3.0 (automerge.org)

191 points by surprisetalk 3d ago 16 comments

Why is it worth spending time on type theory? (2013) (math.stackexchange.com)

61 points by mindcrime 2d ago 20 comments

Rethinking DOM from first principles (acko.net)

144 points by puzzlingcaptcha 15h ago 126 comments

The Real Origin of Cisco Systems (1999) (tcracs.org)

64 points by thunderbong 2d ago 19 comments

Gleam v1.12 (github.com)

110 points by Alupis 4h ago 53 comments

We shouldn't have needed lockfiles (tonsky.me)

93 points by tobr 6h ago 226 comments

Wild pigs' flesh turning neon blue in California (phys.org)

92 points by bikenaga 4h ago 56 comments

The 1090 Megahertz Riddle: A Guide to Decoding Mode S and ADS-B Signals (books.open.tudelft.nl)

64 points by toomuchtodo 3d ago 21 comments

Show HN: Sinkzone DNS – Forwarder that blocks everything except your allowlist (github.com)

61 points by dominis 6h ago 35 comments

I gave the AI arms and legs then it rejected me (grell.dev)

690 points by serhack_ 14h ago 343 comments

Show HN: Write lead sheets in a Markdown way and transpose in a second (cord.land)

15 points by ivanhsu 3d ago 1 comments

About the BLOBs in Ventoy (github.com)

110 points by turrini 11h ago 40 comments

Consistency over Availability: How rqlite Handles the CAP theorem (philipotoole.com)

5 points by otoolep 5h ago 0 comments

Eval-maxing an AI FFmpeg command generator (getkiln.ai)

3 points by scosman 1h ago 0 comments

Qwen3-4B-Thinking-2507 (huggingface.co)

160 points by IdealeZahlen 6h ago 53 comments

Open models by OpenAI (openai.com)

2046 points by lackoftactics 1d ago 816 comments

Python performance myths and fairy tales (lwn.net)

202 points by todsacerdoti 13h ago 176 comments

Show HN: An open-source e-book reader for conversational reading with an LLM (github.com)

64 points by takigon 9h ago 46 comments

Ask HN: What do you dislike about ChatGPT and what needs improving?

12 points by zyruh 3h ago 43 comments

Realizing we needed two sorts of alerts for our temperature monitoring (utcc.utoronto.ca)

14 points by bobbiechen 2d ago 4 comments

Google suffers data breach in ongoing Salesforce data theft attacks (bleepingcomputer.com)

177 points by mikece 8h ago 82 comments

Show HN: When is the next Caltrain? (minimal webapp) (erikschluntz.com)

31 points by eschluntz 6h ago 25 comments

The internet wants to check your ID (newyorker.com)

99 points by jbegley 5h ago 136 comments

40 Years of the Amiga, from Commodore (goto10retro.com)

9 points by ingve 1h ago 2 comments

Kyber (YC W23) is hiring enterprise account executives (ycombinator.com)

1 points by asontha 1d ago 0 comments

Dotfiles feel too personal to share (hamatti.org)

155 points by speckx 7h ago 130 comments

How and Why to Ditch GitHub (taggart-tech.com)

26 points by rasso 2h ago 10 comments

Arkansas City Moves Surveillance Camera from in Front of Innocent Family's Home (ij.org)

6 points by pilingual 18m ago 2 comments

NautilusTrader: Open-source algorithmic trading platform (nautilustrader.io)

172 points by Lwrless 10h ago 114 comments

Body of man missing for 28 years found in melting glacier

6 tartoran 0 8/6/2025, 5:01:58 PM bbc.com ↗

Comments (0)

No comments yet