fp.

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

https://ironclad-os.org/

85•vitalnodo•2h ago•12 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

185•ulrischa•6h ago•96 comments

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

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

87•defrost•5h ago•40 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/

291•pseudolus•11h ago•152 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...

55•harambae•3d ago•18 comments

WriterdeckOS

https://writerdeckos.com

114•surprisetalk•6h ago•57 comments

Characterizing the American Upper Paleolithic

https://www.science.org/doi/10.1126/sciadv.ady9545

10•bikenaga•1h ago•1 comments

Control structures in programming languages: from goto to algebraic effects

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

85•SchwKatze•5d ago•3 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...

19•todsacerdoti•2h ago•0 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

114•JoshTriplett•5h ago•25 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...

4•p_ing•33m ago•1 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

43•fortran77•6d ago•13 comments

Cloudflare scrubs Aisuru botnet from top domains list

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

113•jtbayly•9h ago•26 comments

My first fifteen compilers (2019)

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

42•azhenley•1w ago•3 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

9•toomanyrichies•23m ago•0 comments

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

https://www.hollywoodreporter.com/movies/movie-news/otto-nemenz-dead-cameras-lenses-hollywood-123...

9•Marshferm•4d ago•1 comments

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

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

79•swatson741•10h ago•10 comments

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

https://github.com/Snapchat/Valdi

457•yehiaabdelm•1d ago•186 comments

Ticker: Don't die of heart disease

https://myticker.com/

380•colelyman•10h ago•332 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...

160•pinkahd•2h ago•183 comments

Why is Zig so cool?

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

489•vitalnodo•1d ago•426 comments

Opencloud – an alternative to Nextcloud written in Go

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

36•todsacerdoti•8h ago•5 comments

Syntax and Semantics of Programming Languages

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

60•nill0•1w ago•3 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

12•wahnfrieden•1h ago•4 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...

5•HardwareLust•17m ago•0 comments

52 Year old data tape could contain Unix history

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

151•rbanffy•9h ago•54 comments

Myna: Monospace typeface designed for symbol-heavy programming languages

https://github.com/sayyadirfanali/Myna

374•birdculture•1d ago•166 comments

Cekura (YC F24) Is Hiring

1•atarus•13h ago

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743

152•otrack•17h ago•46 comments

How did I get here?

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

336•zachlatta•1d ago•57 comments