@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
Linear Recurrences
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html#lin-rec
Published: October 7, 2026 00:01
Solving first- and higher-order Linear Recurrences as monoid reductions, even in parallel, and not just with multiplication and addition but for general semirings or near semirings. Composing monoids by semidirect product.
Parallel Fun with Monoids and Map-Reduce,
https://okmij.org/ftp/Algorithms/map-monoid-reduce.html
Published: September 8, 2026 00:01
Significantly re-written Parallel Fun with Monoids and Map-Reduce, showing how map-reduce and conjugate transform arise naturally, among other things. Also added are more exercises.
Summaries and impressions of papers and talks,
https://okmij.org/ftp/Computation/Impressions/index.html
Published: August 6, 2026 00:01
Rearranged and edited Summaries and impressions of papers and talks, in particular:
J. Strother Moore:
https://okmij.org/ftp/Computation/Impressions/ACL2.html
Published: August 6, 2026 00:01
J. Strother Moore: History and Lessons of NQTHM and ACL2 Theorem Provers
Principia Mathematica
https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html
Published: August 6, 2026 00:01
Principia Mathematica is modern and insightful
Clastic:
https://okmij.org/ftp/Computation/Impressions/Clastic.html
Published: August 6, 2026 00:01
Clastic: Functional Approach to Texture Generation
Modular Explicits:
https://okmij.org/ftp/ML/higher-kind-poly.html#mod-exp
Published: July 3, 2026 00:01
Modular Explicits: a lightweight and general encoding of module-dependent functions in ordinary OCaml (as an instance of Reynolds representation of abstract types using universals rather than existentials). Even more lightweight higher-kinded polymorphism.
Generators: the API for traversal, iteration and non-determinism:
https://okmij.org/ftp/Computation/generators.html
Published: June 8, 2026 00:01
Generators: the API for traversal, iteration and non-determinism: completely re-written from the point of view of push/pull iteration, emphasizing how simple push generators and yield are to implement.
Bibliographic `web service' in VAX/VMS times: or shell scripting done right.
https://okmij.org/ftp/Babel/Babel.html#vax-scripting
Published: May 5, 2026 00:01
Bibliographic `web service' in VAX/VMS times: or shell scripting done right. If VAX were more widespread Perl would not have been needed.
Matrix-matrix multiplication, from less conventional points of view:
https://okmij.org/ftp/Algorithms/matmul.html
Published: April 7, 2026 00:01
Matrix-matrix multiplication, from less conventional points of view: including an elegant imperative view