SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

LLMs tried to run a robot in the real world – it didn't go well
techspot.com·8h
🤖Lisp Machines
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·5d·
λLambda Encodings
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·4d
🔓Decompilation
Flag this post
Superhuman AI for Multiplayer Poker
science.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·15h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·22h·
Discuss: Substack
🌊Streaming Systems
Flag this post
Digital Twin based Automatic Reconfiguration of Robotic Systems in Smart Environments
arxiv.org·4h
🏠Homelab Automation
Flag this post
EL-MIA: Quantifying Membership Inference Risks of Sensitive Entities in LLMs
arxiv.org·4h
💻Local LLMs
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
🏺Protocol Archaeology
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·5d·
🦀Rust Borrowing
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
dev.to·11h·
Discuss: DEV
🦋Format Metamorphosis
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·4h
⏱️SMPTE Timecode
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
📐Proof Assistants
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·4h
🤖Advanced OCR
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·4h
🔨Compilers
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·4d·
Discuss: DEV
🗺️Competency Maps
Flag this post