Show HN: My LLM CLI tool can run tools now, from Python code or plugins (simonwillison.net)

63 points by simonw 1h ago 24 comments

Square Theory (aaronson.org)

374 points by aaaronson 6h ago 72 comments

Mustard Watches (1990) (girard.perso.math.cnrs.fr)

7 points by fscaramuzza 30m ago 2 comments

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

213 points by edwardjxli 7h ago 93 comments

In Vietnam, an unlikely outpost for Chicano culture (latimes.com)

30 points by donnachangstein 2h ago 20 comments

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

68 points by nathan-barry 4h ago 18 comments

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

303 points by layer8 10h ago 95 comments

Space Selfie (space.crunchlabs.com)

36 points by rossdavidh 2d ago 6 comments

There Is No Diffie-Hellman but Elliptic Curve Diffie-Hellman (keymaterial.net)

9 points by todsacerdoti 3d ago 0 comments

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

64 points by eborgnia 6h ago 29 comments

Why the Original Macintosh Had a Screen Resolution of 512×324 (512pixels.net)

75 points by ingve 2h ago 34 comments

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

233 points by robin_reala 11h ago 105 comments

LumoSQL (lumosql.org)

199 points by smartmic 11h ago 77 comments

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

150 points by drvladb 6h ago 190 comments

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

1 points by timshell 4h ago 0 comments

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

84 points by amitu 7h ago 34 comments

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

194 points by kermatt 8h ago 73 comments

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

93 points by xeonmc 8h ago 42 comments

Show HN: Lazy Tetris (lazytetris.com)

276 points by admtal 18h ago 115 comments

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

72 points by bturtel 8h ago 11 comments

Semicolons bring the drama; that's why I love them (ft.com)

9 points by bishopsmother 3d ago 4 comments

Revisiting the algorithm that changed horse race betting (2023) (actamachina.com)

99 points by areoform 12h ago 45 comments

Ask HN: Decided I no longer want to be a SWE – what next?

10 points by leeroihe 27m ago 3 comments

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

419 points by andy99 1d ago 265 comments

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

88 points by ChuckMcM 3d ago 61 comments

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

32 points by pmig 4d ago 12 comments

The Hobby Computer Culture (technicshistory.com)

77 points by cfmcdonald 3d ago 43 comments

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

413 points by notarobot123 1d ago 567 comments

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

58 points by zeristor 3d ago 62 comments

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

93 points by cebert 10h ago 27 comments

The Myth of Developer Obsolescence (alonso.network)

292 points by cat-whisperer 11h ago 319 comments

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

35 points by tudorg 2d ago 13 comments

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

14 points by defqon1 3h ago 3 comments

Lossless video compression using Bloom filters (github.com)

327 points by rh3939 1d ago 112 comments

CSS Minecraft (benjaminaster.com)

1079 points by mudkipdev 1d ago 124 comments

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

133 points by intrepidsoldier 8h ago 98 comments

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

275 points by levkk 1d ago 74 comments

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

121 points by akoenig 12h ago 34 comments

Clojure MCP (github.com)

183 points by todsacerdoti 2d ago 44 comments

In defense of shallow technical knowledge (seangoedecke.com)

79 points by swah 2d ago 56 comments

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

222 points by gwintrob 1d ago 141 comments

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

223 points by Rohitcss 1d ago 94 comments

Mistral Agents API (mistral.ai)

131 points by pember 8h ago 20 comments

Using Logic in Writing (owl.purdue.edu)

56 points by benjacksondev 13h ago 18 comments

Mastering Vim Grammar (irian.to)

23 points by bo0tzz 11h ago 0 comments

Interactive Cancer Risk Matrix (wcrf.org)

28 points by instagraham 11h ago 1 comments

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

169 points by bonki 1d ago 54 comments

Right-Truncatable Prime Counter (github.com)

8 points by rainmans 3d ago 5 comments

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

178 points by giuliomagnifico 20h ago 265 comments

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

6 points by JNRowe 2d ago 0 comments

What Works (and Doesn't) Selling Formal Methods

3 azhenley 0 5/25/2025, 6:41:21 PM galois.com ↗

Comments (0)

No comments yet