If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)

470 points by weltview 6h ago 220 comments

Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)

35 points by gregorywegory 38m ago 5 comments

Show HN: Kan.bn – An open-source alterative to Trello (github.com)

132 points by henryball 5h ago 87 comments

How to post when no one is reading (jeetmehta.com)

315 points by j4mehta 11h ago 153 comments

The Visual World of 'Samurai Jack' (animationobsessive.substack.com)

425 points by ani_obsessive 17h ago 70 comments

Show HN: Fast Random Library for C++17 (github.com)

26 points by GeorgeHaldane 3h ago 7 comments

How do I learn robotics in 2025?

62 points by srijansriv 2h ago 15 comments

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)

65 points by t55 5h ago 20 comments

Bohemians at the Gate? (inferencemagazine.substack.com)

7 points by surprisetalk 2d ago 2 comments

EasyTier – P2P mesh VPN written in Rust using Tokio (easytier.cn)

76 points by wucke13 4d ago 18 comments

Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)

3 points by todsacerdoti 1h ago 0 comments

Cuss: Map of profane words to a rating of sureness (github.com)

26 points by tosh 2d ago 18 comments

The Princeton INTERCAL Compiler's source code (esoteric.codes)

102 points by surprisetalk 13h ago 25 comments

Is “The Phoenician Scheme” Wes Anderson's Most Emotional Film? (newyorker.com)

65 points by prismatic 10h ago 82 comments

I made a chair (milofultz.com)

231 points by surprisetalk 2d ago 87 comments

A man who sailed round the world with a chicken (2019) (theguardian.com)

64 points by NaOH 3d ago 39 comments

Beyond the Black Box: Interpretability of LLMs in Finance (arxiv.org)

55 points by ashater 3h ago 10 comments

Whatever happened to cheap eReaders? (shkspr.mobi)

93 points by blenderob 3h ago 150 comments

The rise of judgement over technical skill (notsocommonthoughts.com)

148 points by kohlhofer 18h ago 98 comments

A Hidden Weakness (serge-sans-paille.github.io)

3 points by serge-ss-paille 23m ago 0 comments

LibriVox (librivox.org)

209 points by bookofjoe 18h ago 52 comments

LFSR CPU Running Forth (github.com)

55 points by izabera 11h ago 8 comments

Hip: C++ Heterogeneous-Compute Interface for Portability (github.com)

27 points by doener 2d ago 6 comments

In POSIX, you can theoretically use inode zero (utcc.utoronto.ca)

54 points by mfrw 2d ago 25 comments

Show HN: MBCompass – Android Compass App (github.com)

51 points by nativeforks 11h ago 16 comments

The Atomic Airplane (whatisnuclear.com)

26 points by mpweiher 3d ago 6 comments

HeidiSQL Available Also for Linux (heidisql.com)

129 points by Daril 4d ago 35 comments

After 25 Years, Linux Format Magazine Is No More (omgubuntu.co.uk)

44 points by AdmiralAsshat 1h ago 17 comments

What works (and doesn't) selling formal methods (galois.com)

109 points by azhenley 3d ago 48 comments

Writing your own C++ standard library part 2 (nibblestew.blogspot.com)

62 points by signa11 2d ago 43 comments

ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)

4 points by elcritch 4h ago 0 comments

TradeExpert, a trading framework that employs a mix of experts (arxiv.org)

77 points by wertyk 4h ago 62 comments

Show HN: Moon Phase Algorithms for C, Lua, Awk, JavaScript, etc. (github.com)

54 points by oliverkwebb 15h ago 13 comments

TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)

47 points by npalli 13h ago 12 comments

Root shell on a credit card terminal (stefan-gloor.ch)

771 points by stgl 1d ago 231 comments

A new generation of Tailscale access controls (tailscale.com)

214 points by ingve 3d ago 55 comments

When Fine-Tuning Makes Sense: A Developer's Guide (getkiln.ai)

144 points by scosman 3d ago 59 comments

Nitrogen Triiodide (2016) (fourmilab.ch)

90 points by keepamovin 4d ago 49 comments

Google DMARC Policy Changes?

20 points by flajr 2h ago 6 comments

Show HN: I built an AI Agent that uses the iPhone (github.com)

31 points by rounak 12h ago 13 comments

Google AI Edge – On-device cross-platform AI deployment (ai.google.dev)

215 points by nreece 1d ago 38 comments

Estimating Logarithms (obrhubr.org)

90 points by surprisetalk 2d ago 23 comments

OpenAI featured chatbot is pushing extreme surgeries to "subhuman" men (citationneeded.news)

13 points by Tomte 1h ago 3 comments

Hypervisors for Memory Introspection and Reverse Engineering (secret.club)

5 points by todsacerdoti 6h ago 0 comments

Show HN: Agno – A full-stack framework for building Multi-Agent Systems (github.com)

59 points by bediashpreet 13h ago 10 comments

How Generative Engine Optimization (GEO) rewrites the rules of search (a16z.com)

58 points by eutropheon 3d ago 40 comments

"I vibe coded and shipped an app in three days. It got hacked. Twice." (threadreaderapp.com)

29 points by jasoncartwright 5h ago 22 comments

The Zach Attack Scratch 'N Solve Puzzle Pack (coincidence.games)

33 points by GauntletWizard 3d ago 4 comments

Designing Error Types in Rust Libraries (d34dl0ck.me)

4 points by skeptrune 6h ago 0 comments

Tabletop particle blaster: Tiny nozzles, lasers could replace giant accelerators (phys.org)

3 points by pseudolus 1h ago 0 comments

What Works (and Doesn't) Selling Formal Methods

3 tosh 0 5/31/2025, 10:08:41 AM galois.com ↗

Comments (0)

No comments yet