Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Goodhart’s Law (of AI)
doctorow.medium.com·1h
Learn systems, not langauges
pthorpe92.dev·2d
Demystifying Cosine Similarity
towardsdatascience.com·3d
Flattening the Curve: Rediscovering Web UI Through Historic Geometric Constructions (WHY2025)
cdn.media.ccc.de·18h
A simulated dataset for proactive robot task inference from streaming natural language dialogues
nature.com·1h
A unified moment approach for time-independent and time-dependent reliability analyses of robotic systems
sciencedirect.com·2d
Loading...Loading more...