Cognitive Load is what matters (github.com)

242 points by nromiun 3h ago 80 comments

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

41 points by rbanffy 1h ago 10 comments

Agent Client Protocol (agentclientprotocol.com)

102 points by vinhnx 3h ago 29 comments

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

64 points by azhenley 2h ago 30 comments

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

874 points by dondraper36 21h ago 337 comments

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

4 points by hhs 45m ago 0 comments

From Multi-Head to Latent Attention: The Evolution of Attention Mechanisms (vinithavn.medium.com)

112 points by mgninad 10h ago 29 comments

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

136 points by rguiscard 3h ago 48 comments

F-Stack – A network development kit with high performance based on DPDK (f-stack.org)

45 points by anon6362 3h ago 7 comments

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

100 points by IdreesInc 3d ago 13 comments

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

65 points by Bender 3h ago 28 comments

My Failures Onboarding at Splunk (people-work.io)

31 points by mooreds 3d ago 28 comments

John Carmack's arguments against building a custom XR OS at Meta (twitter.com)

447 points by OlympicMarmoto 23h ago 525 comments

Grok Code Fast 1 (x.ai)

466 points by Terretta 1d ago 439 comments

Lisp from Nothing, Second Edition (t3x.org)

305 points by nils-m-holm 3d ago 91 comments

How to design a DBMS for Telco requirements (mikaelronstrom.blogspot.com)

7 points by mikaelronstrom 3d ago 0 comments

The Grammar According to West (dwest.web.illinois.edu)

39 points by surprisetalk 3d ago 4 comments

Adafruit Fruit Jam – An RP2350 mini computer running classic Macintosh (cnx-software.com)

15 points by rbanffy 1h ago 1 comments

Emulating aarch64 in software using JIT compilation and Rust (pitsidianak.is)

43 points by todsacerdoti 4d ago 12 comments

Why did dlclose not unload the library? (2023) (kishoreganesh.com)

17 points by mattrighetti 3d ago 18 comments

Essential Coding Theory [pdf] (cse.buffalo.edu)

333 points by ibobev 1d ago 57 comments

The Theoretical Limitations of Embedding-Based Retrieval (arxiv.org)

122 points by fzliu 19h ago 34 comments

Trying to get error backtraces in Rust libraries right (iroh.computer)

66 points by emschwartz 3d ago 30 comments

Hermes 4 (hermes4.nousresearch.com)

174 points by sibellavia 3d ago 99 comments

Deploying DeepSeek on 96 H100 GPUs (lmsys.org)

258 points by GabrielBianconi 1d ago 73 comments

Taylor Otwell: What 14 Years of Laravel Taught Me About Maintainability (maintainable.fm)

76 points by robbyrussell 4d ago 39 comments

Wikipedia as a Graph (wikigrapher.com)

225 points by gidellav 23h ago 54 comments

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

68 points by cl42 2d ago 69 comments

Why Romania excels in international Olympiads (palladiummag.com)

196 points by collate 16h ago 184 comments

How do I get into the game industry (garry.net)

186 points by Michelangelo11 3d ago 134 comments

The web does not need gatekeepers: Cloudflare’s new “signed agents” pitch (positiveblue.substack.com)

425 points by positiveblue 23h ago 425 comments

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

198 points by tkgally 12h ago 179 comments

Income Equality in Nordic Countries: Myths, Facts, and Lessons (aeaweb.org)

110 points by jandrewrogers 22h ago 197 comments

Show HN: OpenAnimation – KMP app for exploring and editing Lottie animations (github.com)

12 points by orispok 2h ago 3 comments

Thunder Compute (YC S24) Is Hiring (ycombinator.com)

1 points by cpeterson42 23h ago 0 comments

I Love Reading 1980s Computer Magazines, and So Should You (wired.com)

7 points by naves 1h ago 1 comments

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

88 points by jonbaer 12h ago 74 comments

God created the real numbers (ethanheilman.com)

117 points by Bogdanp 1d ago 181 comments

Show HN: Sosumi.ai – Convert Apple Developer docs to AI-readable Markdown (sosumi.ai)

120 points by _mattt 1d ago 64 comments

Flunking my Anthropic interview again (taylor.town)

336 points by surprisetalk 1d ago 314 comments

A blog does not need “analytics” (thisdaysportion.com)

93 points by FromTheArchives 4h ago 86 comments

How did .agakhan, .ismaili and .imamat get their own TLDs? (data.iana.org)

98 points by aerodog 20h ago 157 comments

Make any site multiplayer in a few lines. Serverless WebRTC matchmaking (oxism.com)

219 points by haxiomic 5d ago 65 comments

Lucky 13: a look at Debian trixie (lwn.net)

221 points by signa11 1d ago 94 comments

Nginx-CGI brings support for CGI to Nginx and angie (github.com)

45 points by jesprenj 16h ago 34 comments

Computing simplified coverage polygons (volkerkrause.eu)

5 points by m_rothe 5h ago 0 comments

Amiga Hardware Reference Manual 3rd Edition (1991) (archive.org)

26 points by doener 5h ago 8 comments

SQLite's documentation about its durability properties is unclear (agwa.name)

141 points by ciconia 22h ago 55 comments

A look at XSLT 3.0 (2017) (xml.com)

69 points by protomolecool 4d ago 37 comments

Some users have noticed settings that let Meta analyze and retain phone photos (zdnet.com)

507 points by mdhb 1d ago 231 comments

What is the current and accepted definition of formally proved software?

1 cauterize 0 8/30/2025, 3:43:27 AM

Comments (0)

No comments yet