fp.

The Manuscripts of Edsger W. Dijkstra

https://www.cs.utexas.edu/~EWD/

72•nathan-barry•2h ago•13 comments

Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem

https://news.samsung.com/us/samsung-family-hub-2025-update-elevates-smart-home-ecosystem/

190•janandonly•2h ago•165 comments

Montana Becomes First State to Enshrine 'Right to Compute' into Law

https://montananewsroom.com/montana-becomes-first-state-to-enshrine-right-to-compute-into-law/

98•bilsbie•4h ago•52 comments

AI isn't replacing jobs. AI spending is

https://www.fastcompany.com/91435192/chatgpt-llm-openai-jobs-amazon

175•felineflock•2h ago•61 comments

The Principles of Diffusion Models

https://arxiv.org/abs/2510.21890

17•Anon84•1h ago•1 comments

Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology

https://vejeta.com/reviving-classic-unix-games-a-20-year-journey-through-software-archaeology/

80•mwheeler•4h ago•25 comments

Visualize FastAPI endpoints with FastAPI-Voyager

https://www.newsyeah.fun/voyager/

77•tank-34•5h ago•12 comments

Zensical – A modern static site generator built by the Material for MkDocs team

https://squidfunk.github.io/mkdocs-material/blog/2025/11/05/zensical/

54•japhyr•4h ago•8 comments

Marble Fountain

https://willmorrison.net/posts/marble-fountain/

8•chris_overseas•1h ago•0 comments

Bumble Berry Pi – A Cheap DIY Raspberry Pi Handheld Cyberdeck

https://github.com/samcervantes/bumble-berry-pi

8•MakerSam•1h ago•0 comments

Email verification protocol

https://github.com/WICG/email-verification-protocol

78•sgoto•1w ago•47 comments

When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug

https://mensfeld.pl/2025/11/ruby-ffi-gc-bug-hash-becomes-string/

34•phmx•5d ago•7 comments

Ask HN: I underestimated how lonely building solo can be

40•paulwilsonn•6d ago•25 comments

Using bubblewrap to add sandboxing to NetBSD

https://blog.netbsd.org/tnf/entry/gsoc2025_bubblewrap_sandboxing

39•jaypatelani•4h ago•7 comments

I Am Mark Zuckerberg

https://iammarkzuckerberg.com/

880•jb1991•11h ago•324 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel

https://ironclad-os.org/

323•vitalnodo•18h ago•91 comments

About KeePassXC's Code Quality Control

https://keepassxc.org/blog/2025-11-09-about-keepassxcs-code-quality-control/

64•haakon•2h ago•11 comments

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

https://simonwillison.net/2025/Nov/9/gpt-5-codex-mini/

121•simonw•13h ago•58 comments

Largest cargo sailboat completes first Atlantic crossing

https://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-firs...

337•defrost•21h ago•232 comments

Alive internet theory

https://alivetheory.net/

113•manbitesdog•5h ago•47 comments

The overengineered solution to my pigeon problem (2022)

https://maxnagy.com/posts/pigeons/

51•cyb0rg0•6d ago•36 comments

Ask HN: How would you set up a child’s first Linux computer?

104•evolve2k•6h ago•144 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

330•ulrischa•22h ago•161 comments

How to get the GOT address from a PLT stub using GDB

https://rafaelbeirigo.github.io/cybersec-dojo/research/2025/11/01/how-to-get-the-got-address-from...

12•rafaelbeirigo•1w ago•2 comments

Toolkit to help you get started with Spec-Driven Development

https://github.com/github/spec-kit

53•mooreds•6d ago•23 comments

Genetically Engineered Babies Are Banned. Tech Titans Are Trying to Make One

https://www.wsj.com/tech/biotech/genetically-engineered-babies-tech-billionaires-6779efc8

25•nradov•2h ago•22 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

226•fortran77•1w ago•61 comments

Study identifies weaknesses in how AI systems are evaluated

https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/

389•pseudolus•1d ago•183 comments

How Airbus took off

https://worksinprogress.co/issue/how-airbus-took-off/

123•JumpCrisscross•16h ago•106 comments

Defeating KASLR by doing nothing at all

https://googleprojectzero.blogspot.com/2025/11/defeating-kaslr-by-doing-nothing-at-all.html

83•aa_is_op•5d ago•7 comments

The Manuscripts of Edsger W. Dijkstra

Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem

Montana Becomes First State to Enshrine 'Right to Compute' into Law

AI isn't replacing jobs. AI spending is

The Principles of Diffusion Models

Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology

Visualize FastAPI endpoints with FastAPI-Voyager

Zensical – A modern static site generator built by the Material for MkDocs team

Marble Fountain

Bumble Berry Pi – A Cheap DIY Raspberry Pi Handheld Cyberdeck

Email verification protocol

When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug

Ask HN: I underestimated how lonely building solo can be

Using bubblewrap to add sandboxing to NetBSD

I Am Mark Zuckerberg

Ironclad – formally verified, real-time capable, Unix-like OS kernel

About KeePassXC's Code Quality Control

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

Largest cargo sailboat completes first Atlantic crossing

Alive internet theory

The overengineered solution to my pigeon problem (2022)

Ask HN: How would you set up a child’s first Linux computer?

Marko – A declarative, HTML‑based language

How to get the GOT address from a PLT stub using GDB

Toolkit to help you get started with Spec-Driven Development

Genetically Engineered Babies Are Banned. Tech Titans Are Trying to Make One

Open-source communications by bouncing signals off the Moon

Study identifies weaknesses in how AI systems are evaluated

How Airbus took off

Defeating KASLR by doing nothing at all

Drax: Speech Recognition with Discrete Flow Matching

The Manuscripts of Edsger W. Dijkstra

Samsung Family Hub fridges will start showing adds to "Elevate" Home Ecosystem

Montana Becomes First State to Enshrine 'Right to Compute' into Law

AI isn't replacing jobs. AI spending is

The Principles of Diffusion Models

Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology

Visualize FastAPI endpoints with FastAPI-Voyager

Zensical – A modern static site generator built by the Material for MkDocs team

Marble Fountain

Bumble Berry Pi – A Cheap DIY Raspberry Pi Handheld Cyberdeck

Email verification protocol

When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug

Ask HN: I underestimated how lonely building solo can be

Using bubblewrap to add sandboxing to NetBSD

I Am Mark Zuckerberg

Ironclad – formally verified, real-time capable, Unix-like OS kernel

About KeePassXC's Code Quality Control

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican

Largest cargo sailboat completes first Atlantic crossing

Alive internet theory

The overengineered solution to my pigeon problem (2022)

Ask HN: How would you set up a child’s first Linux computer?

Marko – A declarative, HTML‑based language

How to get the GOT address from a PLT stub using GDB

Toolkit to help you get started with Spec-Driven Development

Genetically Engineered Babies Are Banned. Tech Titans Are Trying to Make One

Open-source communications by bouncing signals off the Moon

Study identifies weaknesses in how AI systems are evaluated

How Airbus took off

Defeating KASLR by doing nothing at all