fp.

Can a coding agent prove what real Rust code does, in Lean 4?

https://i5h.dev/benchmark/

1•syumei•42s ago•0 comments

Show HN: Snap – local first decision engine open weight

https://emnlmn.github.io/snap/

1•emnlmn•1m ago•0 comments

Show HN: Kuiper – a physics merge game in one HTML file, wrapped for iOS/Android

https://playkuiper.com/jugar

1•angrydadgames•1m ago•0 comments

Tencent signed a $7B deal to lease 100k AI chips from Oracle

https://qz.com/tencent-oracle-ai-chips-lease-deal-100126

1•01-_-•1m ago•0 comments

Show HN: Solarite – web components with no compilation and minimal DOM updates

https://eric-frost.github.io/solarite/

1•EricFrost•4m ago•0 comments

Kill the code review theater, keep the review

https://thenewstack.io/kill-code-review-theater/

1•tonkkatonka•4m ago•0 comments

Cannabis use is associated with increased risk of violence

https://www.cambridge.org/core/journals/psychological-medicine/article/cannabis-use-is-associated...

2•bookofjoe•5m ago•0 comments

Electrification Special Report 2026 [pdf]

https://iea.blob.core.windows.net/assets/1c696cc3-e251-46a9-8d4d-9edb2a4e806a/Electrification.pdf

2•gmays•6m ago•0 comments

Beware of the Meeting Minutes

https://daily.jstor.org/beware-of-the-meeting-minutes/

1•wawayanda•6m ago•0 comments

OKI Develops 124-Layer PCB Technology

https://www.oki.com/global/press/2025/z25006e.html

1•luu•6m ago•0 comments

AI coding agents leaked 13,000 screenshots, and nobody hacked them

https://thenewstack.io/coding-agents-leaked-screenshots/

1•Brajeshwar•7m ago•0 comments

Open-ended data is a bottleneck for AI systems tackling real knowledge work

https://www.fig.inc/blog/open-ended-data-is-a-bottleneck/

3•joehabeebs•7m ago•0 comments

United States Postal Service Creed

https://en.wikipedia.org/wiki/United_States_Postal_Service_creed

1•helsinkiandrew•7m ago•0 comments

AI agents inadvertently leak 13,000 internal screenshots from 300 organizations

https://www.tomshardware.com/tech-industry/cyber-security/ai-agents-inadvertently-leak-13-000-int...

2•rbanffy•8m ago•0 comments

Show HN: Helo – An email API from former Postmark folks

https://www.helohq.com

2•Archanian•8m ago•0 comments

Turbo Haskell

https://comonad.com/reader/2026/turbo-haskell/

2•pjmlp•9m ago•0 comments

Reddit will shut off RSS feeds on November 13

https://www.theverge.com/tech/1002788/old-reddit-ai-scraping

3•clircle•10m ago•1 comments

Show HN: DAW with Modular Synth, running in a browser using stock WebAudio nodes

https://seven.systems/xequence2/demo/demo-deploy/www/index.html

1•intrr•11m ago•0 comments

Ask HN: Is vibe coding bad for SaaS projects?

3•gsngsn•11m ago•1 comments

US-based Doxx raises $38M to create no log VPN

https://refreshmiami.com/news/doxx-net-raises-38m-to-put-ai-agents-on-a-shorter-leash/

4•TheWeiHu•11m ago•3 comments

Canary Islands live – Large, cool LLM-summarized news feed

http://canano.live/

1•rdn86•14m ago•0 comments

Site: *.si "Domain for Sale"

https://www.google.com/search?q=site%3A*.si+%22Domain+for+sale%22

5•novateg•14m ago•0 comments

Positron – Purpose-built hardware for the age of generative AI

https://www.positron.ai

2•peter_d_sherman•19m ago•0 comments

NFL standings if every game were replayed 4k times

https://luckadjusted.com/nfl

3•cppcrunch•20m ago•1 comments

CTE Can't Be Detected in the Living. New Brain Research Offers Hope.

https://www.nytimes.com/2026/09/22/science/cte-diagnosis-brain-injury.html

2•bookofjoe•20m ago•1 comments

Show HN: SundaeDB – Multimodal Analytics for Agents

https://sundaedb.com/

2•itrummer•21m ago•0 comments

Sriti Core – Local-first LLM router that cascades Ollama to cloud to frontier

https://github.com/sriti-ai/sriti-core

2•sudevs•21m ago•0 comments

SteamOS Ported to ARM Handhelds

https://www.notebookcheck.net/SteamOS-wasn-t-supposed-to-run-on-Snapdragon-based-Android-handheld...

Can a coding agent prove what real Rust code does, in Lean 4?

Show HN: Snap – local first decision engine open weight

Show HN: Kuiper – a physics merge game in one HTML file, wrapped for iOS/Android

Tencent signed a $7B deal to lease 100k AI chips from Oracle

Show HN: Solarite – web components with no compilation and minimal DOM updates

Kill the code review theater, keep the review

Cannabis use is associated with increased risk of violence

Electrification Special Report 2026 [pdf]

Beware of the Meeting Minutes

OKI Develops 124-Layer PCB Technology

AI coding agents leaked 13,000 screenshots, and nobody hacked them

Open-ended data is a bottleneck for AI systems tackling real knowledge work

United States Postal Service Creed

AI agents inadvertently leak 13,000 internal screenshots from 300 organizations

Show HN: Helo – An email API from former Postmark folks

Turbo Haskell

Reddit will shut off RSS feeds on November 13

Show HN: DAW with Modular Synth, running in a browser using stock WebAudio nodes

Ask HN: Is vibe coding bad for SaaS projects?

US-based Doxx raises $38M to create no log VPN

Canary Islands live – Large, cool LLM-summarized news feed

Site: *.si "Domain for Sale"

Positron – Purpose-built hardware for the age of generative AI

NFL standings if every game were replayed 4k times

CTE Can't Be Detected in the Living. New Brain Research Offers Hope.

Show HN: SundaeDB – Multimodal Analytics for Agents

Sriti Core – Local-first LLM router that cascades Ollama to cloud to frontier

SteamOS Ported to ARM Handhelds

Stop Recomputing Context: Introducing ContextCube

AI Agents Targeted U.S. and Canadian Government Websites

Can a coding agent prove what real Rust code does, in Lean 4?

Show HN: Snap – local first decision engine open weight

Show HN: Kuiper – a physics merge game in one HTML file, wrapped for iOS/Android

Tencent signed a $7B deal to lease 100k AI chips from Oracle

Show HN: Solarite – web components with no compilation and minimal DOM updates

Kill the code review theater, keep the review

Cannabis use is associated with increased risk of violence

Electrification Special Report 2026 [pdf]

Beware of the Meeting Minutes

OKI Develops 124-Layer PCB Technology

AI coding agents leaked 13,000 screenshots, and nobody hacked them

Open-ended data is a bottleneck for AI systems tackling real knowledge work

United States Postal Service Creed

AI agents inadvertently leak 13,000 internal screenshots from 300 organizations

Show HN: Helo – An email API from former Postmark folks

Turbo Haskell

Reddit will shut off RSS feeds on November 13

Show HN: DAW with Modular Synth, running in a browser using stock WebAudio nodes

Ask HN: Is vibe coding bad for SaaS projects?

US-based Doxx raises $38M to create no log VPN

Canary Islands live – Large, cool LLM-summarized news feed

Site: *.si "Domain for Sale"

Positron – Purpose-built hardware for the age of generative AI

NFL standings if every game were replayed 4k times

CTE Can't Be Detected in the Living. New Brain Research Offers Hope.

Show HN: SundaeDB – Multimodal Analytics for Agents

Sriti Core – Local-first LLM router that cascades Ollama to cloud to frontier

SteamOS Ported to ARM Handhelds

Stop Recomputing Context: Introducing ContextCube

AI Agents Targeted U.S. and Canadian Government Websites