ICFP 2026

See ICFP 2026 Program. I just caught the end of an interesting talk by Hongshuo Fan who has been experimenting with musical gesture recognition. That would be interesting to try in collaborative composition projects too. Also Jared Gentner on what sounds to me like an interesting way to compose languages. It definitely works for performance programming!

There was also a miniKanren thread. See William Byrd on Relational Programming and Quines. Starts at 1:18:34. At 3:08:42 Towards bottom-up enumeration in miniKanren via pruning and memoization. At 6:04:44 Compiling polymorphic relations without monomorphization. 6:52:18 Efficient Rational Unification for miniKanren. Questions & Answers at 7:26:12. 8:14:53 Lean, Mean miniKanren Machine.  9:03:12 Q&A.

Subscribe to ACM SIGPLAN. 

Also, tomorrow at 9AM Edward Lee on Deterministic Concurrency. 

It is not uncommon, particularly in the early literature in computer science, to equate concurrency with nondeterminism and to treat the two together as a profound difficulty encountered when trying to understand programs. ... In this talk, I argue for interpreting determinism as a property of models, not as a property of physical systems. I will then argue that, contrary to almost all current practice, determinism has immense value in concurrent and distributed software systems. Moreover, I will show that deterministic models do not intrinsically come with a performance penalty and that they make the design of fault-tolerant systems easier, not harder.

See his book Deterministic Concurrency and here's a talk he gave three years ago:

See https://repo.lf-lang.org.

My comment:

I'm looking forward to hearing your ICFP talk tomorrow. We badly need some of this technology in stock market trading systems to shut down the high-frequency trading crooks like Jane Street who sponsor the ICFP event. [35:00] 

He wrote a book entitled Plato and the Nerd:

46:06 Interesting question about models and what a Turing Machine is a model of. (It was supposed to be a model of an effective method of calculation.)

Subscribe to Edward Lee. 

Subscribe to Steve Mold (I don't) 

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

How Could One Unify CMU and MIT

Image
I mean, how to get the best of the two different philosophies of computation. One is based on typed programming languages and the other on engineering with diagrams . This is about practical computing and the cost and feasibility of software development in general. Here is the problem: We have a lot of algorithms which can all be described abstractly using some sort of pseudocode, or perhaps using some particular language (usually Python!). These algorithms are often well-studied and a lot is known about them in terms of their computational complexity in time and space. Substantive practical software systems invariably employ many such algorithms, often implemented in libraries with more or less well-specified APIs. But very few of these libraries are capable of interoperating because they are either packages written in some specific programming language like Java or Haskell, say, or they are written in C and used as object code, or they are written in an interpreted language like Sc...
Read more

Tensor Fields and Simplicial Complexes

Image
Listening to Freya Holmér last night I started to get glimmers of an idea I had long ago about how to represent vector spaces in computational processes using this recursive abstract type :  abstype 'a point = POINT   of {getx :  'a vector,       diff :  'a point -> 'a point,       move :  'a point -> 'a point,       scale : 'a -> 'a point,       proj :  'a point -> 'a} with    fun new i (op +) (op -) (op * ) dot =    let fun self x =  POINT       {getx = x,        move = fn (POINT pr) =>           (self (x + (#getx pr))),        diff = fn (POINT pr) =>          self (x - (#getx pr)),        scale = fn i =>          (self (x * i)),        proj = fn (POINT pr) =>     ...
Read more