Using Abstract Syntax Trees to Turn Cloudflare Workflows Code into Diagramsblog.cloudflare.com3 points·by calrizien·vor 4 Monaten·0 comments
calrizien·letzten Monat·discussDoes this work for the Apple Docs website? Really tricky to get those offline.
calrizien·vor 3 Jahren·discussIs there a public compendium of lean proofs? More specifically, has Euclid's Elements been translated into lean?
calrizien·vor 4 Jahren·discussGreat work! Seems like Apple could make this a whole lot easier by giving even the slightest support...
calrizien·vor 4 Jahren·discussWhat are the current best ML language models to play with on the M1Max?
calrizien·vor 4 Jahren·discussI noticed this too while trying to renew my bar dues. Its so devious. It degrades the whole profession when the gatekeeper is obviously trying to scam you.