The Art of Multiprocessor Programming 2nd Edition Book Club (eatonphil.com)

139 points by eatonphil 4h ago 20 comments

Why Exercise Is a Miracle Drug (derekthompson.org)

120 points by zdw 1h ago 101 comments

We may not like what we become if A.I. solves loneliness (newyorker.com)

218 points by defo10 6h ago 399 comments

WebGPU enables local LLM in the browser. Demo site with AI chat (andreinwald.github.io)

76 points by andreinwald 3h ago 24 comments

Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)

156 points by alexharri 6h ago 59 comments

The /o in Ruby regex stands for "oh the humanity " (jpcamara.com)

50 points by todsacerdoti 3h ago 16 comments

Telo MT1 (telotrucks.com)

26 points by turtleyacht 1h ago 21 comments

Great Question (YC W21) Is Hiring a VP of Engineering (Remote) (ycombinator.com)

1 points by nedwin 48m ago 0 comments

Hiding secret codes in light protects against fake videos (news.cornell.edu)

25 points by CharlesW 2h ago 17 comments

6 Weeks of Claude Code (blog.puzzmo.com)

146 points by mpweiher 5h ago 64 comments

The unreasonable likelihood of being: origin of life, terraforming, and AI (arxiv.org)

5 points by bookofjoe 54m ago 1 comments

Financial Lessons from My Family's Experience with Long-Term Care Insurance (whitecoatinvestor.com)

41 points by wallflower 3h ago 37 comments

The Rubik's Cube Perfect Scramble (solutionslookingforproblems.com)

46 points by notagoodidea 3h ago 13 comments

Unikernel Guide: Build and Deploy Lightweight, Secure Apps (tallysolutions.com)

30 points by Bogdanp 3h ago 5 comments

Online Collection of Keygen Music (keygenmusic.tk)

32 points by mifydev 3d ago 2 comments

Browser extension and local backend that automatically archives YouTube videos (github.com)

8 points by fcpguru 1h ago 1 comments

Caches: LRU vs. Random (danluu.com)

70 points by gslin 2d ago 13 comments

Microsoft is open sourcing Windows 11's UI framework (neowin.net)

126 points by bundie 9h ago 139 comments

VSCode extension for syntax highlighting multi-line YAML strings (github.com)

14 points by moondev 3h ago 1 comments

Cerebras Code (cerebras.ai)

419 points by d3vr 19h ago 164 comments

'Communities' of extreme life seen for first time in deep ocean (bbc.com)

8 points by moontoast 2d ago 1 comments

How to reverse engineer an analog chip: the TDA7000 FM radio receiver (righto.com)

5 points by nynyny7 1h ago 2 comments

Ana Marie Cox on the Shaky Foundation of Substack as a Business (newsletter.anamariecox.com)

21 points by Bogdanp 2h ago 37 comments

Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec (database-doctor.com)

7 points by lsuresh 3h ago 0 comments

Character Bitmap Graphics on the Pet 2001 (masswerk.at)

13 points by masswerk 4h ago 4 comments

Go's race detector has a mutex blind spot (doublefree.dev)

22 points by susam 2d ago 2 comments

ThinkPad designer David Hill spills secrets, designs that never made it (theregister.com)

91 points by LorenDB 5h ago 28 comments

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU (dougmacdowell.com)

261 points by dougdude3339 19h ago 81 comments

At 17, Hannah Cairo solved a major math mystery (quantamagazine.org)

429 points by baruchel 1d ago 166 comments

Why leather is best motorcycle protection [video] (youtube.com)

160 points by lifeisstillgood 2d ago 136 comments

JavaScript retro sound effects generator (github.grumdrig.com)

139 points by selvan 4d ago 22 comments

Weather Model based on ADS-B (obrhubr.org)

240 points by surprisetalk 3d ago 41 comments

I couldn't submit a PR, so I got hired and fixed it myself (skeptrune.com)

308 points by skeptrune 1d ago 195 comments

This Month in Ladybird (ladybird.org)

368 points by net01 11h ago 124 comments

Hardening mode for the compiler (discourse.llvm.org)

145 points by vitaut 15h ago 51 comments

Ask HN: Who is hiring? (August 2025)

214 points by whoishiring 1d ago 240 comments

Yearly Organiser (neatnik.net)

103 points by anewhnaccount2 4d ago 25 comments

Ethersync: Peer-to-peer collaborative editing of local text files (github.com)

174 points by blinry 4d ago 32 comments

Cadence Guilty, Pays $140M for Exporting Semi Design Tools to PRC Military Uni (justice.gov)

39 points by 737min 4h ago 26 comments

Does the Bitter Lesson Have Limits? (dbreunig.com)

168 points by dbreunig 21h ago 80 comments

Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf] (urbanphysics.net)

48 points by PaulHoule 3d ago 16 comments

Launch HN: Societies.io (YC W25) – AI simulations of your target audience

106 points by p-sharpe 1d ago 56 comments

Show HN: Draw a fish and watch it swim with the others (drawafish.com)

890 points by hallak 4d ago 225 comments

Native Sparse Attention (aclanthology.org)

131 points by CalmStorm 22h ago 30 comments

Robert Wilson has died (theartnewspaper.com)

69 points by paulpauper 14h ago 15 comments

Researchers map where solar energy delivers the biggest climate payoff (rutgers.edu)

108 points by rbanffy 21h ago 65 comments

Ferroelectric Helps Break Transistor Limits (spectrum.ieee.org)

20 points by pseudolus 4d ago 1 comments

Anthropic revokes OpenAI's access to Claude (wired.com)

269 points by minimaxir 19h ago 107 comments

A.I. Researchers Are Negotiating $250 Million Pay Packages (nytimes.com)

76 points by jrwan 6h ago 95 comments

Palo Alto Networks agrees to buy CyberArk for $25B (techcrunch.com)

58 points by vmatsiiako 2d ago 43 comments

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

1 justdoitookk 2 8/2/2025, 7:37:00 AM github.com ↗

Comments (2)

justdoitookk · 10h ago

This is my first time using GitHub. If you notice any issues or have suggestions, feel free to let me know. Thanks!

justdoitookk · 8h ago

I'm sorry — my GitHub repository is currently experiencing some issues.