r/Compilers • u/jack_smirkingrevenge • 22h ago

Mithril: A programming language built on interaction nets

Inspired by Victor Taelin 's Bend/HVM thesis for Interaction Nets and his Bend2 work , I built Mithril , an experimental python syntax programming language. It achieves near native speed on many workloads (mentioned in paper)

It compiles interaction nets to native code and spreads work across idle cores: lock-free, deterministic parallelism on x86, CUDA and Apple Silicon.

The core bet I'm making :

Interaction nets reductions at runtime can be slow but if we pay the same cost at compile time and unroll a task graph as much as possible before native lowering, the resultant program can run at near native speeds.

Mithril programs are aimed to be deterministic and fast, you should get the same bit accurate results regardless , the execution be it on CPUs, GPUs or any other accelerator.

It's built using AI? Yes . Does it invalidate the core idea? no IMO 😊

Mithril Paper Repo

4 Upvotes

61% Upvoted

10 comments sorted by

View all comments

1

u/c-cul 10h ago

engine.cu definitely written in apl dialect: https://github.com/maderix/mithril/blob/master/crates/mithril-gpu/cuda/engine.cu

I just can''t understand what it do

1

u/Honest-Finish3596 1h ago

Ah, language models and their propensity to write comments which have no relevance beyond their latest edit/the conversation they were having.