Musci.io – Text-to-Music AI Generator (20-30 second generation time)
📚Automata Learning
Flag this post
Amazon is testing an AI that automatically translates books into other languages
✓Automated Theorem Proving
Flag this post
Pragma Unroll
🔀OCaml Multicore
Flag this post
Beyond the Repository – Communications of the ACM
🔧DevOps
Flag this post
Inception releases upgraded Mercury dLLM with improved coding and reasoning
⚙️Abstract Machines
Flag this post
I built a platform that automates AI Agent creation – using Job Description
🔢Algebraic Data Types
Flag this post
Fair-Mutex - an RWMutex implementation which gives equal priority to read and write locks
👁️System Observability
Flag this post
SQLC Dynamic Filters and Bulk Inserts
🔤Language Design
Flag this post
My first release on crates.io: A graph visualization lib
github.com·1d
🕸️Graph Theory
Flag this post
Agentic Browsers, MCPs and Security: What "Prompt Injection" Means
✓Automated Theorem Proving
Flag this post
Record and Playback vs Scriptless Testing: Who Wins in Test Reusability?
🧪Property-Based Testing
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
📚Automata Learning
Flag this post
Loading...Loading more...