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

249 points by surgomat 4h ago 95 comments

Homomorphically Encrypting CRDTs (jakelazaroff.com)

111 points by jakelazaroff 3h ago 27 comments

"poline" is an enigmatic color palette generator using polar coordinates (meodai.github.io)

71 points by zdw 3d ago 14 comments

Terpstra Keyboard (terpstrakeyboard.com)

149 points by xeonmc 6h ago 49 comments

Is There a Half-Life for the Success Rates of AI Agents? (tobyord.com)

112 points by EvgeniyZh 5h ago 62 comments

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

41 points by pr337h4m 20h ago 3 comments

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

254 points by danboarder 9h ago 59 comments

Introduction to the A* Algorithm (redblobgames.com)

128 points by auraham 1d ago 52 comments

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

11 points by mooreds 12m ago 0 comments

Scrappy - make little apps for you and your friends (pontus.granstrom.me)

344 points by 8organicbits 11h ago 113 comments

I counted all of the yurts in Mongolia using machine learning (monroeclinton.com)

155 points by furkansahin 8h ago 62 comments

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

1199 points by LorenDB 1d ago 380 comments

This AI Agent Should Have Been a SQL Query (morling.dev)

5 points by rmoff 58m ago 0 comments

ChatGPT is my static site generator (notes.npilk.com)

15 points by npilk 33m ago 11 comments

Jiga (YC W21) Is Hiring Software Engs to Make Life of Mech Engs Easier (workatastartup.com)

1 points by grmmph 4h ago 0 comments

The Grug Brained Developer (2022) (grugbrain.dev)

927 points by smartmic 20h ago 432 comments

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

25 points by danielmorozoff 3h ago 1 comments

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

17 points by nirw4nna 1h ago 1 comments

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

5 points by skeptrune 2h ago 0 comments

Framework Laptop 12: I'm excited to see what the 2nd generation looks like (arstechnica.com)

30 points by moelf 1h ago 25 comments

Munich from a Hamburger's Perspective (mertbulan.com)

53 points by toomuchtodo 2d ago 24 comments

Show HN: Lstr – A modern, interactive tree command written in Rust (github.com)

185 points by w108bmg 14h ago 54 comments

Think of a Number (xenaproject.wordpress.com)

11 points by IdealeZahlen 3d ago 2 comments

Building Effective AI Agents (anthropic.com)

474 points by Anon84 22h ago 81 comments

A different take on S-expressions (gist.github.com)

4 points by tearflake 3d ago 0 comments

What Google Translate can tell us about vibecoding (ingrids.space)

249 points by todsacerdoti 21h ago 145 comments

A Straightforward Explanation of the Good Regulator Theorem (lesswrong.com)

37 points by surprisetalk 4d ago 4 comments

3D-printed device splits white noise into an acoustic rainbow without power (phys.org)

208 points by rbanffy 3d ago 54 comments

The Bethesda Declaration (science.org)

45 points by perihelions 4h ago 6 comments

Now might be the best time to learn software development (substack.com)

298 points by nathanfig 1d ago 292 comments

OpenSERDES – Open Hardware Serializer/Deserializer (SerDes) in Verilog (2020) (github.com)

66 points by peter_d_sherman 12h ago 8 comments

Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite (blog.google)

352 points by meetpateltech 1d ago 202 comments

Preparation of a neutral nitrogen allotrope hexanitrogen C2h-N6 (nature.com)

29 points by bilsbie 2d ago 18 comments

Resurrecting a dead torrent tracker and finding 3M peers (kianbradley.com)

601 points by k-ian 22h ago 190 comments

Proofs Without Words (artofproblemsolving.com)

91 points by squircle 4d ago 23 comments

Grokking NAT and packet mangling in Linux (vivekn.dev)

34 points by viveknathani_ 10h ago 17 comments

Why JPEGs still rule the web (2024) (spectrum.ieee.org)

203 points by purpleko 1d ago 365 comments

LLMs pose an interesting problem for DSL designers (kirancodes.me)

202 points by gopiandcode 21h ago 129 comments

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

9 points by jaimefjorge 3h ago 4 comments

Time Series Forecasting with Graph Transformers (kumo.ai)

112 points by turntable_pride 22h ago 34 comments

Bzip2 crate switches from C to 100% Rust (trifectatech.org)

314 points by Bogdanp 20h ago 163 comments

Timescale Is Now TigerData (tigerdata.com)

158 points by pbowyer 1d ago 115 comments

Van Gogh, AMD's Steam Deck APU (2023) (chipsandcheese.com)

9 points by thomasjb 7h ago 2 comments

Dinesh’s Mid-Summer Death Valley Walk (1998) (dineshdesai.info)

81 points by wonger_ 16h ago 34 comments

I Wrote a Compiler (blog.singleton.io)

92 points by ingve 3d ago 56 comments

From SDR to 'Fake HDR': Mario Kart World on Switch 2 (alexandermejia.com)

106 points by ibobev 21h ago 90 comments

Show HN: I made an online Unicode Cuneiform digital clock (oisinmoran.com)

102 points by OisinMoran 3d ago 30 comments

AMD's Pre-Zen Interconnect: Testing Trinity's Northbridge (chipsandcheese.com)

114 points by zdw 4d ago 19 comments

Should we design for iffy internet? (bytes.zone)

189 points by surprisetalk 1d ago 175 comments

JPEG XL and Google's War Against It (2024) (vale.rocks)

14 points by nayuki 1h ago 6 comments

Type Inference Zoo

1 mpweiher 0 6/18/2025, 8:02:32 AM zoo.cuichen.cc ↗

Comments (0)

No comments yet