Type Synthesis, Type Checking, Local Inference, Elaboration
Botober 2025: Terrible recipes from a tiny neural net
aiweirdness.comยท4h
Working at ABI boundaries
rkrishnan.orgยท3d
Ontological Engineering
joodaloop.comยท1d
The Machine Learning Lessons Iโve Learned This Month
towardsdatascience.comยท14h
Semantic Voting: A Self-Evaluation-Free Approach for Efficient LLM Self-Improvement on Unverifiable Open-ended Tasks
arxiv.orgยท23h
Making sense of parameter-space decomposition
lesswrong.comยท3d
Loading...Loading more...