Anton Zhiyanov: SQL join flavors
Github: Queueing theory
Queueing theory is the mathematical study of waiting lines, or queues. We use queueing theory in our software development, for purposes such as analyzing and optimizing our practices and processes, such as our customer service responsiveness, project management kanban planning, inter-process communication message queues, and devops continuous deployment pipelines.
A Language for Type-Driven Development
Idris is a programming language designed to encourage Type-Driven Development.
Simon Tatham: Philosophy of coroutines
Practical OCaml: A quick guide to GADTs and why you ain't gonna need them
Truth is that unless you are Jane Street and need to optimize the hell out of your compact arrays, or are writing a toy λ-calculus interpreter, you're probably better off without them.
Infinite Negative Utility: Leaving Haskell behind
What pushed me away from Haskell?
- the stylistic neophilia that celebrates esoteric code but makes maintenance a chore
- the awkward tooling that makes working with Haskell in a day-to-day sense clunkier
- the constant changes that require sporadic but persistent attention and cause regular breakages
Fasterthanlime: A half-hour to learn Rust (2020)
F# for Fun and Profit: Railway Oriented Programming
A Poet's Guide to Product Management with Peter Bogart-Johnson
Peter Bogart-Johnson was one of Jane Street’s first program managers, and helped bring the art of PMing—where that “P” variously stands for “project,” “product,” or some blend of the two—to the company at large. He’s also a poet and the editor of a literary magazine. In this episode, Peter and Ron discuss the challenge of gaining trust as an outsider: how do you teach teams a new way of doing things while preserving what’s already working? The key, Peter says, is you listen; a good PM is an anthropologist. They also discuss how paying down technical debt isn’t something you do instead of serving customers; what Jane Street looks for in PM candidates; and how to help teams coordinate in times of great change.
Sebastian Jambor: Part 1: Protocol Fundamentals
Hirrolot's Blog: Compiler Development: Rust or OCaml?
While Rust excels at resource management, OCaml turns out to be a more suitable choice for compiler development.
Aryan Godara: UDP Client and Server in OCaml using LWT
Discuss OCaml: Announcing the ocaml-wasm organisation
Github: wasm_of_ocaml