fp.

LeanReact: Expressing Composable and Correct React Components in Lean

https://theoric.com/blog/leanreact_introduction/

1•hargup•2m ago•0 comments

Shapelearn Qwen 3.8 27B (13.1 GB VRAM)

https://byteshape.com/blogs/Qwen3.8-27B/

1•syntaxing•6m ago•0 comments

Minimal Phone 2

https://minimalcompany.com/

2•nashashmi•10m ago•0 comments

Ubuntu 26.10 Moves cp, mv and rm Over To Rust Coreutils For 100% Transition

https://www.phoronix.com/news/Ubuntu-Completes-Rust-Coreutils

2•thunderbong•10m ago•0 comments

AWS now supports spend limits

https://docs.aws.amazon.com/accounts/latest/reference/create-spend-limit.html

1•xyos•11m ago•0 comments

You can run Git on object storage if you re-make packfiles

https://www.tigrisdata.com/blog/objgit-packfiles/

2•zbentley•14m ago•1 comments

.agt – The Agent Namespace

https://agtnames.substack.com/p/introducing-agt

2•danschmitz•23m ago•1 comments

Tiny e-readers aren't small Kindles. They're a different bet

https://www.readme.club/news/tiny-e-readers-aren-t-just-small-kindles

5•billybuckwheat•23m ago•0 comments

Unix Was Right. We Made Linux Too Complicated [video]

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

2•jamesgill•31m ago•0 comments

This California Educational Juggernaut Doesn't Need the SAT

https://www.nytimes.com/2026/09/16/opinion/university-of-california-sat.html

3•like_any_other•32m ago•2 comments

Spectral AI Architecture: Executive Summary and Core Concepts

https://github.com/srdwy99m5j-lab/glowing-rotary-phone

2•paskinz69•33m ago•0 comments

What Is LPO, NPO, CPO? Knowledge of Optical Interconnect Technologies

https://www.fiber-mart.com/news/what-is-lpo-npo-cpo-knowledge-of-optical-interconnect-technologie...

2•peter_d_sherman•34m ago•0 comments

Ask A Monk – A digital wilderness for thoughts with no immediate answer

https://askamonk.online

2•13613288957•36m ago•0 comments

Kubernetes v1.37: Hardening emptyDir and bind mounts

https://kubernetes.io/blog/2026/09/16/kubernetes-v1-37-hardening-container-storage/

3•iamsyr•42m ago•0 comments

Fender Is Making Enemies with a Messy Fight over Its Iconic Strat

https://www.bloomberg.com/news/features/2026-09-17/fender-takes-on-the-electric-guitar-industry-o...

2•ilamont•47m ago•1 comments

Show HN: PortButler – send files from macOS to a device with no way to receive

https://portbutler.sshlab.dev

4•swq115•48m ago•0 comments

How often people say a habit, therapy, diet or supplement changed their life

https://www.jeravalue.com/en/life-changing

2•nreece•51m ago•0 comments

Fingerprinting Network Honeypots with Weighted Behavioral Scoring Engine

https://meetcyber.net/fingerprinting-network-honeypots-with-weighted-behavioral-scoring-engine-86...

2•ls1911•56m ago•0 comments

Claude Code from Source

https://claude-code-from-source.com/

15•pykello•56m ago•4 comments

SEC Issues "Innovation Exemption" to Facilitate Trading of Tokenized NMS Stock

https://www.sec.gov/newsroom/press-releases/2026-90-sec-issues-innovation-exemption-facilitate-tr...

3•BiraIgnacio•57m ago•0 comments

Hackers Used Anthropic's Claude to Break into OpenAI

https://www.wsj.com/tech/ai/hackers-used-anthropics-claude-to-break-into-openai-b40ba883

5•impish9208•58m ago•1 comments

Jev means structured output is interesting again

https://www.seangoedecke.com/jev-means-structured-output-is-interesting-again/

5•iacguy•59m ago•0 comments

Hypercomb – AI open software platform

https://hypercomb.io

2•jwizestackz•1h ago•0 comments

Type Declaration Syntax

https://citrons.xyz/journal/2026-09-09

2•birdculture•1h ago•0 comments

Telstra outage: The night a network decided the year was 2006

https://www.netnod.se/blog/telstra-outage-night-network-decided-year-was-2006

9•TMWNN•1h ago•2 comments

Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe

https://github.com/aardappel/goose/tree/master

27•bobbydigitales•1h ago•17 comments

Today we're releasing Helix 2.5

https://twitter.com/Figure_robot/status/2100657350952779925

3•MrBuddyCasino•1h ago•0 comments

AI agents can modify themselves without humans telling them to do so

https://www.theregister.com/security/2026/09/16/ai-agents-can-modify-themselves-without-humans-te...

LeanReact: Expressing Composable and Correct React Components in Lean

Shapelearn Qwen 3.8 27B (13.1 GB VRAM)

Minimal Phone 2

Ubuntu 26.10 Moves cp, mv and rm Over To Rust Coreutils For 100% Transition

AWS now supports spend limits

You can run Git on object storage if you re-make packfiles

.agt – The Agent Namespace

Tiny e-readers aren't small Kindles. They're a different bet

Unix Was Right. We Made Linux Too Complicated [video]

This California Educational Juggernaut Doesn't Need the SAT

Spectral AI Architecture: Executive Summary and Core Concepts

What Is LPO, NPO, CPO? Knowledge of Optical Interconnect Technologies

Ask A Monk – A digital wilderness for thoughts with no immediate answer

Kubernetes v1.37: Hardening emptyDir and bind mounts

Fender Is Making Enemies with a Messy Fight over Its Iconic Strat

Show HN: PortButler – send files from macOS to a device with no way to receive

How often people say a habit, therapy, diet or supplement changed their life

Fingerprinting Network Honeypots with Weighted Behavioral Scoring Engine

Claude Code from Source

SEC Issues "Innovation Exemption" to Facilitate Trading of Tokenized NMS Stock

Hackers Used Anthropic's Claude to Break into OpenAI

Jev means structured output is interesting again

Hypercomb – AI open software platform

Type Declaration Syntax

Telstra outage: The night a network decided the year was 2006

Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe

Today we're releasing Helix 2.5

AI agents can modify themselves without humans telling them to do so

When A.I. Becomes an Enemy [video]

Lakera – Test your AI hacking skills

Fingerprinting Network Honeypots with Weighted Behavioral Scoring Engine

LeanReact: Expressing Composable and Correct React Components in Lean

Shapelearn Qwen 3.8 27B (13.1 GB VRAM)

Minimal Phone 2

Ubuntu 26.10 Moves cp, mv and rm Over To Rust Coreutils For 100% Transition

AWS now supports spend limits

You can run Git on object storage if you re-make packfiles

.agt – The Agent Namespace

Tiny e-readers aren't small Kindles. They're a different bet

Unix Was Right. We Made Linux Too Complicated [video]

This California Educational Juggernaut Doesn't Need the SAT

Spectral AI Architecture: Executive Summary and Core Concepts

What Is LPO, NPO, CPO? Knowledge of Optical Interconnect Technologies

Ask A Monk – A digital wilderness for thoughts with no immediate answer

Kubernetes v1.37: Hardening emptyDir and bind mounts

Fender Is Making Enemies with a Messy Fight over Its Iconic Strat

Show HN: PortButler – send files from macOS to a device with no way to receive

How often people say a habit, therapy, diet or supplement changed their life

Fingerprinting Network Honeypots with Weighted Behavioral Scoring Engine

Claude Code from Source

SEC Issues "Innovation Exemption" to Facilitate Trading of Tokenized NMS Stock

Hackers Used Anthropic's Claude to Break into OpenAI

Jev means structured output is interesting again

Hypercomb – AI open software platform

Type Declaration Syntax

Telstra outage: The night a network decided the year was 2006

Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe

Today we're releasing Helix 2.5

AI agents can modify themselves without humans telling them to do so

When A.I. Becomes an Enemy [video]

Lakera – Test your AI hacking skills