Type Synthesis, Type Checking, Local Inference, Elaboration
Building a small DSL for 3D with python.
m0th.bearblog.dev·2d
ai fuels creativity
imperfect.bearblog.dev·8h
Agentic Exploration of Physics Models
arxiv.org·1d
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·1d
SafeFlowMatcher: Safe and Fast Planning using Flow Matching with Control Barrier Functions
arxiv.org·1d
Loading...Loading more...