Log of changes on okmij.org

September 12, 2022

• Highest-performance Stream Processing: New version of the strymonas library, generating high-performance OCaml and C code from declarative stream pipelines

August 8, 2022

• Tagless-final DSL with lists of various strictness. Measuring the impact of laziness/strictness by counting cons and closures

July 12, 2022

• Renewed and updated the index of image compression papers and notes. All papers are now available in PDF.

June 6, 2022

• Even Better Stream Fusion: the talk at the Seminar on Tensor Computation, Oxford's Department of Computer Science

May 3, 2022

• The Atom feed for this site

April 2, 2022

• My solution to the lobste.rs' run-length-encoding challenge, developed like ``screwing-in fragments to a garden hose''

March 9, 2022

• Automating adiabatic calorimeter thirty-two years ago

February 1, 2022

• Delimited control and breadth-first, depth-first, and iterative deepening search. Quite more optimized and competitive breadth-first and iterative deepening. A better example: inductive programming.

January 1, 2022

• Not by Equations Alone: Reasoning with Extensible Effects
• DSL of algebraic effects and handlers
• System T as unexpectedly expressive programming language: more explanation and encoding of lists
• All Things Flow: Unfolding the History of Streams
• Polynomial Event Semantics: Negation

December 3, 2021

• System T/PCF considered as unexpectedly expressive programming language

November 3, 2021

• Poster/slides directly in PostScript

October 7, 2021

• This site is now also available via HTTPS

September 11, 2021

• Higher-kinded bounded polymorphism without higher-kind type variables

August 7, 2021

• Making the old page How OCaml type checker works -- or what polymorphism and garbage collection have in common clearer and more polished

August 2020 through July 2021

continues in a separate document: ChangeLog-25.html

December 1995 through August 1996

continues in a separate document: ChangeLog-0.html