Type Synthesis, Type Checking, Local Inference, Elaboration
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.deยท17h
Working at ABI boundaries
rkrishnan.orgยท3d
Agentic Design Patterns with LangGraph
pub.towardsai.netยท16h
We teach young people to write. In the age of AI, we must teach them how to see - The Conversation
news.google.comยท8h
SynthPert: Enhancing LLM Biological Reasoning via Synthetic Reasoning Traces for Cellular Perturbation Prediction
arxiv.orgยท4h
Agentic Exploration of Physics Models
arxiv.orgยท1d
Loading...Loading more...