Square Theory (aaronson.org)

180 points by aaaronson 3h ago 38 comments

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

110 points by edwardjxli 3h ago 47 comments

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

42 points by eborgnia 2h ago 19 comments

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

231 points by layer8 6h ago 69 comments

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

100 points by intrepidsoldier 4h ago 64 comments

LumoSQL (lumosql.org)

177 points by smartmic 7h ago 70 comments

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

184 points by robin_reala 7h ago 83 comments

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

1 points by timshell 51m ago 0 comments

In defense of shallow technical knowledge (seangoedecke.com)

21 points by swah 2d ago 4 comments

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

56 points by amitu 3h ago 23 comments

CSS Minecraft (benjaminaster.com)

1037 points by mudkipdev 1d ago 115 comments

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

62 points by xeonmc 5h ago 33 comments

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

48 points by bturtel 5h ago 7 comments

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

139 points by kermatt 4h ago 43 comments

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

10 points by pmig 4d ago 0 comments

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

373 points by andy99 1d ago 251 comments

The Hobby Computer Culture (technicshistory.com)

42 points by cfmcdonald 3d ago 20 comments

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

62 points by cebert 7h ago 19 comments

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

72 points by ChuckMcM 2d ago 46 comments

Right-Truncatable Prime Counter (github.com)

3 points by rainmans 3d ago 0 comments

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

81 points by areoform 8h ago 32 comments

Signal to Windows Recall: Drop Dead (computerworld.com)

14 points by CrankyBear 52m ago 2 comments

Show HN: Lazy Tetris (lazytetris.com)

240 points by admtal 14h ago 101 comments

US pauses new student visa interviews as it mulls expanding social media vetting (politico.com)

57 points by spenvo 31m ago 46 comments

The Myth of Developer Obsolescence (alonso.network)

228 points by cat-whisperer 7h ago 264 comments

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

17 points by tudorg 2d ago 6 comments

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

373 points by notarobot123 23h ago 523 comments

Mistral Agents API (mistral.ai)

103 points by pember 4h ago 16 comments

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

108 points by akoenig 8h ago 26 comments

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

257 points by Anon84 21h ago 70 comments

Clojure MCP (github.com)

176 points by todsacerdoti 2d ago 41 comments

Lossless video compression using Bloom filters (github.com)

317 points by rh3939 1d ago 106 comments

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

214 points by gwintrob 20h ago 134 comments

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

273 points by levkk 1d ago 70 comments

Using Logic in Writing (owl.purdue.edu)

49 points by benjacksondev 9h ago 17 comments

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

219 points by Rohitcss 1d ago 91 comments

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

171 points by giuliomagnifico 17h ago 258 comments

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

162 points by bonki 21h ago 51 comments

Interactive Cancer Risk Matrix (wcrf.org)

14 points by instagraham 7h ago 0 comments

Rock, paper, scissors showdown (luduxia.com)

80 points by fidotron 4d ago 34 comments

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

9 points by andre15silva 7h ago 0 comments

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

118 points by gpi 17h ago 20 comments

Show HN: Meteosource – Hyper-local weather API based on improved ML models (meteosource.com)

4 points by Sikara 3h ago 1 comments

Ask HN: What projects do you donate to?

251 points by xeonmc 4d ago 261 comments

Owls in Towels (owlsintowels.org)

653 points by schaum 22h ago 82 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)

598 points by Tomte 1d ago 391 comments

The Difference Between Downloading and Streaming (danq.me)

141 points by kruemmelspalter 22h ago 82 comments

Empire of office workers strikes back against RTO mandates (theregister.com)

3 points by rntn 1h ago 3 comments

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

126 points by zdw 1d ago 13 comments

A phone-free prom night

2 MarcoDewey 0 5/25/2025, 11:00:29 PM sfstandard.com ↗

Comments (0)

No comments yet