3 ms·
Finite math system, verified in Coq – for theory nerds and alt. IT ppl
- kwojno 1y agothis is a product of my year's long collab with AIs. NO INFINITY. EVERYTHING COSTS. would love to get some feedback - it has value both for philosophers and IT practitioners who are interested in alternative ways of designing networks and neural nets. cheers!