ocaml.github.io

cs3110.github.io

OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful

A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”.

www.catb.org

The Art of Unix Programming

This book and its on-line version are distributed under the terms of the Creative Commons Attribution-NoDerivs 1.0 license, with the additional proviso that the right to publish it on paper for sale or other for-profit use is reserved to Pearson Education, Inc. A reference copy of this license may be found at http://creativecommons.org/licenses/by-nd/1.0/legalcode.

signals-threads.simplecast.com

Signals and Threads

Stephen Dolan works on Jane Street’s Tools and Compilers team where he focuses on the OCaml compiler. In this episode, Stephen and Ron take a trip down memory lane, discussing how to manage computer memory efficiently and safely. They consider trade-offs between reference counting and garbage collection, the surprising gains achieved by prefetching, and how new language features like local allocation and unboxed types could give OCaml users more control over their memory.

https://signals-threads.simplecast.com/episodes/memory-management-with-stephen-dolan-VnWeJYgk social preview image

doc.rust-lang.org

The Rust Programming Language - The Rust Programming Language

by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community

unix.foo

Nobody Cracks Open a Programming Book Anymore · unix.foo

A sad look at the state of modern programming books.

news.ycombinator.com

Letta Code | Hacker News

If you're a Claude Code user (I assume much of HN is) some context on Letta Code: it's a fully open source coding harness (#1 model-agnostic OSS on Terminal-Bench, #4 overall).

dl.acm.org

Convivial design heuristics for software systems

The theme of this workshop is the proliferation of ideas about calling into question the cultural roots of our current programming languages, and the search for alternative paradigms with other cultural bases.

gnu.org

The GNU Operating System and the Free Software Movement

Since 1983, developing the free Unix style operating system GNU, so that computer users can have the freedom to share and improve the software they use.

rsdoiel.github.io

R. S. Doiel, Software Engineer/Analyst — Robert's ramblings

By R. S. Doiel, 2026-02-21 (revised: 2026-03-03, epilogue added 2026-03-27)

archive.ph

Coding After Coders: The End of Computer Programming as We Know It - …

archived 16 Mar 2026 15:14:04 UTC

https://archive.ph/jmIMc social preview image

doi.org

Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...