fp.

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

https://www.boazbarak.org/Papers/nuclear-zk.pdf

1•nill0•12s ago•0 comments

Why My Open-Source Project Hasn't Done Better

1•yohji1984•1m ago•0 comments

CP/M-68K and Motorola 68000 Emulator

https://kobolt.github.io/article-264.html

1•AlexeyBrin•2m ago•0 comments

Type checker may be wrong – Lean and the Curry-Howard correspondence

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/

1•max-amb•3m ago•0 comments

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

https://cygnus.run

1•ccheshirecat•4m ago•0 comments

Personal context data isn't a moat, tacit knowledge is

https://cse.ac/en/jun/hobby-capital/

1•hyeongjun•5m ago•0 comments

Show HN: I made an algorithmic arena game with physics in 3D

https://algohol.net/

1•Vibr•5m ago•0 comments

Git rebase -I is not that scary

https://cachebag.sh/journal/interactive-rebasing/

1•birdculture•7m ago•0 comments

An industrial designer's take on a portfolio tracker

https://stockfly.app

1•khorsus•8m ago•1 comments

Trajectory: A Standard Format for Agent Experience Data

https://www.letta.com/blog/trajectory/

1•wertyk•10m ago•0 comments

Systems and Delays

https://martin.janiczek.cz/2026/07/24/systems-and-delays.html

1•haeseong•11m ago•0 comments

Show HN: Tawrida – Global Trade Export Documents Generator Tool

https://tawrida.xyz/tools

2•Mohamed_zakarya•12m ago•0 comments

What if the RAM/GPU shortage is deliberate?

https://xn--vk5b17r.online/posts/ram-gpu-consp/

1•theoneone•13m ago•1 comments

Copyfarleft

https://wiki.p2pfoundation.net/Copyfarleft

1•Tepix•14m ago•0 comments

Trump announces 2028 presidential bid

https://www.smh.com.au/world/trump-announces-2028-presidential-bid-20260725-p60iho.html

1•wahnfrieden•17m ago•0 comments

Scientist with 1k Patents Fueling a Drug Powerhouse

https://www.wsj.com/health/pharma/regeneron-george-yancopoulos-drug-discovery-17fea3fa

2•bookofjoe•20m ago•1 comments

FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript

https://frontalign.dev

2•eyruz•28m ago•1 comments

You never have to do work again

https://hiotto.vercel.app/

2•anqer•29m ago•2 comments

How we pushed CDC into Postgres, and turned replication into clockwork

https://www.snowflake.com/en/blog/engineering/postgres-to-snowflake-replication-mirroring/

2•plaur782•36m ago•0 comments

The University After AI

https://www.chronicle.com/article/the-university-after-ai

3•Michelangelo11•37m ago•0 comments

Things I wish Datomic had: Map values

https://blog.danieljanus.pl/datomic-map-values/

2•nathell•40m ago•0 comments

Saga: Source Attribution of Generative AI Videos (identifies the model used)

https://arxiv.org/abs/2511.12834

2•giuliomagnifico•43m ago•0 comments

What's horned, fluffy, and ethically dubious? Yak clones

https://www.cnn.com/2026/07/25/china/tibet-yak-clones-conservation-intl-hnk-dst

3•breve•46m ago•0 comments

The Rise of Anti-Flock Influencers Who Make Things Up for Clout

https://www.404media.co/the-rise-of-anti-flock-influencers-who-make-things-up-for-clout/

3•Cider9986•48m ago•1 comments

Epistemic Engine – verify AI-generated code and forecast what will break

https://github.com/aswinsasi/epistemic_engine

4•aswinsasi123•48m ago•0 comments

cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library

https://github.com/jonoton/cpp-tui

3•gjvc•49m ago•0 comments

Why So Many Sales Happen on WhatsApp

https://lytonkiyayikalete.substack.com/p/why-so-many-sales-happen-on-whatsapp

2•Lyton256•49m ago•0 comments

Landmark victory as plans for first octopus farm withdrawn

https://www.eurogroupforanimals.org/news/landmark-victory-plans-worlds-first-octopus-farm-withdrawn

2•thunderbong•50m ago•0 comments

Russian operatives are targeting emails US nuclear scientists and contractors

https://www.cnn.com/2026/07/23/politics/russian-hacking-nuclear-scientists

2•Bender•53m ago•0 comments

Austerity Breeds Financial Protectionism

https://theloop.ecpr.eu/who-the-welfare-state-protects-shapes-a-countrys-financial-openness/

3•kome•54m ago•0 comments

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

Why My Open-Source Project Hasn't Done Better

CP/M-68K and Motorola 68000 Emulator

Type checker may be wrong – Lean and the Curry-Howard correspondence

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

Personal context data isn't a moat, tacit knowledge is

Show HN: I made an algorithmic arena game with physics in 3D

Git rebase -I is not that scary

An industrial designer's take on a portfolio tracker

Trajectory: A Standard Format for Agent Experience Data

Systems and Delays

Show HN: Tawrida – Global Trade Export Documents Generator Tool

What if the RAM/GPU shortage is deliberate?

Copyfarleft

Trump announces 2028 presidential bid

Scientist with 1k Patents Fueling a Drug Powerhouse

FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript

You never have to do work again

How we pushed CDC into Postgres, and turned replication into clockwork

The University After AI

Things I wish Datomic had: Map values

Saga: Source Attribution of Generative AI Videos (identifies the model used)

What's horned, fluffy, and ethically dubious? Yak clones

The Rise of Anti-Flock Influencers Who Make Things Up for Clout

Epistemic Engine – verify AI-generated code and forecast what will break

cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library

Why So Many Sales Happen on WhatsApp

Landmark victory as plans for first octopus farm withdrawn

Russian operatives are targeting emails US nuclear scientists and contractors

Austerity Breeds Financial Protectionism

Agentreg – DNS for AI agents (self-hosted, single Go binary)

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

Why My Open-Source Project Hasn't Done Better

CP/M-68K and Motorola 68000 Emulator

Type checker may be wrong – Lean and the Curry-Howard correspondence

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

Personal context data isn't a moat, tacit knowledge is

Show HN: I made an algorithmic arena game with physics in 3D

Git rebase -I is not that scary

An industrial designer's take on a portfolio tracker

Trajectory: A Standard Format for Agent Experience Data

Systems and Delays

Show HN: Tawrida – Global Trade Export Documents Generator Tool

What if the RAM/GPU shortage is deliberate?

Copyfarleft

Trump announces 2028 presidential bid

Scientist with 1k Patents Fueling a Drug Powerhouse

FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript

You never have to do work again

How we pushed CDC into Postgres, and turned replication into clockwork

The University After AI

Things I wish Datomic had: Map values

Saga: Source Attribution of Generative AI Videos (identifies the model used)

What's horned, fluffy, and ethically dubious? Yak clones

The Rise of Anti-Flock Influencers Who Make Things Up for Clout

Epistemic Engine – verify AI-generated code and forecast what will break

cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library

Why So Many Sales Happen on WhatsApp

Landmark victory as plans for first octopus farm withdrawn

Russian operatives are targeting emails US nuclear scientists and contractors

Austerity Breeds Financial Protectionism