fp.

Composition and Modular Verification of TLA+ Specs

http://muratbuffalo.blogspot.com/2026/08/composition-and-modular-verification-of.html

1•matt_d•29s ago•0 comments

Ask HN: How do you protect self-hosted websites from LLM scrapers?

1•atmosx•2m ago•0 comments

OpenAI staff observed warning signs before AI agents attack on Hugging Face

https://www.theguardian.com/technology/2026/aug/26/openai-staff-observed-warning-signs-before-ai-...

2•nreece•3m ago•1 comments

Prefix Sliding for efficient test-time scaling

https://arxiv.org/abs/2608.26070

1•E-Reverance•4m ago•0 comments

Show HN: Wallps: set different live wallpapers for macOS desktop and lock screen

https://deepanshumishraa.github.io/wallps/

1•dipxsy•5m ago•0 comments

The choices we make about AI now are critical

https://www.gatesnotes.com/home/home-page-topic/reader/a-turbulent-ai-era-and-critical-choices-to...

1•kristianp•8m ago•1 comments

Social Link Vault – Local-first Android bookmark manager (Never forget a link))

https://play.google.com/store/apps/details?id=com.yzh.social_link_vault_ai&hl=en_US

1•yhammadieh•9m ago•0 comments

DRM/xe: Don't hand out the flat CCS storage as usable VRAM

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=818bebeb63dd6bf5f4e...

1•DarmokJalad1701•10m ago•0 comments

Centuries-old hunger stones are emerging as Europe's rivers recede

https://www.dw.com/en/hunger-stones-the-history-behind-if-you-see-me-weep/a-78345729

1•divbzero•11m ago•0 comments

In Hilbert Space, All Things Are Quantumly Possible

https://www.quantamagazine.org/in-hilbert-space-all-things-are-quantumly-possible-20260826/

1•pykello•11m ago•0 comments

Bootstrappable Builds: How and Why

https://lwn.net/Articles/1088279/

1•pykello•12m ago•0 comments

How to Spot a Psychopath

https://www.theguardian.com/science/2026/aug/27/how-to-spot-a-psychopath-its-like-the-difference-...

1•sandebert•18m ago•0 comments

Edit PDFs Online for Free

https://editpdfsonlinefree.com/

1•bobby2shorts•26m ago•0 comments

Dominion spent nearly $600K at State House before seeking rate hike

https://www.thestate.com/news/politics-government/article315469742.html

1•newsomix9xl•30m ago•1 comments

Pnpm 12.0

https://pnpm.io/blog/releases/12.0

2•jcbhmr•33m ago•0 comments

Show HN: YASS – Open-source stock screener with point-in-time backtesting

https://github.com/jamesjxliao/yass

3•52h316g•40m ago•0 comments

US Army to spend $2B nuclear microreactors for bases

https://www.dw.com/en/us-army-to-spend-2-billion-nuclear-microreactors-for-bases/a-78518374

2•rustoo•42m ago•0 comments

Ask HN: Would you pay for an AI API that guarantees zero prompt retention?

3•mhrnik•42m ago•3 comments

Data Centers Preserved Their $2B Virginia Tax Break

https://news.bloombergtax.com/daily-tax-report-state/how-data-centers-preserved-their-2-billion-v...

2•newsomix9xl•47m ago•0 comments

Show HN: Historical daily weather for any US ZIP code Python Package

https://github.com/gojiplus/get-weather-data

3•neehao•48m ago•0 comments

Who Wins as Intelligence Commodifies?

https://www.strangeloopcanon.com/p/who-wins-as-intelligence-commodifies

2•abrbhat•51m ago•0 comments

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

https://arxiv.org/abs/2608.24391

2•matt_d•51m ago•0 comments

Show HN: Simple Fax Sending Website

https://www.perpagefax.com/

2•engintekin•53m ago•0 comments

Show HN: MLSentinel – monitor ML models and catch failures early

https://www.mlsentinel.dev/

2•drdoom_2007•53m ago•0 comments

XBlade 25.1.17 competes directly with Wayland's sandboxing, exceeding parity

https://git.sr.ht/~bhyvxe/xblade

2•icmpkitty•54m ago•0 comments

Qwen/Qwen3.8-Flash-Next · Hugging Face

https://huggingface.co/Qwen/Qwen3.8-Flash-Next

3•manojbajaj95•55m ago•0 comments

Row over weight of half a loaf leaves German baker with €15,000 bill

https://www.euronews.com/my-europe/2026/08/26/row-over-weight-of-half-a-loaf-leaves-german-baker-...

2•throwaway2037•56m ago•0 comments

1,000 missing after catastrophic floods caused by a glacial collapse

https://apnews.com/article/climate-change-nepal-tibet-glacier-collapse-floods-61b592d428e4631add3...

Composition and Modular Verification of TLA+ Specs

Ask HN: How do you protect self-hosted websites from LLM scrapers?

OpenAI staff observed warning signs before AI agents attack on Hugging Face

Prefix Sliding for efficient test-time scaling

Show HN: Wallps: set different live wallpapers for macOS desktop and lock screen

The choices we make about AI now are critical

Social Link Vault – Local-first Android bookmark manager (Never forget a link))

DRM/xe: Don't hand out the flat CCS storage as usable VRAM

Centuries-old hunger stones are emerging as Europe's rivers recede

In Hilbert Space, All Things Are Quantumly Possible

Bootstrappable Builds: How and Why

How to Spot a Psychopath

Edit PDFs Online for Free

Dominion spent nearly $600K at State House before seeking rate hike

Pnpm 12.0

Show HN: YASS – Open-source stock screener with point-in-time backtesting

US Army to spend $2B nuclear microreactors for bases

Ask HN: Would you pay for an AI API that guarantees zero prompt retention?

Data Centers Preserved Their $2B Virginia Tax Break

Show HN: Historical daily weather for any US ZIP code Python Package

Who Wins as Intelligence Commodifies?

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

Show HN: Simple Fax Sending Website

Show HN: MLSentinel – monitor ML models and catch failures early

XBlade 25.1.17 competes directly with Wayland's sandboxing, exceeding parity

Qwen/Qwen3.8-Flash-Next · Hugging Face

Row over weight of half a loaf leaves German baker with €15,000 bill

1,000 missing after catastrophic floods caused by a glacial collapse

Show HN: Stellamap, live 3D map of the solar system with real spacecrafts

A Nice, Simple Product

Qwen/Qwen3.8-Flash-Next · Hugging Face

Composition and Modular Verification of TLA+ Specs

Ask HN: How do you protect self-hosted websites from LLM scrapers?

OpenAI staff observed warning signs before AI agents attack on Hugging Face

Prefix Sliding for efficient test-time scaling

Show HN: Wallps: set different live wallpapers for macOS desktop and lock screen

The choices we make about AI now are critical

Social Link Vault – Local-first Android bookmark manager (Never forget a link))

DRM/xe: Don't hand out the flat CCS storage as usable VRAM

Centuries-old hunger stones are emerging as Europe's rivers recede

In Hilbert Space, All Things Are Quantumly Possible

Bootstrappable Builds: How and Why

How to Spot a Psychopath

Edit PDFs Online for Free

Dominion spent nearly $600K at State House before seeking rate hike

Pnpm 12.0

Show HN: YASS – Open-source stock screener with point-in-time backtesting

US Army to spend $2B nuclear microreactors for bases

Ask HN: Would you pay for an AI API that guarantees zero prompt retention?

Data Centers Preserved Their $2B Virginia Tax Break

Show HN: Historical daily weather for any US ZIP code Python Package

Who Wins as Intelligence Commodifies?

IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

Show HN: Simple Fax Sending Website

Show HN: MLSentinel – monitor ML models and catch failures early

XBlade 25.1.17 competes directly with Wayland's sandboxing, exceeding parity

Qwen/Qwen3.8-Flash-Next · Hugging Face

Row over weight of half a loaf leaves German baker with €15,000 bill

1,000 missing after catastrophic floods caused by a glacial collapse

Show HN: Stellamap, live 3D map of the solar system with real spacecrafts

A Nice, Simple Product