fp.

Tabloid: The Clickbait Headline Programming Language

https://tabloid.vercel.app/

127•sadeshmukh•3h ago•20 comments

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

https://ironclad-os.org/

192•vitalnodo•7h ago•40 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/

27•simonw•2h ago•12 comments

Boring Company fined nearly $500K after it dumped drilling fluids into manholes

https://www.yahoo.com/news/articles/elon-musk-boring-company-fined-150000426.html

173•eloisius•3h ago•45 comments

Largest cargo sailboat completes first Atlantic crossing

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

190•defrost•10h ago•117 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

251•ulrischa•11h ago•121 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/

331•pseudolus•16h ago•169 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

110•fortran77•6d ago•26 comments

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/

123•SchwKatze•5d ago•11 comments

Syntax and Semantics of Programming Languages (1995)

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

21•nill0•3h ago•14 comments

WriterdeckOS

https://writerdeckos.com

160•surprisetalk•11h ago•86 comments

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

https://www.downtowndougbrown.com/2025/11/debugging-beagleboard-usb-boot-with-a-sniffer-fixing-om...

59•todsacerdoti•8h ago•0 comments

How Airbus Took Off

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

24•JumpCrisscross•5h ago•6 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

150•JoshTriplett•11h ago•29 comments

How to build your own VPN, or: the history of WARP

https://blog.cloudflare.com/how-to-build-your-own-vpn-or-the-history-of-warp/

26•yla92•5d ago•6 comments

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

https://github.com/Ido-Levi/Hephaestus

17•idolevi•5d ago•0 comments

Show HN: Geofenced chat communities anyone can create

https://vicinity.social/

16•clarencehoward•3h ago•9 comments

Defeating Kaslr by Doing Nothing at All

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

3•aa_is_op•4d ago•0 comments

Show HN: PingStalker – A a macOS tool for network engineers

https://www.pingstalker.com/?hn

14•n1sni•4d ago•2 comments

Judge denies request to exempt Flock footage from Public Records Act

https://www.goskagit.com/news/local_news/court-denies-request-that-it-find-flock-safety-camera-da...

103•p_ing•5h ago•30 comments

Cloudflare scrubs Aisuru botnet from top domains list

https://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/

126•jtbayly•14h ago•27 comments

Valdi – A cross-platform UI framework that delivers native performance

https://github.com/Snapchat/Valdi

479•yehiaabdelm•1d ago•198 comments

My first fifteen compilers (2019)

https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/

53•azhenley•1w ago•3 comments

IRIX Introduction

http://www.sgistuff.net/software/irixintro/index.html

11•naves•5h ago•2 comments

IP blocking the UK is not enough to comply with the Online Safety Act

https://prestonbyrne.com/2025/11/06/the-ofcom-files-part-2-ip-blocking-the-uk-is-not-enough-to-co...

231•pinkahd•8h ago•281 comments

Why is Zig so cool?

https://nilostolte.github.io/tech/articles/ZigCool.html

505•vitalnodo•1d ago•446 comments

Humanity's Endgame

https://www.noemamag.com/humanitys-endgame/

30•marojejian•6h ago•17 comments

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

https://www.hackster.io/news/he-chunhui-s-tiny386-turns-the-humble-esp32-s3-into-a-fully-function...

Tabloid: The Clickbait Headline Programming Language

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

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

Boring Company fined nearly $500K after it dumped drilling fluids into manholes

Largest cargo sailboat completes first Atlantic crossing

Marko – A declarative, HTML‑based language

Study identifies weaknesses in how AI systems are evaluated

Open-source communications by bouncing signals off the Moon

Control structures in programming languages: from goto to algebraic effects

Syntax and Semantics of Programming Languages (1995)

WriterdeckOS

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

How Airbus Took Off

Avería: The Average Font (2011)

How to build your own VPN, or: the history of WARP

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

Show HN: Geofenced chat communities anyone can create

Defeating Kaslr by Doing Nothing at All

Show HN: PingStalker – A a macOS tool for network engineers

Judge denies request to exempt Flock footage from Public Records Act

Cloudflare scrubs Aisuru botnet from top domains list

Valdi – A cross-platform UI framework that delivers native performance

My first fifteen compilers (2019)

IRIX Introduction

IP blocking the UK is not enough to comply with the Online Safety Act

Why is Zig so cool?

Humanity's Endgame

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

Opencloud – An alternative to Nextcloud written in Go

Ticker: Don't die of heart disease

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

Tabloid: The Clickbait Headline Programming Language

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

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

Boring Company fined nearly $500K after it dumped drilling fluids into manholes

Largest cargo sailboat completes first Atlantic crossing

Marko – A declarative, HTML‑based language

Study identifies weaknesses in how AI systems are evaluated

Open-source communications by bouncing signals off the Moon

Control structures in programming languages: from goto to algebraic effects

Syntax and Semantics of Programming Languages (1995)

WriterdeckOS

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

How Airbus Took Off

Avería: The Average Font (2011)

How to build your own VPN, or: the history of WARP

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

Show HN: Geofenced chat communities anyone can create

Defeating Kaslr by Doing Nothing at All

Show HN: PingStalker – A a macOS tool for network engineers

Judge denies request to exempt Flock footage from Public Records Act

Cloudflare scrubs Aisuru botnet from top domains list

Valdi – A cross-platform UI framework that delivers native performance

My first fifteen compilers (2019)

IRIX Introduction

IP blocking the UK is not enough to comply with the Online Safety Act

Why is Zig so cool?

Humanity's Endgame

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

Opencloud – An alternative to Nextcloud written in Go

Ticker: Don't die of heart disease