@examachine - jlai.lu

examachine@programming.dev

0 Posts
2 Comments

Joined 2 months ago

Cake day: March 28th, 2026

You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.

OverviewCommentsPosts

examachine@programming.devtoProgramming Languages@programming.dev•Lean Programming Language - with formally verified code
link
fedilink
arrow-up
1·
2 months ago
Lean is a quite advanced design.

link
fedilink

examachine@programming.devtoProgramming Languages@programming.dev•Uiua — an extremely terse programming langauge
link
fedilink
arrow-up
1·
2 months ago
Must be an art project :D

link
fedilink