@okmij.org.ftp@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
List of updates to okmij.org
Site URL: okmij.org/ftp/
Feed URL: okmij.org/ftp/rss.xml
Posts: 10
Followers: 1
Nested grouping-aggregation: Vertical monoid composition
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nga.warm-up
Published: January 1, 2026 00:01
Nested grouping-aggregation: Vertical monoid composition A slightly simpler, and faster, algorithm and a better explanation
Generating Code along with Annotations,
https://okmij.org/ftp/meta-programming/calculi.html#tricks
Published: January 1, 2026 00:01
Generating Code along with Annotations, on an apt example suggested by Olivier Danvy long time ago. An OlivierFest paper.
Generating parallel map-reduce for nested grouping-aggregation.
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nga.gen
Published: January 1, 2026 00:01
Generating parallel map-reduce for nested grouping-aggregation. Generating first-order, imperative and indeed performant code
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks.
https://okmij.org/ftp/meta-programming/calculi.html#scope-check
Published: January 1, 2026 00:01
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks. Published in PACMPL (POPL), 2026.
MetaOCaml: Ten Years Later.
https://okmij.org/ftp/ML/MetaOCaml.html#design-10
Published: January 1, 2026 00:01
MetaOCaml: Ten Years Later. The full, 2.5x extended paper published in Science of Computer Programming
Anaphora in Static Orthodox First-Order Logic:
https://okmij.org/ftp/gengo/index.html#new-PLA
Published: December 8, 2025 00:01
Anaphora in Static Orthodox First-Order Logic: intra- and inter-sentential, bound-variable and donkey anaphora in the the 1920s logic
Compilers: Incrementally and Extensibly
https://okmij.org/ftp/tagless-final/Compiler/index.html#intro
Published: November 1, 2025 00:01
Teaching Compilers: Incrementally and Extensibly once more. The course notes are updated and extended. The significantly re-written Section 3 of the course notes (starts on p.12) now gives a very simple introduction to optimization in the tagless-final…
Fun with Monoids and Map-Reduce:
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html
Published: October 3, 2025 00:01
More Fun with Monoids and Map-Reduce: with quite more explanations -- in particular, of the parallel Horner rule (relating to outer semidirect product) and Boyer-Moore majority voting. Added the complete OCaml code for the parallel nested-aggregation,…
Having an Effect:
https://okmij.org/ftp/Computation/having-effect.html
Published: September 5, 2025 00:01
Having an Effect: more polish, more references
Nested grouping-aggregation: Vertical monoid composition.
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#nested-agg
Published: August 6, 2025 00:01
Nested grouping-aggregation: Vertical monoid composition. Nested grouping-aggregation (Advent of Code 2022 Problem 1) embarrassingly in parallel, with linear speed-up.