Square Theory (aaronson.org)

125 points by aaaronson 2h ago 25 comments

Launch HN: Relace (YC W23) – Models for fast and reliable codegen

33 points by eborgnia 1h ago 14 comments

Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers (blog.edward-li.com)

74 points by edwardjxli 2h ago 31 comments

How a hawk learned to use traffic signals to hunt more successfully (frontiersin.org)

212 points by layer8 5h ago 60 comments

Why Cline Doesn't Index Your Codebase (and Why That's a Good Thing) (cline.bot)

86 points by intrepidsoldier 3h ago 51 comments

LumoSQL (lumosql.org)

173 points by smartmic 7h ago 66 comments

BGP handling bug causes widespread internet routing instability (blog.benjojo.co.uk)

166 points by robin_reala 6h ago 78 comments

Show HN: Malai – securely share local TCP services (database/SSH) with others (malai.sh)

46 points by amitu 3h ago 15 comments

The Art of Fugue – Contrapunctus I (2021) (ethanhein.com)

59 points by xeonmc 4h ago 25 comments

Outcome-Based Reinforcement Learning to Predict the Future (arxiv.org)

44 points by bturtel 4h ago 4 comments

DuckLake is an integrated data lake and catalog format (ducklake.select)

125 points by kermatt 3h ago 42 comments

CSS Minecraft (benjaminaster.com)

1023 points by mudkipdev 23h ago 108 comments

In defense of shallow technical knowledge (seangoedecke.com)

6 points by swah 2d ago 0 comments

GitHub MCP exploited: Accessing private repositories via MCP (invariantlabs.ai)

360 points by andy99 1d ago 246 comments

The Hobby Computer Culture (technicshistory.com)

33 points by cfmcdonald 3d ago 12 comments

I Salvaged $6k of Luxury Items Discarded by Duke Students (indyweek.com)

43 points by drvladb 1h ago 29 comments

Revisiting the Algorithm That Changed Horse Race Betting (2023) (actamachina.com)

78 points by areoform 7h ago 30 comments

The Myth of Developer Obsolescence (alonso.network)

213 points by cat-whisperer 7h ago 246 comments

Just make it scale: An Aurora DSQL story (allthingsdistributed.com)

54 points by cebert 6h ago 17 comments

Worlds first petahertz transistor at ambient conditions (news.arizona.edu)

66 points by ChuckMcM 2d ago 44 comments

From OpenAPI spec to MCP: How we built Xata's MCP server (xata.io)

9 points by tudorg 2d ago 3 comments

Show HN: Lazy Tetris (lazytetris.com)

225 points by admtal 13h ago 97 comments

Mistral Agents API (mistral.ai)

86 points by pember 3h ago 12 comments

Trying to teach in the age of the AI homework machine (solarshades.club)

361 points by notarobot123 22h ago 515 comments

Clojure MCP (github.com)

175 points by todsacerdoti 2d ago 38 comments

Diligent (YC S23) Is Hiring a Founding AI Engineer (ycombinator.com)

1 points by edomaschio 10h ago 0 comments

Lossless video compression using Bloom filters (github.com)

314 points by rh3939 23h ago 106 comments

Highlights from the Claude 4 system prompt (simonwillison.net)

244 points by Anon84 20h ago 67 comments

LiveStore: State management based on reactive SQLite and built-in sync engine (livestore.dev)

94 points by akoenig 7h ago 25 comments

Power Failure: The downfall of General Electric (gwintrob.com)

211 points by gwintrob 19h ago 129 comments

Show HN: PgDog – Shard Postgres without extensions (github.com)

271 points by levkk 1d ago 69 comments

Using Logic in Writing (owl.purdue.edu)

46 points by benjacksondev 8h ago 18 comments

TSMC bets on unorthodox optical tech (spectrum.ieee.org)

217 points by Rohitcss 1d ago 86 comments

The UI future is colourful and dimensional (flarup.email)

167 points by giuliomagnifico 16h ago 250 comments

Get PC BIOS back on UEFI only system (github.com)

161 points by bonki 20h ago 50 comments

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces (arxiv.org)

9 points by andre15silva 6h ago 0 comments

Rock, paper, scissors showdown (luduxia.com)

80 points by fidotron 4d ago 33 comments

Interactive Cancer Risk Matrix (wcrf.org)

11 points by instagraham 7h ago 0 comments

Calendars, Contacts and Files in Stalwart (stalw.art)

116 points by gpi 16h ago 20 comments

Ask HN: What projects do you donate to?

250 points by xeonmc 4d ago 258 comments

Owls in Towels (owlsintowels.org)

648 points by schaum 21h ago 80 comments

Launch HN: Nomi (YC X25) – Copilot for Sales

83 points by ethansafar 1d ago 69 comments

Hacker News now runs on top of Common Lisp (lisp-journey.gitlab.io)

595 points by Tomte 1d ago 387 comments

The Difference Between Downloading and Streaming (danq.me)

140 points by kruemmelspalter 21h ago 81 comments

WavePhoenix – Open-source implementation of the Nintendo WaveBird protocol (github.com)

126 points by zdw 1d ago 13 comments

SVG favicons in action (css-tricks.com)

92 points by stefankuehnel 2d ago 10 comments

FromSoft's singular mech game Chromehounds is back online (readonlymemo.com)

149 points by pabs3 16h ago 25 comments

Creating Debian packages from upstream Git (optimizedbyotto.com)

103 points by JNRowe 1d ago 22 comments

Mathpad: A mathematical keypad for students and professionals (github.com)

109 points by todsacerdoti 2d ago 37 comments

A new class of materials that can passively harvest water from air (blog.seas.upenn.edu)

384 points by Tycho 1d ago 178 comments

Vibe Coding for Domain Experts

1 stereo 1 5/25/2025, 7:19:00 PM thescoop.org ↗

Comments (1)

stereo · 1d ago

(Or, how the author managed to release a better version of a Python package he maintains in a few hours)

Plus an example of vibe coding in teaching