Freewriting in my head, and overcoming the “twinge of starting”
lesswrong.com·7h
📵Digital Minimalism
Flag this post
The case against boolean logic
❓Existential Types
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Chatbots, My Rules of Engagement
🔀Brzozowski Derivatives
Flag this post
Ajla Tutorial
🔬Static Analysis
Flag this post
How Machine Learning Is Solving the $2 Trillion Contract Management Problem
🔀Brzozowski Derivatives
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🔍CBMC
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·15h
🧪Property-Based Testing
Flag this post
Leadership Co-Processing with LLMs
📵Digital Minimalism
Flag this post
Fungus: The Befunge CPU(2015)
🔧Unikernel Development
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Evidence on language model consciousness
lesswrong.com·4h
📚Automata Learning
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...