Blog

Tarides: Zero-Day Attacks: What Are They, and Can a Language Like OCaml Protect You?

One Div Zero: A brief, incomplete, and mostly wrong history of programming languages (2009)

Aaron Maxwell: How "Exit Traps" Can Make Your Bash Scripts Way More Robust And Reliable

David A. Wheeler: Filenames and Pathnames in Shell: How to do it Correctly

Elliott Slaughter: What Are the Enduring Innovations of Lisp? (2022)

Jane Street: Oxidizing OCaml: Locality

IETF HTTP Working Group: The HTTP QUERY Method

This specification defines a new HTTP method, QUERY, as a safe, idempotent request method that can carry request content.

HTTP Toolkit: Defining a new HTTP method: HTTP SEARCH

HTTP SEARCH is a new HTTP method, for safe requests that include a request body. It's still early & evolving, but it was recently adopted as an IETF draft standard, and it's going to add some great new tools for HTTP development everywhere.

Hackaday: HP-41C, The Forth Edition

What Every Programmer Should Know About Floating-Point Arithmetic

The Future of Programming with Richard Eisenberg

Richard Eisenberg is one of the core maintainers of Haskell. He recently joined Jane Street’s Tools and Compilers team, where he hacks on the OCaml compiler. He and Ron discuss the powerful language feature that got him into PL design in the first place—dependent types—and its role in a world where AIs can (somewhat) competently write your code for you. They also discuss the differences between Haskell and OCaml; the perils of trying to make a language that works for everybody; and how best a company like Jane Street can collaborate with the open source community.