fp.

Why Writing Correct Software Is Hard

https://pron.github.io/posts/correctness-and-complexity

2•AriFordsham•6m ago•0 comments

Show HN: Europe's gas storage, updated daily from public GIE and ENTSOG data

https://gas.beetl.io/

1•rykam•7m ago•0 comments

Carpathron Remote

https://qubitpage.com/remote

1•msrusu•8m ago•0 comments

What is static analysis, really?

https://danielefilaretti.com/what-is-static-analysis/

1•AriFordsham•8m ago•0 comments

Hackers breached AWS accounts through unused third-party access permissions

https://www.wiz.io/blog/qubole-cross-account-access-abused-in-the-wild

2•DonAtimator•9m ago•0 comments

Costcrew a app to manage AI spending

1•ArchEagle•10m ago•0 comments

Every Architecture Is a Receipt

https://hrih.si/articles/every-architecture-is-a-receipt/

1•DonAtimator•10m ago•0 comments

Israeli strike on a Gaza hospital kills 6 people, health authorities say

https://apnews.com/article/gaza-israel-hospital-strike-people-killed-50b547b5a82388b6b415aee4d776...

2•hebelehubele•11m ago•0 comments

Design software reimagines everyday objects as self-aware devices

https://news.mit.edu/2026/design-software-reimagines-everyday-objects-as-self-aware-devices-1022

1•rbanffy•12m ago•0 comments

Kensler's permute(): stateless, constant-time shuffled iteration

https://andrew-helmer.github.io/permute/

1•joshcsimmons•16m ago•0 comments

Coding Agents and Software for One

https://rumple.github.io/blog/2026/11/06/coding-agents-and-software-for-one.html

2•saikatsg•20m ago•0 comments

Show HN: StringRipper – pull URLs and strings out of running Windows processes

https://github.com/akustikrausch/StringRipper

1•akustikrausch•22m ago•0 comments

Despite Denial, Trump Was Told on Trip to China About Spying on Nvidia Leader

https://www.nytimes.com/2026/11/10/us/politics/trump-china-trip-nvidia.html

2•vrganj•25m ago•1 comments

Why most crypto track records mislead [pdf]

https://aevumprotocol.io/papers/did-they-call-it.pdf

1•Quinte2885•26m ago•0 comments

What if I had bought Apple stock with every iPhone?

https://www.seriousaboutech.com/2026/11/iphoneapplestocks.html

1•janandonly•27m ago•0 comments

Show HN: Wordout, an open-source daily word game with no server

https://dilippanicker.github.io/wordout/play/

1•onglipo•34m ago•0 comments

Show HN

https://github.com/msbayindir/panosync

2•msefabayindir•35m ago•0 comments

Connecting identity lifecycle to cryptographic key management

https://github.com/lecodev-26/nexus-q

1•lecodev•36m ago•0 comments

Walk in Bengaluru Traffic

https://www.bengaluruwalk.wtf/

1•josharsh•37m ago•1 comments

Elon Musk says it would be an honor to hire Jensen Huang

https://www.bloomberg.com/news/articles/2026-11-12/elon-musk-says-it-would-be-an-honor-to-hire-nv...

3•amelius•40m ago•2 comments

29M Japanese Buildings

https://tech.marksblogg.com/japanese-building-footprints.html

1•marklit•40m ago•0 comments

Weird licenses and the new open source

https://dustri.org/b/weird-licenses-and-the-new-open-source.html

1•birdculture•40m ago•0 comments

Show HN: Open-source animated UI icons your coding agent can add to

https://generativeicons.com/

1•reallynattu•45m ago•1 comments

Ring launches a home security drone and an enterprise security robot

https://techcrunch.com/2026/11/10/ring-known-for-its-doorbell-cameras-launches-a-home-security-dr...

2•edward•47m ago•1 comments

Show HN: Veshell – Your Linux apps on a map, not on a desktop

https://free-explorers.com/veshell

2•PapyElGringo•49m ago•1 comments

I gave an AI a week to make something interesting or I switch it off

https://lira-ia.github.io/

1•nantignolo•52m ago•1 comments

Zpq 0.5.2 – optimized Parquet locally or in S3 with Zig

https://github.com/chicagobuss/zpq/releases/tag/v0.5.2

1•chicagobuss•53m ago•1 comments

DeepL unveils Aure, its most lifelike Voice AI translation model yet

https://www.deepl.com/en/press-release/aure-voice-ai-model

2•ngruhn•55m ago•0 comments

I matched Opus 4.5 on ARC-2 with a 100M looped transformer that never saw text

https://mvakde.github.io/blog/looped-mdlarc/

2•evilmathkid•55m ago•0 comments

AWS Emulator

https://docs.aws.amazon.com/emulator/

1•BerislavLopac•58m ago•2 comments