Square Theory (aaronson.org)

246 points by aaaronson 3h ago 45 comments

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

142 points by edwardjxli 4h ago 58 comments

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

49 points by eborgnia 3h ago 24 comments

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

257 points by layer8 7h ago 80 comments

In defense of shallow technical knowledge (seangoedecke.com)

43 points by swah 2d ago 19 comments

LumoSQL (lumosql.org)

185 points by smartmic 8h ago 71 comments

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

199 points by robin_reala 8h ago 90 comments

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

19 points by nathan-barry 1h ago 5 comments

CSS Minecraft (benjaminaster.com)

1053 points by mudkipdev 1d ago 117 comments

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

1 points by timshell 1h ago 0 comments

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

64 points by amitu 4h ago 24 comments

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

70 points by xeonmc 6h ago 34 comments

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

56 points by bturtel 5h ago 7 comments

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

152 points by kermatt 5h ago 54 comments

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

13 points by pmig 4d ago 2 comments

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

387 points by andy99 1d ago 257 comments

The Hobby Computer Culture (technicshistory.com)

50 points by cfmcdonald 3d ago 24 comments

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

110 points by intrepidsoldier 5h ago 82 comments

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

3 points by JNRowe 2d ago 0 comments

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

77 points by ChuckMcM 2d ago 49 comments

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

8 points by coolwulf 4h ago 7 comments

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

68 points by cebert 7h ago 22 comments

Right-Truncatable Prime Counter (github.com)

6 points by rainmans 3d ago 1 comments

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

90 points by areoform 9h ago 35 comments

Show HN: Lazy Tetris (lazytetris.com)

246 points by admtal 15h ago 105 comments

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

379 points by notarobot123 1d ago 538 comments

The Myth of Developer Obsolescence (alonso.network)

250 points by cat-whisperer 8h ago 278 comments

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

21 points by tudorg 2d ago 11 comments

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

265 points by Anon84 22h ago 73 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

Mistral Agents API (mistral.ai)

113 points by pember 5h ago 18 comments

Clojure MCP (github.com)

177 points by todsacerdoti 2d ago 43 comments

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

4 points by limbicsystem 28m ago 0 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

Using Logic in Writing (owl.purdue.edu)

51 points by benjacksondev 10h ago 17 comments

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

219 points by Rohitcss 1d ago 93 comments

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

9 points by randycupertino 1h ago 7 comments

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

164 points by bonki 22h ago 52 comments

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

176 points by giuliomagnifico 18h ago 259 comments

Interactive Cancer Risk Matrix (wcrf.org)

16 points by instagraham 8h ago 0 comments

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

5 points by EwanToo 35m ago 0 comments

Rock, paper, scissors showdown (luduxia.com)

81 points by fidotron 4d ago 35 comments

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

120 points by gpi 18h ago 21 comments

Mastering Vim Grammar (irian.to)

10 points by bo0tzz 8h ago 0 comments

AI turns Amazon coders into Amazon warehouse workers (pluralistic.net)

5 points by NotInOurNames 51m ago 0 comments

Ask HN: What projects do you donate to?

251 points by xeonmc 4d ago 263 comments

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

10 points by andre15silva 8h ago 0 comments

Owls in Towels (owlsintowels.org)

658 points by schaum 23h ago 82 comments

How Do You Explain Low Code

1 mooreds 0 5/25/2025, 4:44:45 PM teamrappid.com ↗

Comments (0)

No comments yet