Devlog: UCL - Adding Some Missing Library Functions
lmika.org·3h
🧠Lisp Dialects
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·4d
🎯Performance Proofs
Flag this post
Claude, Teach Me Something
hugotunius.se·1d
🤖Grammar Induction
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
🇸🇪Nordic Algorithms
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Five LLM Tricks for Data Pipelines
🔗Constraint Handling
Flag this post
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
arxiv.org·6d
👑Coq Tactics
Flag this post
Quiz: Using Python Optional Arguments When Defining Functions
realpython.com·2h
🔗Lisp
Flag this post
Epistemic Deference to AI
arxiv.org·10h
🧮Theoretical Computer Science
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·1h
👁️System Observability
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·5d
🏗️Constructive Logic
Flag this post
Corecursion
λLambda Encodings
Flag this post
Empirical Partial Derivatives
📚Archive Mathematics
Flag this post
Amortized Active Generation of Pareto Sets
arxiv.org·10h
🔲Cellular Automata
Flag this post
Loading...Loading more...