Autumn Lisp Game Jam 2025
⏳LTL
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🔄Finite State Machines
Flag this post
Chatbots, My Rules of Engagement
🔀Brzozowski Derivatives
Flag this post
Machine Scheduler in LLVM – Part II
🏃Escape Analysis
Flag this post
I built a Rust-based evolution SIM where creatures eat their children
🔲Cellular Automata
Flag this post
Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning
arxiv.org·2d
📚Automata Learning
Flag this post
The Biggest Challenge in #80DaysOfChallenges… is a Lack of Challenges
⏱️Computational Complexity
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
🔢Computability Theory
Flag this post
Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error
arxiv.org·2d
📚Automata Learning
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
🧠Automated Reasoning
Flag this post
Is 'human' a risky AGI target
📚Automata Learning
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🔀OCaml Multicore
Flag this post
Weak-To-Strong Generalization
lesswrong.com·7h
🔤Kleene Algebra
Flag this post
How I Use Every Claude Code Feature
💻CLI Tools
Flag this post
Loading...Loading more...