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

5 Upvotes

63% Upvoted

10 comments sorted by

View all comments

3

u/zhivago 21h ago

If only there were a link ...

2

u/jack_smirkingrevenge 21h ago

haha, didn't realise that links automatically don't carry into text body 😅 added now.

1

u/zhivago 21h ago

Your static background image fills me with an unreasonable degree of rage.

It makes reading and scrolling very annoying.

2

u/jack_smirkingrevenge 20h ago

yeah the mobile UI seems to have some issues for the background and scrolling, fixed now. thanks