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.
Neversaw.us: The Case For Bash
Bash values a very particular fitness for purpose: the management and coordination of programs. This includes spawning processes, connecting processes via pipelines, and parallelizing processes. The purpose of Bash is running other programs.
Fast.ai: Mojo may be the biggest programming language advance in decades
Mojo is a new programming language, based on Python, which fixes Python’s performance and deployment problems.
Atlas: Why Lisp?
Edward Loveall: Let's Make Sure Github Doesn't Become the only Option
GitHub’s dominance is a risk to the software industry. Making GitHub the primary platform gives one company the power to put their needs over yours, or the industry’s. We risk leaving brilliant developers behind who don’t work well with GitHub’s paradigms. We risk being stuck with our old, technical mistakes because the underlying technology never changes. We risk losing control over our tools because they’re not actually our tools.
Madhadron: The seven programming ur-languages
Thomas Leonard's blog: Lambda Capabilities
"Is this software safe?" is a question software engineers should be able to answer, but doing so can be difficult. Capabilities offer an elegant solution, but seem to be little known among functional programmers. This post is an introduction to capabilities in the context of ordinary programming (using plain functions, in the style of the lambda calculus).
Kiran Gopinathan: How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
Naver: Korean as a Concatenative, Stack-Oriented Language (2017)
AP: Hi 지애!
Nitter: I've been surprised at how well gpt-4 handles OCaml, and libraries like Core and Async.