@examachine - Beehaw

examachine ( examachine@programming.dev )

0 Posts
2 Comments

Joined 7 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 ( examachine@programming.dev ) toProgramming Languages@programming.dev•Lean Programming Language - with formally verified code
link
fedilink
arrow-up
1·
7 months ago
Lean is a quite advanced design.

link
fedilink

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

link
fedilink