Unix system programming in OCaml

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”.

The Rust Programming Language - The Rust Programming Language

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

Nobody Cracks Open a Programming Book Anymore · unix.foo

A sad look at the state of modern programming books.

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).

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.

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.

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)

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

archived 16 Mar 2026 15:14:04 UTC

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 ...

Its Time for a New Programming Language

Today, when compared to any other point in programming history, we find ourselves spoiled for choice when it comes to programming…

The Rel Language - RAI Documentation

Full documentation for the Rel language.

The Topos of Programming | Yon

A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.

Command Line Interface Guidelines

An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

A break from programming languages

This is a blog post I have been considering writing for a long time.

Rust Programming Language

A language empowering everyone to build reliable and efficient software.