Square Theory (aaronson.org)

80 points by aaaronson 1h ago 13 comments

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

17 points by eborgnia 53m ago 8 comments

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

197 points by layer8 5h ago 53 comments

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

40 points by edwardjxli 1h ago 8 comments

LumoSQL (lumosql.org)

167 points by smartmic 6h ago 66 comments

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

70 points by intrepidsoldier 3h ago 43 comments

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

40 points by amitu 2h ago 11 comments

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

57 points by xeonmc 3h ago 23 comments

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

38 points by bturtel 3h ago 2 comments

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

114 points by kermatt 3h ago 33 comments

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

149 points by robin_reala 5h ago 72 comments

CSS Minecraft (benjaminaster.com)

1003 points by mudkipdev 22h ago 104 comments

The Hobby Computer Culture (technicshistory.com)

26 points by cfmcdonald 3d ago 9 comments

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

348 points by andy99 1d ago 244 comments

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

73 points by areoform 6h ago 28 comments

The Myth of Developer Obsolescence (alonso.network)

203 points by cat-whisperer 6h ago 230 comments

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

5 points by tudorg 2d ago 1 comments

Show HN: Lazy Tetris (lazytetris.com)

218 points by admtal 12h ago 91 comments

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

50 points by cebert 5h ago 14 comments

Mistral Agents API (mistral.ai)

73 points by pember 2h ago 11 comments

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

63 points by ChuckMcM 2d ago 43 comments

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

351 points by notarobot123 21h ago 495 comments

Clojure MCP (github.com)

170 points by todsacerdoti 2d ago 35 comments

Lossless video compression using Bloom filters (github.com)

310 points by rh3939 22h ago 105 comments

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

1 points by edomaschio 9h ago 0 comments

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

230 points by Anon84 19h ago 64 comments

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

207 points by gwintrob 18h ago 114 comments

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

85 points by akoenig 7h ago 20 comments

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

270 points by levkk 23h ago 67 comments

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

12 points by drvladb 53m ago 2 comments

Using Logic in Writing (owl.purdue.edu)

44 points by benjacksondev 8h ago 14 comments

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

215 points by Rohitcss 23h ago 84 comments

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

167 points by giuliomagnifico 15h ago 245 comments

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

157 points by bonki 19h ago 49 comments

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

8 points by andre15silva 5h ago 0 comments

Rock, paper, scissors showdown (luduxia.com)

79 points by fidotron 4d ago 31 comments

Ask HN: What projects do you donate to?

249 points by xeonmc 4d ago 254 comments

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

114 points by gpi 15h ago 20 comments

Owls in Towels (owlsintowels.org)

643 points by schaum 20h ago 79 comments

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

83 points by ethansafar 1d ago 69 comments

The Difference Between Downloading and Streaming (danq.me)

140 points by kruemmelspalter 20h ago 80 comments

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

589 points by Tomte 1d ago 377 comments

SVG favicons in action (css-tricks.com)

92 points by stefankuehnel 2d ago 10 comments

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

125 points by zdw 1d ago 13 comments

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

149 points by pabs3 15h ago 25 comments

Interactive Cancer Risk Matrix (wcrf.org)

6 points by instagraham 6h ago 0 comments

Creating Debian packages from upstream Git (optimizedbyotto.com)

102 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)

383 points by Tycho 1d ago 176 comments

Some signs of AI model collapse begin to reveal themselves (theregister.com)

37 points by penda 6h ago 15 comments

Setting Effective Targets for Developer Productivity Metrics in the Gen AI Age

1 rbanffy 0 5/25/2025, 4:14:24 PM newsletter.eng-leadership.com ↗

Comments (0)

No comments yet