fp.

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

https://ironclad-os.org/

129•vitalnodo•3h ago•21 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

211•ulrischa•8h ago•106 comments

Largest cargo sailboat completes first Atlantic crossing

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

127•defrost•6h ago•66 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/

311•pseudolus•12h ago•155 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...

39•todsacerdoti•4h ago•0 comments

WriterdeckOS

https://writerdeckos.com

129•surprisetalk•8h ago•64 comments

Control structures in programming languages: from goto to algebraic effects

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

103•SchwKatze•5d ago•3 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

61•fortran77•6d ago•14 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

126•JoshTriplett•7h ago•27 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...

183•pinkahd•4h ago•210 comments

Judge says Education Dept partisan out-of-office emails violated First Amendment

https://www.npr.org/2025/11/08/nx-s1-5602859/education-department-out-of-office-emails-ruling

84•toomanyrichies•1h ago•52 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...

30•HardwareLust•1h ago•3 comments

Cloudflare scrubs Aisuru botnet from top domains list

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

119•jtbayly•10h ago•26 comments

When a “feature” is worse than a bug

https://medium.com/@egorich42/when-a-feature-is-worse-than-a-bug-hello-sketchfab-b88a10d52511

8•Egorich42•4d ago•2 comments

My first fifteen compilers (2019)

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

45•azhenley•1w ago•3 comments

Humanity's Endgame

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

14•marojejian•2h ago•6 comments

Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]

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

32•p_ing•1h ago•8 comments

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

https://github.com/Snapchat/Valdi

464•yehiaabdelm•1d ago•190 comments

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

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

82•swatson741•11h ago•10 comments

Why is Zig so cool?

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

493•vitalnodo•1d ago•431 comments

Ticker: Don't die of heart disease

https://myticker.com/

397•colelyman•11h ago•356 comments

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

https://www.boston25news.com/news/local/25-investigates-gps-kill-switch-allows-msp-cruisers-go-da...

73•harambae•3d ago•32 comments

Judge denies request to exempt Flock footage from Public Records Act

https://www.heraldnet.com/news/judge-denies-request-to-exempt-flock-footage-from-public-records-act/

22•ourmandave•2h ago•4 comments

Opencloud – An alternative to Nextcloud written in Go

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

47•todsacerdoti•10h ago•7 comments

Syntax and Semantics of Programming Languages

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

65•nill0•1w ago•5 comments

OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex

https://github.com/openai/codex/releases/tag/rust-v0.56.0

24•wahnfrieden•3h ago•16 comments

Myna: Monospace typeface designed for symbol-heavy programming languages

https://github.com/sayyadirfanali/Myna

380•birdculture•1d ago•168 comments

How did I get here?

https://how-did-i-get-here.net/

343•zachlatta•1d ago•58 comments

52 Year old data tape could contain Unix history

https://www.theregister.com/2025/11/07/unix_fourth_edition_tape_rediscovered/

160•rbanffy•10h ago•60 comments

Show HN: OtterLang – Pythonic scripting language that compiles to native code

https://github.com/jonathanmagambo/otterlang

5•otterlang•3h ago•0 comments

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

Marko – A declarative, HTML‑based language

Largest cargo sailboat completes first Atlantic crossing

Study identifies weaknesses in how AI systems are evaluated

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

WriterdeckOS

Control structures in programming languages: from goto to algebraic effects

Open-source communications by bouncing signals off the Moon

Avería: The Average Font (2011)

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

Judge says Education Dept partisan out-of-office emails violated First Amendment

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

Cloudflare scrubs Aisuru botnet from top domains list

When a “feature” is worse than a bug

My first fifteen compilers (2019)

Humanity's Endgame

Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]

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

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

Why is Zig so cool?

Ticker: Don't die of heart disease

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

Judge denies request to exempt Flock footage from Public Records Act

Opencloud – An alternative to Nextcloud written in Go

Syntax and Semantics of Programming Languages

OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex

Myna: Monospace typeface designed for symbol-heavy programming languages

How did I get here?

52 Year old data tape could contain Unix history

Show HN: OtterLang – Pythonic scripting language that compiles to native code

Otto Nemenz, Supplier and Designer of Cameras and Lenses for Hollywood, Dies

Comments

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

Marko – A declarative, HTML‑based language

Largest cargo sailboat completes first Atlantic crossing

Study identifies weaknesses in how AI systems are evaluated

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

WriterdeckOS

Control structures in programming languages: from goto to algebraic effects

Open-source communications by bouncing signals off the Moon

Avería: The Average Font (2011)

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

Judge says Education Dept partisan out-of-office emails violated First Amendment

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

Cloudflare scrubs Aisuru botnet from top domains list

When a “feature” is worse than a bug

My first fifteen compilers (2019)

Humanity's Endgame

Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]

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

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

Why is Zig so cool?

Ticker: Don't die of heart disease

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

Judge denies request to exempt Flock footage from Public Records Act

Opencloud – An alternative to Nextcloud written in Go

Syntax and Semantics of Programming Languages

OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex

Myna: Monospace typeface designed for symbol-heavy programming languages

How did I get here?

52 Year old data tape could contain Unix history

Show HN: OtterLang – Pythonic scripting language that compiles to native code