Andrej Karpathy: Software in the era of AI [video] (youtube.com)

272 points by sandslash 5h ago 67 comments

The Zed Debugger Is Here (zed.dev)

99 points by SupremumLimit 3h ago 7 comments

TI to invest $60B to manufacture foundational semiconductors in the U.S. (ti.com)

104 points by TMWNN 4h ago 35 comments

Show HN: Unregistry – “docker push” directly to servers without a registry (github.com)

287 points by psviderski 6h ago 68 comments

Elliptic Curves as Art (elliptic-curves.art)

28 points by nill0 1h ago 3 comments

MCP Specification – version 2025-06-18 changes (modelcontextprotocol.io)

91 points by owebmaster 5h ago 37 comments

Websites are tracking you via browser fingerprinting (engineering.tamu.edu)

193 points by gnabgib 9h ago 109 comments

Polyhedra Viewer (polyhedra.tessera.li)

12 points by HellsMaddy 2d ago 1 comments

Show HN: Workout.cool – Open-source fitness coaching platform (github.com)

605 points by surgomat 17h ago 178 comments

My iPhone 8 Refuses to Die: Now It's a Solar-Powered Vision OCR Server (terminalbytes.com)

268 points by hemant6488 14h ago 87 comments

The Missing 11th of the Month (drhagen.com)

95 points by xk3 8h ago 13 comments

Bento: A Steam Deck in a Keyboard (github.com)

114 points by MichaelThatsIt 8h ago 35 comments

Fang, the CLI Starter Kit (github.com)

91 points by bewuethr 7h ago 25 comments

Dr. Demento Announces Retirement After 55-Year Radio Career (sopghreporter.com)

57 points by coloneltcb 2h ago 28 comments

The unreasonable effectiveness of fuzzing for porting programs (rjp.io)

194 points by Bogdanp 13h ago 39 comments

The Matrix (1999) Filming Locations – Shot-for-Shot – Sydney, Australia [video] (youtube.com)

88 points by keepamovin 2d ago 61 comments

Homomorphically Encrypting CRDTs (jakelazaroff.com)

212 points by jakelazaroff 16h ago 62 comments

Poline – An enigmatic color palette generator using polar coordinates (meodai.github.io)

230 points by zdw 4d ago 46 comments

Writing documentation for AI: best practices (docs.kapa.ai)

162 points by mooreds 13h ago 42 comments

Citizen science illuminates the nature of city lights (nature.com)

14 points by ptrsrtp 2d ago 0 comments

Visual History of the Latin Alphabet (uclab.fh-potsdam.de)

16 points by speckx 1d ago 4 comments

Show HN: VS Code extension to share code snippets instantly (snippetshare.dev)

3 points by petermukha 2d ago 0 comments

New US visa rules will force foreign students to unlock social media profiles (theguardian.com)

228 points by sva_ 6h ago 265 comments

A deep-dive explainer on Ink and Switch's BeeKEM protocol (meri.garden)

24 points by erlend_sh 7h ago 0 comments

SpaceX Starship 36 Anomaly (twitter.com)

45 points by Ankaios 1h ago 17 comments

Game Hacking – Valve Anti-Cheat (VAC) (codeneverdies.github.io)

114 points by LorenDB 12h ago 96 comments

Yes I Will Read Ulysses Yes (theatlantic.com)

78 points by petethomas 12h ago 100 comments

Revisiting Minsky's Society of Mind in 2025 (suthakamal.substack.com)

90 points by suthakamal 14h ago 23 comments

USDA Pomological Watercolors (search.nal.usda.gov)

46 points by m_fayer 2d ago 9 comments

Show HN: I built a tensor library from scratch in C++/CUDA (github.com)

101 points by nirw4nna 14h ago 19 comments

Attimet (YC F24) – Quant Trading Research Lab – Is Hiring Founding Engineer (ycombinator.com)

1 points by kbanothu 12h ago 0 comments

I feel open source has turned into two worlds (utcc.utoronto.ca)

26 points by sdht0 2h ago 1 comments

It's true, “we” don't care about accessibility on Linux (tesk.page)

84 points by todsacerdoti 5h ago 38 comments

Framework Laptop 12 review (arstechnica.com)

226 points by moelf 14h ago 309 comments

Real-time action chunking with large models (pi.website)

79 points by pr337h4m 1d ago 9 comments

Toxic Proteins for Drug Discovery (asimov.press)

5 points by surprisetalk 1d ago 0 comments

Honda conducts successful launch and landing of experimental reusable rocket (global.honda)

1261 points by LorenDB 1d ago 399 comments

DropZap World – My falling block game with lasers, released after years of work (apps.apple.com)

28 points by amichail 2d ago 11 comments

Introduction to the A* Algorithm (2014) (redblobgames.com)

263 points by auraham 1d ago 98 comments

Reasoning by Superposition: A Perspective on Chain of Continuous Thought (arxiv.org)

56 points by danielmorozoff 17h ago 1 comments

Calling Go from Elixir with a CNode in Crystal (relistan.com)

16 points by mmcclure 8h ago 0 comments

An injectable HIV-prevention drug is highly effective – but expensive (nbcnews.com)

13 points by nradov 2h ago 0 comments

Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs (github.com)

31 points by skeptrune 16h ago 7 comments

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model (github.com)

326 points by danboarder 23h ago 71 comments

Show HN: Free local security checks for AI coding in VSCode, Cursor and Windsurf

36 points by jaimefjorge 17h ago 22 comments

PWM flicker: Invisible light that's harming our health? (caseorganic.medium.com)

67 points by SLHamlet 12h ago 98 comments

Building agents using streaming SQL queries (morling.dev)

92 points by rmoff 14h ago 9 comments

After millions of years, why are carnivorous plants still so small? (smithsonianmag.com)

192 points by gmays 5d ago 88 comments

Terpstra Keyboard (terpstrakeyboard.com)

219 points by xeonmc 19h ago 73 comments

Is there a half-life for the success rates of AI agents? (tobyord.com)

220 points by EvgeniyZh 19h ago 123 comments

Show HN: Tiny Hoare logic verifier using SMT

6 namin 1 6/18/2025, 12:49:47 AM github.com ↗

Comments (1)

fovc · 1d ago

Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.