Compiler and Language Design

I'm quite impressed by Frank Pfenning's Adjoint Functional Language he described at OPLSS'24. It's a language based on Linear Logic with a co-monadic structure which is a kind of modality with associated adjoints which allow a shift from structural to substructural logics in the types. See https://www.cs.cmu.edu/~fp/projects.html#adjoint for details.


Subscribe to OPLSS'24.

Both he and Bob Harper are funded by Jane Street. See Bob Harper's Course on Principles of Programming Languages and Frank Pfenning's Course on Linear Logic.

Most of what programmers do with general purpose programming languages is only done because of what other people do, and those things are almost always done only because of other things other people have done, and so on and so forth. So the benefits of being able to compose programs from the top-down are quite significant. See How Could One Unify CMU and MIT. 

We are heck of a long way from being able to manage the technology stacks in use today, even without AI chatbots in the mix.  It's a giant shit-show and even well-paid people don't want to do this work. See FUTO FUBS and the Everything App and A New Kind of Science.
  
Subscribe to Defensive Security Podcast.
 
Most of the systems in use today are just for passing money around. Cyclosporiasis is a disease of the intestines. Maybe there'll be an outbreak on the Oracle corporate yacht?
 

Subscribe to DW News.

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

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

FUTO FUBS

Image
I think this is the first time they've actually publicly announced anything about this project. See these posts: Eron Woolf on Why Open Source is Failing Matt Mikhailov and Vincent McKibbon on The Problem with Open Hardware Jason Kridner talking About BeagleBoard.org and Software Development .  See these places:  https://danielc.dev/rk/ https://github.com/petabyt/rk https://github.com/futo-org/ret See also  https://pine64.org/devices/pinebook_pro/ . Subscribe to  FUTO .  See  https://github.com/nir9/low-level-learning-resources/tree/master/setups/debian . Subscribe to  Nir Lichtman .  If you're looking for a cool init process, try  https://ctx.graphics/terminal/ . See  Artful Bytes - When to Use a RTOS  and  How to Create a Successful Open Source Project . 
Read more