Dependent Types, Proof Assistant, Type-driven Development, Verification
My AI Workflow for Understanding Any Codebase
steipete.meยท14h
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท20h
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.ioยท6h
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
Cactus Language โข Syntax 12
inquiryintoinquiry.comยท8h
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท2d
Loading...Loading more...