Type-level Programming, Proof-carrying Code, Agda, Type Safety
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.comยท2d
An Investment in Learning
slott56.github.ioยท1d
Reachability in symmetric VASS
arxiv.orgยท6h
Command Controlled Rover
hackster.ioยท21h
Mixture of Experts Architecture in Transformer Models
machinelearningmastery.comยท7h
My history with Forth & stack machines
yosefk.comยท13h
Reliability for unreliable LLMs
stackoverflow.blogยท20h
Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
arxiv.orgยท6h
Loading...Loading more...