Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🔀OCaml Multicore
Flag this post
Coding Agents Are Outliers
🤖Program Synthesis
Flag this post
Branched Signature Model
arxiv.org·19h
🕸️Graph Theory
Flag this post
Code Smell 313 - Workslop Code
🔲Cellular Automata
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·19h
📐Linear Algebra
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
EL-MIA: Quantifying Membership Inference Risks of Sensitive Entities in LLMs
arxiv.org·19h
🛡️Privacy Engineering
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·19h
🕸️Graph Theory
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·19h
λFunctional Programming
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·19h
🧩Parser Combinators
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·19h
🧩Parser Combinators
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Loading...Loading more...