Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📋S-Expression
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Is the logic in numbers part of a greater universal language? A 2 part exploration of 0 and 1 - Part I The Reality in Numbers
🔗Concatenative Theory
Flag this post
Evidence on language model consciousness
lesswrong.com·2h
🎲Parser Fuzzing
Flag this post
“As of today, your name is Ahabâ€: Generic Critique as Reparative Praxis in
gamestudies.org·14h
🔗Concatenative Theory
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
🎯Pattern Matching
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
🌉Language Bridges
Flag this post
How to Use Zorn's Lemma
🔗Concatenative Theory
Flag this post
Ajla Tutorial
🔮Lisp Interpreters
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🔶Lattice Theory
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
What I've been up to
🔄Bootstrapping
Flag this post
Down with template (or not)!
cedardb.com·1d
📋Template Compilers
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1d
🎯Type Theory
Flag this post
Loading...Loading more...