fp.

Tabloid: The Clickbait Headline Programming Language

https://tabloid.vercel.app/

149•sadeshmukh•4h ago•22 comments

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

https://ironclad-os.org/

201•vitalnodo•8h 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/

31•simonw•3h ago•16 comments

Largest cargo sailboat completes first Atlantic crossing

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

195•defrost•11h ago•119 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

254•ulrischa•12h ago•123 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/

332•pseudolus•16h ago•169 comments

Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework

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

27•idolevi•5d ago•1 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

125•fortran77•6d ago•29 comments

Defeating Kaslr by Doing Nothing at All

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

6•aa_is_op•4d ago•0 comments

Control structures in programming languages: from goto to algebraic effects

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

125•SchwKatze•5d ago•12 comments

Syntax and Semantics of Programming Languages (1995)

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

23•nill0•3h ago•14 comments

WriterdeckOS

https://writerdeckos.com

163•surprisetalk•12h ago•87 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...

63•todsacerdoti•8h ago•0 comments

Show HN: Geofenced chat communities anyone can create

https://vicinity.social/

20•clarencehoward•4h ago•12 comments

How Airbus Took Off

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

26•JumpCrisscross•5h ago•13 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

150•JoshTriplett•11h ago•29 comments

IRIX Introduction

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

16•naves•5h ago•4 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/

27•yla92•5d ago•6 comments

Forth – is it still relevant?

https://github.com/chochain/eforth

4•lioeters•2h ago•0 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...

113•p_ing•6h ago•31 comments

Cloudflare scrubs Aisuru botnet from top domains list

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

127•jtbayly•14h ago•27 comments

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

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

15•n1sni•4d ago•3 comments

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

https://github.com/Snapchat/Valdi

481•yehiaabdelm•1d ago•198 comments

My first fifteen compilers (2019)

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

55•azhenley•1w ago•4 comments

Why is Zig so cool?

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

506•vitalnodo•1d ago•446 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...

235•pinkahd•8h ago•287 comments

Humanity's Endgame

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

30•marojejian•7h ago•20 comments

Opencloud – An alternative to Nextcloud written in Go

https://github.com/opencloud-eu/opencloud

84•todsacerdoti•14h ago•19 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...

69•HardwareLust•6h ago•8 comments

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

https://softwarepreservation.computerhistory.org/LISP/MIT/AIM-001.pdf

89•swatson741•16h ago•11 comments

Open in hackernews

IRIX Introduction

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

16•naves•5h ago

Comments

29athrowaway•1h ago

It's what they use in Jurassic Park.

The 3D file manager is fsn.

aaronbrethorst•41m ago

https://en.wikipedia.org/wiki/File_System_Visualizer

anonnon•24m ago

Red Hat's XFS file system originally came from IRIX.

Tor3•1m ago

I haven't heard it being called "Red Hat's XFS". Silicon Graphics, when it was still a company, ported XFS to Linux and Linus accepted it.

I've been using XFS for a very long time, and I've never been on Red Hat on my own machines..