fp.

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

https://ironclad-os.org/

82•vitalnodo•2h ago•11 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

181•ulrischa•6h ago•96 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/

290•pseudolus•10h ago•151 comments

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

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

77•defrost•5h ago•36 comments

WriterdeckOS

https://writerdeckos.com

114•surprisetalk•6h ago•57 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...

47•harambae•3d ago•14 comments

Control structures in programming languages: from goto to algebraic effects

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

84•SchwKatze•5d ago•2 comments

Characterizing the American Upper Paleolithic

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

9•bikenaga•1h ago•1 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...

18•todsacerdoti•2h ago•0 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

110•JoshTriplett•5h ago•24 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

41•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/

112•jtbayly•8h ago•26 comments

My first fifteen compilers (2019)

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

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

6•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

456•yehiaabdelm•1d ago•186 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...

157•pinkahd•2h ago•180 comments

Ticker: Don't die of heart disease

https://myticker.com/

375•colelyman•10h ago•328 comments

Why is Zig so cool?

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

488•vitalnodo•1d ago•425 comments

Syntax and Semantics of Programming Languages

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

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

10•wahnfrieden•1h ago•3 comments

Opencloud – an alternative to Nextcloud written in Go

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

32•todsacerdoti•8h ago•4 comments

52 Year old data tape could contain Unix history

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

150•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

How did I get here?

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

334•zachlatta•1d ago•57 comments

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743

150•otrack•17h ago•46 comments

Computational Complexity of Air Travel Planning (2003) [pdf]

http://www.ai.mit.edu/courses/6.034f/psets/ps1/airtravel.pdf

63•arnon•4d ago•7 comments

Cekura (YC F24) Is Hiring

1•atarus•13h ago

Immutable Software Deploys Using ZFS Jails on FreeBSD

https://conradresearch.com/articles/immutable-software-deploy-zfs-jails

169•vermaden•1d ago•44 comments

Mullvad: Shutting down our search proxy Leta

https://mullvad.net/en/blog/shutting-down-our-search-proxy-leta

198•holysoles•1d ago•130 comments

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

Marko – A declarative, HTML‑based language

Study identifies weaknesses in how AI systems are evaluated

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

WriterdeckOS

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

Control structures in programming languages: from goto to algebraic effects

Characterizing the American Upper Paleolithic

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

Avería: The Average Font (2011)

Open-source communications by bouncing signals off the Moon

Cloudflare scrubs Aisuru botnet from top domains list

My first fifteen compilers (2019)

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

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

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

IP Blocking the UK Is Not Enough to Comply with the Online Safety Act

Ticker: Don't die of heart disease

Why is Zig so cool?

Syntax and Semantics of Programming Languages

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

Opencloud – an alternative to Nextcloud written in Go

52 Year old data tape could contain Unix history

Myna: Monospace typeface designed for symbol-heavy programming languages

How did I get here?

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

Computational Complexity of Air Travel Planning (2003) [pdf]

Cekura (YC F24) Is Hiring

Immutable Software Deploys Using ZFS Jails on FreeBSD

Mullvad: Shutting down our search proxy Leta

Supreme Court temporarily blocks full SNAP benefits even as they'd started to

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

Marko – A declarative, HTML‑based language

Study identifies weaknesses in how AI systems are evaluated

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

WriterdeckOS

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

Control structures in programming languages: from goto to algebraic effects

Characterizing the American Upper Paleolithic

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

Avería: The Average Font (2011)

Open-source communications by bouncing signals off the Moon

Cloudflare scrubs Aisuru botnet from top domains list

My first fifteen compilers (2019)

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

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

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

IP Blocking the UK Is Not Enough to Comply with the Online Safety Act

Ticker: Don't die of heart disease

Why is Zig so cool?

Syntax and Semantics of Programming Languages

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

Opencloud – an alternative to Nextcloud written in Go

52 Year old data tape could contain Unix history

Myna: Monospace typeface designed for symbol-heavy programming languages

How did I get here?

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

Computational Complexity of Air Travel Planning (2003) [pdf]

Cekura (YC F24) Is Hiring

Immutable Software Deploys Using ZFS Jails on FreeBSD

Mullvad: Shutting down our search proxy Leta