fp.

How I Made Self-Hosted Servers Recoverable from Hangs

https://blog.nassella.org/how-i-made-servers-invincible-to-hangs/

2•thecombjelly•2m ago•0 comments

Scriptc: Vercel's TypeScript-to-C Compiler

https://scriptc.dev/

1•kozika•3m ago•0 comments

Our toolchain assumes one human writer, AI agents break that illusion

https://christophermeiklejohn.com/ai/zabriskie/agents/reliability/testing/ci/distributed/2026/07/...

2•maille•5m ago•0 comments

No Snake Oil: Verifying Python Package Builds

https://arxiv.org/abs/2607.21888

2•yruzin•6m ago•0 comments

I built the most advanced pool training system (Ball tracking and Projection) [video]

https://www.youtube.com/watch?v=LgAklZe_70s

2•dreamache•7m ago•1 comments

South Korea unveils $950B in semiconductor partnerships

https://www.upi.com/Top_News/World-News/2026/07/26/ai-summit-semiconductor-partnerships/162178509...

5•devonnull•7m ago•0 comments

The GTM Co-Founder – open-source GTM skills for solo dev-tool/AI founders

https://github.com/AIDevGTM/gtm-cofounder

1•devtoolgtm•10m ago•0 comments

Moka v1

https://million.dev/moka

2•acmnrs•10m ago•0 comments

Pure Mathematical Conal Architecture (PMCA)

https://zenodo.org/records/21630656

1•hiddenarchitect•11m ago•0 comments

The Polynomial-Time Low-Degree Conjecture Is False

https://arxiv.org/abs/2607.20318

2•MarcoDewey•12m ago•0 comments

Beyond "Clean Code": Why Your Comments Matter

https://blog.moertel.com/posts/2026-07-27-beyond-clean-code-why-your-comments-matter.html

2•chmaynard•16m ago•1 comments

The TLA+ Video Course

https://lamport.azurewebsites.net/video/videos.htmlhttps://lamport.azurewebsites.net/video/videos...

4•woggy•17m ago•0 comments

Show HN: Fancontrol-rs rust windows fan controls specdrivendesigned open source

https://github.com/Leyukaka/fancontrol-rs

1•yukaka•18m ago•0 comments

BSX Markets

https://markets.basicswapdex.com/plain/

3•dRK-U•21m ago•0 comments

Double jeopardy law ushered out (2005)

http://news.bbc.co.uk/2/hi/uk_news/4406129.stm

1•Cider9986•22m ago•0 comments

TeXShop History

https://pages.uoregon.edu/koch/texshop/history.html

3•sharma-arjun•24m ago•0 comments

Show HN: A record the vendor doesnt hold

https://github.com/githubscum/lotor

1•hnscum•24m ago•1 comments

Lilian Weng (co-founder) leaving Thinking Machines

https://twitter.com/lilianweng/status/2081816923088814421

4•dpc10•24m ago•0 comments

What Building My Own Container Runtime Taught Me About Software Architecture

https://kaleab-ayenew.github.io/writings/what-building-my-own-container-runtime-taught-me-about-s...

2•kalishayish•25m ago•0 comments

Opus 5: Richard III

https://analog-antiquarian.net/2026/07/24/opus-5-richard-iii/

1•ibobev•26m ago•0 comments

FreeBSD Developing New Ntsync Driver for Accelerating Windows NT Sync Primitives

https://www.phoronix.com/news/FreeBSD-Q2-2026

1•Bender•26m ago•0 comments

I Recommend Old Russian Mathematics Books

https://valeman.medium.com/why-i-recommend-old-russian-mathematics-books-b9d36405dcf1

1•ibobev•27m ago•0 comments

Vapnik and Chervonenkis: The Founding Fathers of Machine Learning

https://valeman.medium.com/vapnik-and-chervonenkis-the-founding-fathers-of-machine-learning-96f17...

1•ibobev•29m ago•0 comments

I've Spent a Month with Nvidia's RTX Spark in Microsoft's Surface Laptop Ultra

https://www.techpowerup.com/forums/threads/i%E2%80%99ve-spent-a-month-with-nvidia%E2%80%99s-rtx-s...

3•_____k•29m ago•0 comments

HBM Is the Ugly Baby: What Now? – By Vikram Sekar

https://www.viksnewsletter.com/p/hbm-is-the-ugly-baby-what-now

2•rbanffy•30m ago•0 comments

I got tired of writing the same FastAPI boilerplate, so I built a CLI

https://github.com/prathamdmehta/backend-dash

1•prathamdmehta•33m ago•0 comments

Now it's Nvidia's turn in the CDs funhouse

https://bsky.app/profile/carlquintanilla.bsky.social/post/3mrnpjnje4c2y

1•doener•34m ago•0 comments

Anthropic used robots.txt to hide shared Claude chats; the pages have no noindex

https://www.wired.com/story/private-claude-chats-exposed-in-google-and-bing-search-results/

How I Made Self-Hosted Servers Recoverable from Hangs

Scriptc: Vercel's TypeScript-to-C Compiler

Our toolchain assumes one human writer, AI agents break that illusion

No Snake Oil: Verifying Python Package Builds

I built the most advanced pool training system (Ball tracking and Projection) [video]

South Korea unveils $950B in semiconductor partnerships

The GTM Co-Founder – open-source GTM skills for solo dev-tool/AI founders

Moka v1

Pure Mathematical Conal Architecture (PMCA)

The Polynomial-Time Low-Degree Conjecture Is False

Beyond "Clean Code": Why Your Comments Matter

The TLA+ Video Course

Show HN: Fancontrol-rs rust windows fan controls specdrivendesigned open source

BSX Markets

Double jeopardy law ushered out (2005)

TeXShop History

Show HN: A record the vendor doesnt hold

Lilian Weng (co-founder) leaving Thinking Machines

What Building My Own Container Runtime Taught Me About Software Architecture

Opus 5: Richard III

FreeBSD Developing New Ntsync Driver for Accelerating Windows NT Sync Primitives

I Recommend Old Russian Mathematics Books

Vapnik and Chervonenkis: The Founding Fathers of Machine Learning

I've Spent a Month with Nvidia's RTX Spark in Microsoft's Surface Laptop Ultra

HBM Is the Ugly Baby: What Now? – By Vikram Sekar

I got tired of writing the same FastAPI boilerplate, so I built a CLI

Now it's Nvidia's turn in the CDs funhouse

Anthropic used robots.txt to hide shared Claude chats; the pages have no noindex

Show HN: X Enhancement Suite (Chrome Extension)

MappingTools

How I Made Self-Hosted Servers Recoverable from Hangs

Scriptc: Vercel's TypeScript-to-C Compiler

Our toolchain assumes one human writer, AI agents break that illusion

No Snake Oil: Verifying Python Package Builds

I built the most advanced pool training system (Ball tracking and Projection) [video]

South Korea unveils $950B in semiconductor partnerships

The GTM Co-Founder – open-source GTM skills for solo dev-tool/AI founders

Moka v1

Pure Mathematical Conal Architecture (PMCA)

The Polynomial-Time Low-Degree Conjecture Is False

Beyond "Clean Code": Why Your Comments Matter

The TLA+ Video Course

Show HN: Fancontrol-rs rust windows fan controls specdrivendesigned open source

BSX Markets

Double jeopardy law ushered out (2005)

TeXShop History

Show HN: A record the vendor doesnt hold

Lilian Weng (co-founder) leaving Thinking Machines

What Building My Own Container Runtime Taught Me About Software Architecture

Opus 5: Richard III

FreeBSD Developing New Ntsync Driver for Accelerating Windows NT Sync Primitives

I Recommend Old Russian Mathematics Books

Vapnik and Chervonenkis: The Founding Fathers of Machine Learning

I've Spent a Month with Nvidia's RTX Spark in Microsoft's Surface Laptop Ultra

HBM Is the Ugly Baby: What Now? – By Vikram Sekar

I got tired of writing the same FastAPI boilerplate, so I built a CLI

Now it's Nvidia's turn in the CDs funhouse

Anthropic used robots.txt to hide shared Claude chats; the pages have no noindex

Show HN: X Enhancement Suite (Chrome Extension)

MappingTools

What a European Federation Would Fix [video]