computer science, automata, theory, computation

Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Process Calculi
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4d
🧮Z3 Solver
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·20h
🐳Containerization
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·16h·
Discuss: Substack
🎨GADTs
Flag this post
How Low-Code/No-Code Platforms Are Powering Hyperautomation Across Enterprises
dev.to·2h·
Discuss: DEV
👁️System Observability
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·15h·
Discuss: DEV
λFunctional Programming
Flag this post
AI and Emotional Forecasting: Predicting Consumer Sentiment for Smarter Marketing
dev.to·16h·
Discuss: DEV
🔁Fixed-Point Theory
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·10h
🔬Unikernels
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·4h
🧠Automated Reasoning
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·4h
🧠Automated Reasoning
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·4h
🔄Reproducible Builds
Flag this post
Convergence analysis for a tree-based nonlinear reduced basis method
arxiv.org·4h
📐Linear Algebra
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·1d
🔲Cellular Automata
Flag this post
Learning Reflections: The Age of Perceptual AI
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·14h·
Discuss: Hacker News
💎Refinement Types
Flag this post