Square Theory (aaronson.org)

287 points by aaaronson 4h ago 57 comments

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

162 points by edwardjxli 5h ago 67 comments

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

34 points by nathan-barry 2h ago 8 comments

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

270 points by layer8 8h ago 84 comments

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

51 points by eborgnia 4h ago 25 comments

In defense of shallow technical knowledge (seangoedecke.com)

64 points by swah 2d ago 39 comments

Chuuchuu - Train travel, made smart (chuuchuu.com)

3 points by recvonline 10m ago 0 comments

LumoSQL (lumosql.org)

189 points by smartmic 9h ago 74 comments

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

205 points by robin_reala 8h ago 96 comments

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

68 points by amitu 5h ago 27 comments

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

1 points by timshell 2h ago 0 comments

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

21 points by pmig 4d ago 4 comments

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

76 points by xeonmc 6h ago 36 comments

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

62 points by bturtel 6h ago 7 comments

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

86 points by drvladb 4h ago 87 comments

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

163 points by kermatt 6h ago 62 comments

The Hobby Computer Culture (technicshistory.com)

60 points by cfmcdonald 3d ago 31 comments

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

395 points by andy99 1d ago 259 comments

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

11 points by coolwulf 4h ago 11 comments

Show HN: Maestro – A Framework to Orchestrate and Ground Competing AI Models

4 points by defqon1 1h ago 0 comments

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

83 points by ChuckMcM 3d ago 53 comments

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

77 points by cebert 8h ago 26 comments

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

116 points by intrepidsoldier 6h ago 90 comments

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

49 points by zeristor 3d ago 50 comments

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

25 points by tudorg 2d ago 11 comments

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

91 points by areoform 10h ago 37 comments

The Myth of Developer Obsolescence (alonso.network)

266 points by cat-whisperer 9h ago 294 comments

Show HN: Lazy Tetris (lazytetris.com)

252 points by admtal 16h ago 108 comments

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

383 points by notarobot123 1d ago 545 comments

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

4 points by JNRowe 2d ago 0 comments

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

274 points by Anon84 22h ago 76 comments

CSS Minecraft (benjaminaster.com)

1064 points by mudkipdev 1d ago 122 comments

Lossless video compression using Bloom filters (github.com)

323 points by rh3939 1d ago 109 comments

Right-Truncatable Prime Counter (github.com)

7 points by rainmans 3d ago 4 comments

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

117 points by akoenig 10h ago 28 comments

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

275 points by levkk 1d ago 74 comments

Clojure MCP (github.com)

178 points by todsacerdoti 2d ago 43 comments

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

220 points by gwintrob 22h ago 138 comments

Mistral Agents API (mistral.ai)

117 points by pember 6h ago 18 comments

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

7 points by limbicsystem 1h ago 0 comments

Using Logic in Writing (owl.purdue.edu)

53 points by benjacksondev 11h ago 18 comments

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

220 points by Rohitcss 1d ago 93 comments

Mastering Vim Grammar (irian.to)

14 points by bo0tzz 9h ago 0 comments

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

166 points by bonki 22h ago 53 comments

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

176 points by giuliomagnifico 18h ago 260 comments

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

12 points by randycupertino 1h ago 9 comments

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

11 points by type0 1h ago 0 comments

Interactive Cancer Risk Matrix (wcrf.org)

19 points by instagraham 9h ago 1 comments

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

9 points by EwanToo 1h ago 1 comments

Rock, paper, scissors showdown (luduxia.com)

82 points by fidotron 4d ago 36 comments

Discord might use AI to help you catch up on conversations

4 ColinWright 0 5/25/2025, 10:47:50 PM theverge.com ↗

Comments (0)

No comments yet