fp.

The Case Against Formal Verification, 50 Years Later

https://ivan-gavran.github.io/0-social-processes-paper

37•ghuntley•1h ago•22 comments

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

https://rvembedded.com/blog_post/12/

247•Narishma•4h ago•132 comments

Claude: System Prompts

https://platform.claude.com/docs/en/release-notes/system-prompts

449•tosh•9h ago•195 comments

Protobuf has LSP support. You're welcome

https://buf.build/blog/protobuf-lsp

70•theanonymousone•3h ago•41 comments

SIMD in the 90s: Programming Intel's Pentium MMX

https://pikuma.com/blog/programming-intel-pentium-mmx-simd

34•ibobev•3d ago•8 comments

Low-Tech Ceramic Water Filter

https://wiki.lowtechlab.org/wiki/Filtre_%C3%A0_eau_c%C3%A9ramique/en

32•Bluestein•5d ago•11 comments

The AI Credit Resale Economy

https://vectoral.com/blog/who-are-the-token-brokers

191•mlenhard•7h ago•70 comments

Models Are Getting Dumber on Purpose

https://w4g1.dev/blog/models-are-getting-dumber-on-purpose

174•hruvhwe•2h ago•110 comments

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

https://www.bloomberg.com/news/articles/2026-08-16/stripe-nears-deal-to-buy-ai-firm-openrouter-fo...

47•zacharyozer•1h ago•30 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/

36•homarp•3h ago•12 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga

67•emptybits•3d ago•6 comments

Anton Chekhov played at love most of his life

https://commonreader.wustl.edu/winning-and-losing-at-the-great-game-of-intimacy/

50•lermontov•1d ago•7 comments

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

https://www.wptv.com/news/treasure-coast/region-st-lucie-county/saint-lucie-nuclear-power-plant-u...

131•toomuchtodo•6h ago•95 comments

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

https://www.youtube.com/watch?v=-y8bGBE71yw

30•tobr•1d ago•7 comments

Firefox for iOS now has a native adblocker

https://support.mozilla.org/en-US/kb/block-ads-firefox-ios

461•pentagrama•8h ago•194 comments

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

https://www.reuters.com/business/nvidia-scales-back-250-billion-openai-data-center-guarantee-wsj-...

14•root-parent•44m ago•0 comments

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

185•stagas•4h ago•48 comments

Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

https://www.reuters.com/business/anthropic-ipo-valuation-hinges-190-200-billion-2028-revenue-fore...

14•root-parent•51m ago•9 comments

Before Rightmove, there was the Cosmorama

https://www.ianvisits.co.uk/articles/before-rightmove-there-was-the-cosmorama-londons-forgotten-p...

20•brod_ie•5d ago•2 comments

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

https://publicdomainreview.org/collection/maine-forest-fire-maps/

21•samclemens•3d ago•3 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering

https://tasklet.ai/careers/head-of-design-engineering

1•mayop100•8h ago

The weekend is 100 years old

https://www.theguardian.com/money/2026/aug/16/the-weekend-is-100-years-old-skiveday-fridays-and-h...

156•lentil_soup•6h ago•89 comments

In the Shadow of the (Berlin) Wall

https://www.slowtravelberlin.com/in-the-shadow-of-the-berlin-wall/

9•yitchelle•3d ago•1 comments

A True Telnet BBS on a Casio Calculator

https://ei3lh.eu/2026/08/16/a-true-telnet-bbs-on-a-casio-calculator/

74•austinallegro•9h ago•9 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/

595•wiradikusuma•4d ago•417 comments

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...

123•txrx0000•2d ago•35 comments

NIH is ending a key grant for budding clinical researchers

https://www.science.org/content/article/nih-ending-key-grant-budding-clinical-researchers

116•brandonb•5h ago•60 comments

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421

73•matt_d•4d ago•31 comments

Research papers using "kidney disappointment" instead of "kidney failure"

https://scholar.google.com/scholar?q=%22kidney+disappointment%22

342•Alifatisk•9h ago•122 comments

The deep history behind the Road to Nowhere inside the Great Smoky Mountains

https://www.wunc.org/environment/2026-08-10/road-to-nowhere-great-smoky-mountains

17•yareally•3d ago•5 comments

The Case Against Formal Verification, 50 Years Later

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

Claude: System Prompts

Protobuf has LSP support. You're welcome

SIMD in the 90s: Programming Intel's Pentium MMX

Low-Tech Ceramic Water Filter

The AI Credit Resale Economy

Models Are Getting Dumber on Purpose

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

MathCode, Mathematical Coding Agent

Clamiga: Common Lisp for the Amiga

Anton Chekhov played at love most of his life

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

Firefox for iOS now has a native adblocker

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

Before Rightmove, there was the Cosmorama

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

Tasklet (YC P26) Is Hiring a Head of Design Engineering

The weekend is 100 years old

In the Shadow of the (Berlin) Wall

A True Telnet BBS on a Casio Calculator

Asus Bike Booster

Chestnut – eGPU dock with open-source firmware

NIH is ending a key grant for budding clinical researchers

A SAT Attack on Tarski's High School Algebra Problem

Research papers using "kidney disappointment" instead of "kidney failure"

The deep history behind the Road to Nowhere inside the Great Smoky Mountains

In the Shadow of the (Berlin) Wall

Comments

The Case Against Formal Verification, 50 Years Later

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

Claude: System Prompts

Protobuf has LSP support. You're welcome

SIMD in the 90s: Programming Intel's Pentium MMX

Low-Tech Ceramic Water Filter

The AI Credit Resale Economy

Models Are Getting Dumber on Purpose

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

MathCode, Mathematical Coding Agent

Clamiga: Common Lisp for the Amiga

Anton Chekhov played at love most of his life

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

Firefox for iOS now has a native adblocker

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

Before Rightmove, there was the Cosmorama

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

Tasklet (YC P26) Is Hiring a Head of Design Engineering

The weekend is 100 years old

In the Shadow of the (Berlin) Wall

A True Telnet BBS on a Casio Calculator

Asus Bike Booster

Chestnut – eGPU dock with open-source firmware

NIH is ending a key grant for budding clinical researchers

A SAT Attack on Tarski's High School Algebra Problem

Research papers using "kidney disappointment" instead of "kidney failure"

The deep history behind the Road to Nowhere inside the Great Smoky Mountains