Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·6h
🔗Lisp
A Lisp in 99LOC
github.com·1d·
Discuss: Hacker News
🔗Lisp
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5h·
Discuss: r/programming, r/webdev
💧Liquid Types
Philosopher’s Annual for 2024
dailynous.com·19h
🏛️Philosophy
Matter
taoofmac.com·1d
🏷️Metadata Standards
Interpolation in Classical Propositional Logic
arxiv.org·14h
🔗Combinatory Logic
An AI-Powered MTG Set Generator
wingedsheep.com·2h·
Discuss: Hacker News
⚡Homebrew CPUs
PaperRegister: Boosting Flexible-grained Paper Search via Hierarchical Register Indexing
arxiv.org·14h
📇Indexing Strategies
Characterizing NC1 with Typed Monoids
arxiv.org·14h
⚙️Syntactic Monoids
A brief consideration of input shapes (fuzzing)
addisoncrump.info·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-Scale Pretraining
blog.datologyai.com·1h·
Discuss: Hacker News
🌀Brotli Dictionary
Presheaf automata
arxiv.org·14h
🎯Automata theory
UNVEILING: What Makes Linguistics Olympiad Puzzles Tricky for LLMs?
arxiv.org·14h
💻Local LLMs
Foldable SuperNets: Scalable Merging of Transformers with Different Initializations and Tasks
arxiv.org·14h
🔗Monadic Parsing
MCP Tools and Dependent Types
vlaaad.github.io·8h·
Discuss: Hacker News
💧Liquid Types
Modelling Exactly-Once Delivery Using TLA+
medium.com·15h·
Discuss: Hacker News
⚙️TLA+
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·37m
🔲Proof Irrelevance
When Philosophy Meets AI
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Typechecker Zoo
sdiehl.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·9h·
Discuss: DEV
🔗Constraint Handling