fp.

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

https://ironclad-os.org/

38•vitalnodo•59m ago•5 comments

Marko – A declarative, HTML‑based language

https://markojs.com/

162•ulrischa•5h ago•82 comments

WriterdeckOS

https://writerdeckos.com

99•surprisetalk•5h ago•50 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/

272•pseudolus•9h ago•147 comments

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

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

53•defrost•4h ago•21 comments

Control structures in programming languages: from goto to algebraic effects

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

65•SchwKatze•5d ago•1 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...

126•pinkahd•1h ago•112 comments

What Hallucinogens Will Make You See

https://nautil.us/what-hallucinogens-will-make-you-see-308247/

31•simonebrunozzi•2h ago•23 comments

Avería: The Average Font (2011)

http://iotic.com/averia/

87•JoshTriplett•4h ago•18 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...

10•todsacerdoti•1h ago•0 comments

Cloudflare scrubs Aisuru botnet from top domains list

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

108•jtbayly•7h ago•25 comments

Open-source communications by bouncing signals off the Moon

https://open.space/

28•fortran77•6d ago•7 comments

My first fifteen compilers (2019)

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

36•azhenley•1w ago•2 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...

12•harambae•3d ago•2 comments

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

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

79•swatson741•9h ago•9 comments

How to declutter, quiet down, and take the AI out of Windows 11 25H2

https://arstechnica.com/gadgets/2025/11/what-i-do-to-clean-up-a-clean-install-of-windows-11-23h2-...

37•mariuz•2h ago•28 comments

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

https://github.com/Snapchat/Valdi

453•yehiaabdelm•23h ago•185 comments

Ticker: Don't die of heart disease

https://myticker.com/

342•colelyman•9h ago•291 comments

Why is Zig so cool?

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

484•vitalnodo•1d ago•422 comments

Syntax and Semantics of Programming Languages

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

58•nill0•1w ago•2 comments

52 Year old data tape could contain Unix history

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

139•rbanffy•7h ago•50 comments

US Air Traffic Controllers Start Resigning as Shutdown Bites

https://www.thedailybeast.com/air-traffic-controllers-start-resigning-as-shutdown-bites/

89•throw0101a•56m ago•108 comments

Myna: Monospace typeface designed for symbol-heavy programming languages

https://github.com/sayyadirfanali/Myna

371•birdculture•1d ago•166 comments

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743

148•otrack•16h ago•44 comments

Cekura (YC F24) Is Hiring

1•atarus•12h ago

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

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

60•arnon•4d ago•5 comments

How did I get here?

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

325•zachlatta•1d ago•57 comments

Immutable Software Deploys Using ZFS Jails on FreeBSD

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

165•vermaden•23h ago•44 comments

I Want You to Understand Chicago

https://aphyr.com/posts/397-i-want-you-to-understand-chicago

430•tonyg•4h ago•180 comments

Opencloud – an alternative to Nextcloud written in Go

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

20•todsacerdoti•7h ago•2 comments

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

Marko – A declarative, HTML‑based language

WriterdeckOS

Study identifies weaknesses in how AI systems are evaluated

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

Control structures in programming languages: from goto to algebraic effects

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

What Hallucinogens Will Make You See

Avería: The Average Font (2011)

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

Cloudflare scrubs Aisuru botnet from top domains list

Open-source communications by bouncing signals off the Moon

My first fifteen compilers (2019)

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

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

How to declutter, quiet down, and take the AI out of Windows 11 25H2

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

Ticker: Don't die of heart disease

Why is Zig so cool?

Syntax and Semantics of Programming Languages

52 Year old data tape could contain Unix history

US Air Traffic Controllers Start Resigning as Shutdown Bites

Myna: Monospace typeface designed for symbol-heavy programming languages

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

Cekura (YC F24) Is Hiring

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

How did I get here?

Immutable Software Deploys Using ZFS Jails on FreeBSD

I Want You to Understand Chicago

Opencloud – an alternative to Nextcloud written in Go

Control structures in programming languages: from goto to algebraic effects

Comments

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

Marko – A declarative, HTML‑based language

WriterdeckOS

Study identifies weaknesses in how AI systems are evaluated

Largest Cargo Sailboat Completes Historic First Atlantic Crossing

Control structures in programming languages: from goto to algebraic effects

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

What Hallucinogens Will Make You See

Avería: The Average Font (2011)

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

Cloudflare scrubs Aisuru botnet from top domains list

Open-source communications by bouncing signals off the Moon

My first fifteen compilers (2019)

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

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

How to declutter, quiet down, and take the AI out of Windows 11 25H2

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

Ticker: Don't die of heart disease

Why is Zig so cool?

Syntax and Semantics of Programming Languages

52 Year old data tape could contain Unix history

US Air Traffic Controllers Start Resigning as Shutdown Bites

Myna: Monospace typeface designed for symbol-heavy programming languages

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

Cekura (YC F24) Is Hiring

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

How did I get here?

Immutable Software Deploys Using ZFS Jails on FreeBSD

I Want You to Understand Chicago

Opencloud – an alternative to Nextcloud written in Go