Cognitive load is what matters (github.com)

1031 points by nromiun 18h ago 401 comments

Sheafification – The optimal path to mathematical mastery (sheafification.com)

25 points by atomicnature 2h ago 14 comments

Rick Beato Is Right to Rant About Music Copyright Strikes (savingcountrymusic.com)

8 points by breve 1h ago 0 comments

Red: A programming language inspired by REBOL (github.com)

29 points by Levitating 3h ago 7 comments

My phone is an ereader now (davepagurek.com)

24 points by wonger_ 4h ago 0 comments

Intermittent fasting correlated with increased risk of cardiovascular disease (bbc.com)

29 points by 6LLvveMx2koXfwn 1h ago 20 comments

Are people's bosses making them use AI tools? (piccalil.li)

72 points by soraminazuki 4h ago 42 comments

Why did books start being divided into chapters? A new history (sydneyreviewofbooks.com)

88 points by cacher 10h ago 23 comments

You Have to Feel It (mitchellh.com)

233 points by tosh 16h ago 83 comments

Running our Docker registry on-prem with Harbor (dev.37signals.com)

54 points by airblade 3d ago 16 comments

Are we decentralized yet? (arewedecentralizedyet.online)

389 points by Bogdanp 11h ago 190 comments

New research reveals longevity gains slowing, life expectancy of 100 unlikely (lafollette.wisc.edu)

89 points by XzetaU8 14h ago 145 comments

Agent Client Protocol (ACP) (agentclientprotocol.com)

239 points by vinhnx 18h ago 76 comments

The Default Trap: Why Anthropic's Data Policy Change Matters (natesnewsletter.substack.com)

75 points by laurex 13h ago 16 comments

Six months into tariffs, businesses have no idea how to price anything (wsj.com)

286 points by JumpCrisscross 10h ago 354 comments

AI models need a virtual machine (blog.sigplan.org)

197 points by azhenley 17h ago 101 comments

Terminal sessions you can bookmark (poor.dev)

12 points by imsnif 3d ago 1 comments

Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)

23 points by philzook 3d ago 1 comments

Is it possible to allow sideloading and keep users safe? (shkspr.mobi)

69 points by ColinWright 19h ago 166 comments

Bcachefs Goes to "Externally Maintained" (lwn.net)

142 points by ksec 18h ago 158 comments

15-Fold increase in solar thermoelectric generator performance (nature.com)

153 points by bookofjoe 4d ago 126 comments

Hardening Firefox – a checklist for improved browser privacy (andrewmarder.net)

179 points by amarder 19h ago 85 comments

LandChad, a site dedicated to turning internet peasants into Internet Landlords (landchad.net)

105 points by cft 15h ago 23 comments

Josef Bacik Leaving Meta and Stepping Back from Kernel Development (phoronix.com)

21 points by Alupis 2h ago 1 comments

Pig lung transplanted into a human (sciencealert.com)

104 points by signa11 3d ago 71 comments

What Are Traces and Spans in OpenTelemetry? (oneuptime.com)

7 points by ndhandala 3d ago 0 comments

Condor's Cuzco RISC-V Core at Hot Chips 2025 (chipsandcheese.com)

134 points by rbanffy 16h ago 40 comments

Anduril's product engineering machine (joincolossus.com)

41 points by bookofjoe 11h ago 62 comments

SQL Design Patterns (vadimtropashko.wordpress.com)

107 points by mci 4d ago 24 comments

Hurricane category 6 could be introduced under new storm severity scale (livescience.com)

77 points by geox 7h ago 53 comments

From multi-head to latent attention: The evolution of attention mechanisms (vinithavn.medium.com)

166 points by mgninad 1d ago 39 comments

Scottish brothers finish mammoth row across Pacific Ocean after 139 days (abc.net.au)

61 points by e2e4 6h ago 21 comments

Can cheaper lasers handle short distances? (semiengineering.com)

38 points by PaulHoule 3d ago 8 comments

Show HN: I made an Animal Crossing style letter editor (acmail.idreesinc.com)

189 points by IdreesInc 3d ago 29 comments

A24's Empire of Auteurs (newyorker.com)

70 points by prismatic 4d ago 36 comments

Spectrum – catching clojure.spec conform errors at compile time (github.com)

25 points by alhazraed 3d ago 0 comments

Do the simplest thing that could possibly work (seangoedecke.com)

1029 points by dondraper36 1d ago 367 comments

Andrew Ng says bottleneck in AI startups isn't coding – it's product management (businessinsider.com)

85 points by cl42 3d ago 112 comments

Affiliates flock to scam gambling machine (krebsonsecurity.com)

98 points by mikhael 8h ago 27 comments

The Rise of Hybrid PHP: Blending PHP with Go and Rust (yekdeveloper.com)

122 points by avan1 12h ago 96 comments

Enrollment at trade schools is expected to grow (finance.yahoo.com)

53 points by m-hodges 8h ago 72 comments

University of Cambridge Cognitive Ability Test (planning.e-psychometrics.com)

88 points by indigodaddy 13h ago 154 comments

God created the real numbers (ethanheilman.com)

25 points by EthanHeilman 2d ago 60 comments

New interpretations suggest the "heat death" hypothesis might not hold (2023) (noemamag.com)

47 points by hhs 15h ago 49 comments

Nokia’s legendary font makes for a great user interface font (osnews.com)

296 points by rguiscard 18h ago 97 comments

SynthID – A tool to watermark and identify content generated through AI (deepmind.google)

103 points by jonbaer 1d ago 80 comments

FBI cyber cop: Salt Typhoon pwned 'nearly every American' (theregister.com)

265 points by Bender 18h ago 158 comments

Bi-directional accountability: A leadership shift most organizations avoid (alnewkirk.com)

53 points by todsacerdoti 3d ago 22 comments

The World Runs 20B Instances of Curl. Where's the Support? (thenewstack.io)

19 points by CrankyBear 3d ago 4 comments

Show HN: Hacker News em dash user leaderboard pre-ChatGPT (gally.net)

328 points by tkgally 1d ago 254 comments

Linearizability testing S2 with deterministic simulation

7 anishathalye 1 8/30/2025, 1:45:21 PM s2.dev ↗

Comments (1)

akshayshah · 4h ago

I’ve been exploring porcupine lately too - the visualizations are especially useful when debugging. It pairs exceptionally well with any DST setup.

Thanks for the great tools, Anish!