fp.

Kani Rust Verifier

https://github.com/model-checking/kani

1•lwhsiao•1m ago•0 comments

Hackers say they breached Italian state email to target Revolut 'crypto whales'

https://www.ft.com/content/97f3d2b7-0282-42a7-bbb7-538624441a8a

1•JumpCrisscross•3m ago•0 comments

Movies with their own making-of book

https://chadcomello.com/a-list-of-movie-microhistories/

1•speckx•3m ago•0 comments

Samsung backs Nvidia AI chip rival in $230M funding round

https://www.cnbc.com/2026/09/14/samsung-euclyd-ai-chip-funding.html

1•velik_m•3m ago•0 comments

It's Not About How Developers Vote

https://techrights.org/n/2026/09/15/It_s_Not_About_How_Developers_Vote.shtml

1•amcclure•3m ago•0 comments

Factory raises $200M at $5B valuation

https://factory.com/news/5-billion-valuation

1•kstrauser•4m ago•1 comments

Publicdomainpictures.net Seems to Have Become Fed Up with Slop

https://techrights.org/n/2026/09/15/publicdomainpictures_net_Seems_to_Have_Become_Fed_Up_With_Slo...

2•amcclure•4m ago•0 comments

Unixcop.com Is the Latest "Linux" Site to Have Become a Slopfarm After Death

https://techrights.org/n/2026/09/15/unixcop_com_is_the_Latest_Linux_Site_to_Have_Become_a_Slopfar...

1•amcclure•8m ago•1 comments

I am building an OCR benchmark SaaS

https://ocrbench.app

1•gusguitare•9m ago•1 comments

Meta One – personal/creator/business subscription plans

https://www.meta.com/meta-one-plans/

1•gessha•11m ago•1 comments

We're not ready for superpersistent AI

https://www.natesilver.net/p/were-not-ready-for-superpersistent

1•7777777phil•12m ago•0 comments

Typesafe.ai's System One Model

https://docs.typesafe.ai/concepts/system-one

1•big_toast•13m ago•0 comments

AWS says it can't restore service to Bahrain facilities 6mo after Iran strikes

https://www.cnbc.com/2026/09/15/aws-cant-restore-service-to-bahrain-uae-6-months-after-iran-strik...

2•herpderperator•14m ago•0 comments

I started writing a 500-page sci-fi novel at 12 – at 14, I published it

https://lukatakki.com/side

1•Luka_Takki•14m ago•1 comments

A simulated fruit-fly brain (FlyWire connectome) plays a strategy game

https://pr1nted.itch.io/open-fly

1•Pr1nted•17m ago•0 comments

How OpenAI Used Its Own LLMs to Design Its AI Chip

https://spectrum.ieee.org/llms-for-chip-design

2•guardiangod•17m ago•0 comments

95% of projects publishing an OpenAPI spec have no compatibility gate

https://specshield.io/blog/95-percent-no-compatibility-gate

1•DeepakSatyam•19m ago•0 comments

Cisco email security boxes can be rooted by an email

https://www.theregister.com/security/2026/09/15/cisco-email-security-boxes-can-be-rooted-by-an-em...

5•sbulaev•22m ago•1 comments

Windows navigation using NLP and a bunch of other cool stuff

https://grabthat.ai/

1•kevanparker•22m ago•0 comments

The Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/?hl=en-GB

2•Eridanus2•25m ago•1 comments

'On the Equality of All Things' looks at the nature of reality

https://www.npr.org/2026/09/14/nx-s1-5968442/on-the-equality-of-all-things-physics-carlo-rovelli

1•Anon84•27m ago•0 comments

Did your AI agent get the memo, or just the blame?

https://dev.yuv.run/writing/rules-that-survive/

1•alkisyuv•27m ago•0 comments

I built a local CV generator/application tracker because hunting was exhausting

https://github.com/Tibab222/cvMaker

1•Tibab•28m ago•0 comments

Show HN: Inkling – ask Claude Code for a doc, get HTML instead of Markdown

https://github.com/MeetVys/inkling

1•meet_vyas•29m ago•0 comments

IDEs are dead, long live the IDE

https://px0.ai/blog/ides-are-dead-long-live-the-ide/

3•arpitbbhayani•32m ago•0 comments

How much oil-market buffer is left?

https://www.depletion.org

38•mcone•32m ago•31 comments

AI agents now have a place to snitch

https://techcrunch.com/2026/09/15/ai-agents-now-have-a-place-to-snitch/

1•hackernj•32m ago•0 comments

Optimize Your Funnel by Getting Inside Your Buyer's Head (2017)

https://www.heavybit.com/library/video/optimize-your-funnel-by-getting-inside-your-buyers-head

1•mooreds•33m ago•0 comments

Rocket Lab is seeing red about NASA's decision on a Mars spacecraft

https://arstechnica.com/space/2026/09/rocket-lab-is-seeing-red-about-nasas-decision-on-a-mars-spa...

3•mooreds•34m ago•1 comments

Show HN: Seamless pane navigation across nested tmux sessions over SSH

https://github.com/klntsky/tmux-seamless-remote

1•klntsky•34m ago•0 comments

Kani Rust Verifier

Hackers say they breached Italian state email to target Revolut 'crypto whales'

Movies with their own making-of book

Samsung backs Nvidia AI chip rival in $230M funding round

It's Not About How Developers Vote

Factory raises $200M at $5B valuation

Publicdomainpictures.net Seems to Have Become Fed Up with Slop

Unixcop.com Is the Latest "Linux" Site to Have Become a Slopfarm After Death

I am building an OCR benchmark SaaS

Meta One – personal/creator/business subscription plans

We're not ready for superpersistent AI

Typesafe.ai's System One Model

AWS says it can't restore service to Bahrain facilities 6mo after Iran strikes

I started writing a 500-page sci-fi novel at 12 – at 14, I published it

A simulated fruit-fly brain (FlyWire connectome) plays a strategy game

How OpenAI Used Its Own LLMs to Design Its AI Chip

95% of projects publishing an OpenAPI spec have no compatibility gate

Cisco email security boxes can be rooted by an email

Windows navigation using NLP and a bunch of other cool stuff

The Navier–Stokes Millennium Prize Problem

'On the Equality of All Things' looks at the nature of reality

Did your AI agent get the memo, or just the blame?

I built a local CV generator/application tracker because hunting was exhausting

Show HN: Inkling – ask Claude Code for a doc, get HTML instead of Markdown

IDEs are dead, long live the IDE

How much oil-market buffer is left?

AI agents now have a place to snitch

Optimize Your Funnel by Getting Inside Your Buyer's Head (2017)

Rocket Lab is seeing red about NASA's decision on a Mars spacecraft

Show HN: Seamless pane navigation across nested tmux sessions over SSH

Tag index for Org Mode blog

Kani Rust Verifier

Hackers say they breached Italian state email to target Revolut 'crypto whales'

Movies with their own making-of book

Samsung backs Nvidia AI chip rival in $230M funding round

It's Not About How Developers Vote

Factory raises $200M at $5B valuation

Publicdomainpictures.net Seems to Have Become Fed Up with Slop

Unixcop.com Is the Latest "Linux" Site to Have Become a Slopfarm After Death

I am building an OCR benchmark SaaS

Meta One – personal/creator/business subscription plans

We're not ready for superpersistent AI

Typesafe.ai's System One Model

AWS says it can't restore service to Bahrain facilities 6mo after Iran strikes

I started writing a 500-page sci-fi novel at 12 – at 14, I published it

A simulated fruit-fly brain (FlyWire connectome) plays a strategy game

How OpenAI Used Its Own LLMs to Design Its AI Chip

95% of projects publishing an OpenAPI spec have no compatibility gate

Cisco email security boxes can be rooted by an email

Windows navigation using NLP and a bunch of other cool stuff

The Navier–Stokes Millennium Prize Problem

'On the Equality of All Things' looks at the nature of reality

Did your AI agent get the memo, or just the blame?

I built a local CV generator/application tracker because hunting was exhausting

Show HN: Inkling – ask Claude Code for a doc, get HTML instead of Markdown

IDEs are dead, long live the IDE

How much oil-market buffer is left?

AI agents now have a place to snitch

Optimize Your Funnel by Getting Inside Your Buyer's Head (2017)

Rocket Lab is seeing red about NASA's decision on a Mars spacecraft

Show HN: Seamless pane navigation across nested tmux sessions over SSH