Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·21h
🔗Unification Algorithms
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·2d
✅Configuration Validation
Flag this post
Formal Verification’s Value Grows
semiengineering.com·5h
🎭Program Synthesis
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔄Subinterpreters
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·8h
⚖️Weighted Automata
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
🦀MIR Optimization
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🔄Nanopass
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Tokenizers
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
💬Interactive REPLs
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·8h
🔍ML Language
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🎮Language Ergonomics
Flag this post
Looking for feedback on RunMQ - a message queue library built on top of RabbitMQ, Guarantees for async jobs processing & event driven architectures
📋Task Queues
Flag this post
Stop Calling LLMs AI
🔮Metacircular Evaluators
Flag this post
Loading...Loading more...