fp.

Proving Rust Web Application Correctness with Lean 4

https://medium.com/@Koukyosyumei/proving-rust-web-application-correctness-with-lean-4-8889583f1e15

1•syumei•1m ago•0 comments

When software stops being the moat: Software is abundant. Networks are not

https://a16zfrontier.substack.com/p/when-software-stops-being-the-moat

1•crescit_eundo•2m ago•0 comments

Klaviyo scaled analytics by getting out of the way

https://klaviyo.tech/how-klaviyo-scaled-analytics-by-getting-out-of-the-way-01836b9164f3

2•tremdog•2m ago•0 comments

OpenSUSE Leap 16.1 Unifies Traditional and Immutable Linux

https://www.linuxjournal.com/content/opensuse-leap-161-unifies-traditional-and-immutable-linux-tr...

2•dxs•2m ago•0 comments

Wendy Quest: Legend of the Four Corner Stones

https://www.wendys.com/wendyquest

1•debo_•5m ago•0 comments

Rembrandt Photo Editor 0.3.33 is out. Feature additions and bug fixes

https://rembrandteditor.dev

1•thesnarkitecht•6m ago•1 comments

Teens arent getting enough exercise and the problem has barely changed in 15 yrs

https://www.euronews.com/2026/11/04/teens-arent-getting-enough-exercise-and-the-problem-has-barel...

1•randycupertino•7m ago•0 comments

Circles: A Game

https://circles.dorianmarie.com/

2•dorianmariecom•9m ago•1 comments

Anthropic's S-1

https://eshumarneedi.com/2026/11/03/on-anthropics-s.html

3•speckx•9m ago•0 comments

Show HN: Homotope, vectorize images to SVG in the browser, MIT engine on NPM

https://github.com/stevenroman91/homotope-engine

1•sroman91•9m ago•0 comments

Apple Will Scan Public iCloud Links for Harmful Content Starting in iOS 27.3

https://support.apple.com/en-us/149168

3•7777777phil•10m ago•0 comments

Fast-Ruby: Writing Fast Ruby – Collect Common Ruby Idioms

https://github.com/fastruby/fast-ruby

1•thunderbong•12m ago•0 comments

Santander ordered to repay man who gambled away £25k house sale cash

https://uk.finance.yahoo.com/news/santander-ordered-repay-man-gambled-120751937.html

1•nephihaha•12m ago•0 comments

Gemini 4 often hides its failures when searching antibody space (AbMaze)

https://valenlabs.com/blog/abmaze

2•dominik-space•13m ago•0 comments

Raybox: Interactive Povray Aesthetics

https://raybox.sixfingerpunch.com/

1•memalign•13m ago•0 comments

Show HN: Jinna, Company Brain& AI agents that run a one-person business with you

https://jinna.ai/

1•andr-yemel•13m ago•0 comments

I asked AI (Claude Opus 4.8) to review my MRI

https://www.leecoweb.com/i-asked-ai-claude-opus-4-8-to-review-my-mri/

2•speckx•17m ago•0 comments

Show HN: OnCue – A clock my 4-year-old can read

https://www.oncueboard.com/

1•gj0•17m ago•0 comments

Nikke PC game launcher hacked to spread remote access, data-stealing malware

https://www.bleepingcomputer.com/news/security/nikke-pc-game-launcher-hacked-to-spread-remote-acc...

1•tigefiz•18m ago•0 comments

From an Environment of Production to an Environment of Assembly

https://medium.com/@smoking2man/from-an-environment-of-production-to-an-environment-of-assembly-a...

1•Aldus551•18m ago•0 comments

People say they want small smartphones–Enough Phone will put that to the test

https://arstechnica.com/gadgets/2026/11/people-say-they-want-small-smartphones-the-enough-phone-w...

3•Jtsummers•21m ago•0 comments

Show HN: Fount – Verifiably private AI for your spreadsheets and documents

https://www.fount.sh/

1•socktan410•24m ago•0 comments

NASA Swift Observatory Space Telescope reentered Earth's atmosphere and burnt up

https://skyandtelescope.org/astronomy-news/swift-observatory-ends-reenters-the-earths-atmosphere/

2•ck2•25m ago•0 comments

AI Agent Platform

https://agent.svoxx.com/int/en

1•svoxx•27m ago•0 comments

You too can make a cool election map

https://shub.club/writings/2026/november/you-too-can-make-a-cool-election-map/

2•forthwall•27m ago•0 comments

Adding crawl URLs to sub-yaps

https://yapern.com/blog/adding-crawl-urls-to-sub-yaps/

1•andrewfromx•27m ago•1 comments

Michael Crichton 1942–2008: Complete Overview of Published Works

https://web.archive.org/web/20090708171122/https://michaelcrichton.sweb.cz/

2•Eridanus2•28m ago•0 comments

Infineon announces RISC-V based AURIX RC1 automotive microcontroller platform

https://www.infineon.com/press-release/2026/infpr202611-026

1•fork-bomber•28m ago•0 comments

Rolling helmet shells to prevent head injuries

https://www.tour-magazin.de/en/buying-advice/clothing/helmets/helmet-technology-rolling-helmet-sh...

1•bryanrasmussen•30m ago•0 comments

PEP 723 – Inline script metadata

https://peps.python.org/pep-0723/

2•debo_•30m ago•0 comments

Proving Rust Web Application Correctness with Lean 4

When software stops being the moat: Software is abundant. Networks are not

Klaviyo scaled analytics by getting out of the way

OpenSUSE Leap 16.1 Unifies Traditional and Immutable Linux

Wendy Quest: Legend of the Four Corner Stones

Rembrandt Photo Editor 0.3.33 is out. Feature additions and bug fixes

Teens arent getting enough exercise and the problem has barely changed in 15 yrs

Circles: A Game

Anthropic's S-1

Show HN: Homotope, vectorize images to SVG in the browser, MIT engine on NPM

Apple Will Scan Public iCloud Links for Harmful Content Starting in iOS 27.3

Fast-Ruby: Writing Fast Ruby – Collect Common Ruby Idioms

Santander ordered to repay man who gambled away £25k house sale cash

Gemini 4 often hides its failures when searching antibody space (AbMaze)

Raybox: Interactive Povray Aesthetics

Show HN: Jinna, Company Brain& AI agents that run a one-person business with you

I asked AI (Claude Opus 4.8) to review my MRI

Show HN: OnCue – A clock my 4-year-old can read

Nikke PC game launcher hacked to spread remote access, data-stealing malware

From an Environment of Production to an Environment of Assembly

People say they want small smartphones–Enough Phone will put that to the test

Show HN: Fount – Verifiably private AI for your spreadsheets and documents

NASA Swift Observatory Space Telescope reentered Earth's atmosphere and burnt up

AI Agent Platform

You too can make a cool election map

Adding crawl URLs to sub-yaps

Michael Crichton 1942–2008: Complete Overview of Published Works

Infineon announces RISC-V based AURIX RC1 automotive microcontroller platform

Rolling helmet shells to prevent head injuries

PEP 723 – Inline script metadata

Proving Rust Web Application Correctness with Lean 4

When software stops being the moat: Software is abundant. Networks are not

Klaviyo scaled analytics by getting out of the way

OpenSUSE Leap 16.1 Unifies Traditional and Immutable Linux

Wendy Quest: Legend of the Four Corner Stones

Rembrandt Photo Editor 0.3.33 is out. Feature additions and bug fixes

Teens arent getting enough exercise and the problem has barely changed in 15 yrs

Circles: A Game

Anthropic's S-1

Show HN: Homotope, vectorize images to SVG in the browser, MIT engine on NPM

Apple Will Scan Public iCloud Links for Harmful Content Starting in iOS 27.3

Fast-Ruby: Writing Fast Ruby – Collect Common Ruby Idioms

Santander ordered to repay man who gambled away £25k house sale cash

Gemini 4 often hides its failures when searching antibody space (AbMaze)

Raybox: Interactive Povray Aesthetics

Show HN: Jinna, Company Brain& AI agents that run a one-person business with you

I asked AI (Claude Opus 4.8) to review my MRI

Show HN: OnCue – A clock my 4-year-old can read

Nikke PC game launcher hacked to spread remote access, data-stealing malware

From an Environment of Production to an Environment of Assembly

People say they want small smartphones–Enough Phone will put that to the test

Show HN: Fount – Verifiably private AI for your spreadsheets and documents

NASA Swift Observatory Space Telescope reentered Earth's atmosphere and burnt up

AI Agent Platform

You too can make a cool election map

Adding crawl URLs to sub-yaps

Michael Crichton 1942–2008: Complete Overview of Published Works

Infineon announces RISC-V based AURIX RC1 automotive microcontroller platform

Rolling helmet shells to prevent head injuries

PEP 723 – Inline script metadata

What Webrings Got Right