Type-level Programming, Proof-carrying Code, Agda, Type Safety
AI That Finds “Shadows” in Fusion Reactors Could Unlock Clean Energy Faster
scitechdaily.com·10h
Progress on my open source funding experiment
hezmatt.org·14h
Mindful Pomodoro on M5Stack Paper
hackster.io·18h
Making Pose Representations More Expressive and Disentangled via Residual Vector Quantization
arxiv.org·10h
Loading...Loading more...