fp.

Condui – A single desktop app for SSH, SFTP, tunnels, Docker over SSH

https://github.com/mgueregath/condui

1•mgueregath•1m ago•0 comments

Messaging platform I can self-host for my agents to communicate

1•giribisthebest•2m ago•0 comments

A missing underscore sent innocent man to prison for 18 months

https://arstechnica.com/tech-policy/2026/07/police-missed-one-underscore-and-sent-the-wrong-man-t...

1•quantified•3m ago•0 comments

The War That Shall Not Be Named

https://www.theatlantic.com/newsletters/2026/07/iran-war-trump-hiding-american-soldiers-death/688...

2•Jtsummers•5m ago•0 comments

Terrence Tao – Mathematics in the age of AI [video]

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

2•soupspaces•9m ago•1 comments

Our position on open-weights models

https://www.anthropic.com/news/position-open-weights-models

7•surprisetalk•10m ago•0 comments

First Teaser for Apple TV's 'Neuromancer' Debuts at SDCC

https://arstechnica.com/culture/2026/07/first-teaser-for-apple-tvs-neuromancer-debuts-at-sdcc/

1•bookofjoe•11m ago•0 comments

Tump's Avoidable Crisis: Looking Back at the Collapse of the Iran Nuclear Deal

https://bluepressjournal.substack.com/p/the-tumps-avoidable-crisis-looking

2•WinstonWendell•11m ago•0 comments

How I Made Self-Hosted Servers Recoverable from Hangs

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

2•thecombjelly•13m ago•0 comments

Scriptc: Vercel's TypeScript-to-C Compiler

https://scriptc.dev/

1•kozika•14m 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•17m ago•0 comments

No Snake Oil: Verifying Python Package Builds

https://arxiv.org/abs/2607.21888

2•yruzin•18m 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•19m 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...

6•devonnull•19m 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•22m ago•0 comments

Moka v1

https://million.dev/moka

2•acmnrs•22m ago•0 comments

Pure Mathematical Conal Architecture (PMCA)

https://zenodo.org/records/21630656

1•hiddenarchitect•22m ago•0 comments

The Polynomial-Time Low-Degree Conjecture Is False

https://arxiv.org/abs/2607.20318

2•MarcoDewey•23m 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•27m ago•1 comments

The TLA+ Video Course

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

4•woggy•29m ago•0 comments

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

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

1•yukaka•30m ago•0 comments

BSX Markets

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

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

Double jeopardy law ushered out (2005)

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

1•Cider9986•34m ago•0 comments

TeXShop History

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

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

Show HN: A record the vendor doesnt hold

https://github.com/githubscum/lotor

1•hnscum•36m ago•1 comments

Lilian Weng (co-founder) leaving Thinking Machines

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

7•dpc10•36m ago•1 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...

3•kalishayish•37m ago•0 comments

Opus 5: Richard III

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

1•ibobev•38m ago•0 comments

FreeBSD Developing New Ntsync Driver for Accelerating Windows NT Sync Primitives

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

1•Bender•38m ago•0 comments

I Recommend Old Russian Mathematics Books

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

1•ibobev•38m ago•1 comments

Condui – A single desktop app for SSH, SFTP, tunnels, Docker over SSH

Messaging platform I can self-host for my agents to communicate

A missing underscore sent innocent man to prison for 18 months

The War That Shall Not Be Named

Terrence Tao – Mathematics in the age of AI [video]

Our position on open-weights models

First Teaser for Apple TV's 'Neuromancer' Debuts at SDCC

Tump's Avoidable Crisis: Looking Back at the Collapse of the Iran Nuclear Deal

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

Emacs Writing Machine

Condui – A single desktop app for SSH, SFTP, tunnels, Docker over SSH

Messaging platform I can self-host for my agents to communicate

A missing underscore sent innocent man to prison for 18 months

The War That Shall Not Be Named

Terrence Tao – Mathematics in the age of AI [video]

Our position on open-weights models

First Teaser for Apple TV's 'Neuromancer' Debuts at SDCC

Tump's Avoidable Crisis: Looking Back at the Collapse of the Iran Nuclear Deal

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