What Is Occult Grammar?
🧩Parser Combinators
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
are-dependent-types-actually-erased
❓Existential Types
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔁Fixed-Point Theory
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
Modeling the geopolitics of AI development
lesswrong.com·5h
🤖Program Synthesis
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·17h
🛡️seL4
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
🧠Automated Reasoning
Flag this post
Neural Transparency: Mechanistic Interpretability Interfaces for Anticipating Model Behaviors for Personalized AI
arxiv.org·17h
🔲Cellular Automata
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·17h
✓Automated Theorem Proving
Flag this post
Decoding Kiroween
⚙️Compiler Design
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·17h
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·17h
🧩Parser Combinators
Flag this post
Loading...Loading more...