Marco 🌳 Zocca

@ocramz@sigmoid.social
266 Followers
894 Following
773 Posts
ML, Ξ» β€’ he/him
language and the machines that understand it
Marco 🌳 ZoccaNov 23, 2024
#statusupdate
Marco 🌳 ZoccaNov 17, 2024
nature is healing
Marco 🌳 ZoccaAug 19, 2024
property tests _work_ #haskell
Marco 🌳 ZoccaAug 14, 2024

proving some theorems

#haskell #smt #theoremproving #formalmethods

Marco 🌳 ZoccaMay 18, 2024
lfg #smt #formalmethods #haskell
Marco 🌳 ZoccaNov 18, 2023
Ryoan-ji #kyoto #japan
Marco 🌳 ZoccaNov 17, 2023
#happiness #nintendo #kyoto #japan
Marco 🌳 ZoccaSep 17, 2023

very sensible of the emperor to build their castle near the central station

#tokyo #japan

Marco 🌳 ZoccaSep 3, 2023
even under a non-informative prior, it takes 2 minutes on lesswrong to infer that Yud is full of πŸ’©πŸ’©πŸ’©
Marco 🌳 ZoccaJul 8, 2023
ah yes, #aws stores money amounts as floats !?