Square Theory (aaronson.org)

265 points by aaaronson 4h ago 50 comments

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (blog.edward-li.com)

153 points by edwardjxli 4h ago 64 comments

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

50 points by eborgnia 3h ago 25 comments

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

266 points by layer8 8h ago 83 comments

In defense of shallow technical knowledge (seangoedecke.com)

58 points by swah 2d ago 29 comments

Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming (nathan.rs)

24 points by nathan-barry 1h ago 8 comments

LumoSQL (lumosql.org)

186 points by smartmic 9h ago 73 comments

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

202 points by robin_reala 8h ago 94 comments

CSS Minecraft (benjaminaster.com)

1059 points by mudkipdev 1d ago 119 comments

Roundtable (YC S23) Is Hiring a Member of Technical Staff (ycombinator.com)

1 points by timshell 2h ago 0 comments

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

64 points by amitu 5h ago 25 comments

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

73 points by xeonmc 6h ago 35 comments

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

58 points by bturtel 6h ago 7 comments

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

154 points by kermatt 6h ago 57 comments

I salvaged $6k of luxury items discarded by Duke students (indyweek.com)

71 points by drvladb 3h ago 72 comments

Comparing Docusaurus and Starlight and why we made the switch (glasskube.dev)

15 points by pmig 4d ago 2 comments

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

392 points by andy99 1d ago 258 comments

The Hobby Computer Culture (technicshistory.com)

54 points by cfmcdonald 3d ago 27 comments

Why Cline doesn't index your codebase (cline.bot)

113 points by intrepidsoldier 6h ago 84 comments

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

80 points by ChuckMcM 2d ago 50 comments

A SomewhatMaxSAT Solver (blog.jak-linux.org)

4 points by JNRowe 2d ago 0 comments

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

71 points by cebert 8h ago 24 comments

Cows get GPS collars to stop them falling in river (bbc.co.uk)

48 points by zeristor 3d ago 50 comments

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

90 points by areoform 9h ago 36 comments

Show HN: Lazy Tetris (lazytetris.com)

248 points by admtal 15h ago 107 comments

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

23 points by tudorg 2d ago 11 comments

The Myth of Developer Obsolescence (alonso.network)

255 points by cat-whisperer 9h ago 283 comments

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

381 points by notarobot123 1d ago 544 comments

Show HN: Free mammogram analysis tool combining deep learning and vision LLM (mammo.neuralrad.com)

9 points by coolwulf 4h ago 6 comments

Right-Truncatable Prime Counter (github.com)

6 points by rainmans 3d ago 2 comments

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

270 points by Anon84 22h ago 74 comments

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

115 points by akoenig 9h ago 28 comments

Lossless video compression using Bloom filters (github.com)

323 points by rh3939 1d ago 109 comments

Humanoid Robots in Kickboxing Competition (bbc.co.uk)

5 points by limbicsystem 48m ago 0 comments

Clojure MCP (github.com)

177 points by todsacerdoti 2d ago 44 comments

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

220 points by gwintrob 21h ago 137 comments

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

274 points by levkk 1d ago 74 comments

Mistral Agents API (mistral.ai)

113 points by pember 5h ago 18 comments

Using Logic in Writing (owl.purdue.edu)

53 points by benjacksondev 11h ago 17 comments

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

220 points by Rohitcss 1d ago 93 comments

No one wants or needs downtown San Francisco's new $20M coworking trap (sfgate.com)

10 points by randycupertino 1h ago 7 comments

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

165 points by bonki 22h ago 53 comments

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

176 points by giuliomagnifico 18h ago 259 comments

Mastering Vim Grammar (irian.to)

12 points by bo0tzz 8h ago 0 comments

Interactive Cancer Risk Matrix (wcrf.org)

17 points by instagraham 9h ago 0 comments

Meta refuses to crack down on rampant scams from bogus ads: avoid losing revenue (nypost.com)

8 points by type0 1h ago 0 comments

Rock, paper, scissors showdown (luduxia.com)

82 points by fidotron 4d ago 35 comments

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

121 points by gpi 18h ago 21 comments

Ask HN: What projects do you donate to?

252 points by xeonmc 4d ago 263 comments

Amazon Aurora DSQL is now generally available (aws.amazon.com)

7 points by EwanToo 55m ago 0 comments

The Art of Independent Learning

2 snekcaseenjoyer 0 5/25/2025, 5:07:15 PM afterhoursresearch.substack.com ↗

Comments (0)

No comments yet