computer science, automata, theory, computation

India's Unified Payments Interface Has Revolutionized Its DigitalPayments Market
business.cornell.edu·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
original ↗
raymondcamden.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·1d·
Discuss: r/programming
🔧ppx
Flag this post
Beyond lxml: Faster and More Pythonic Parsing with pygixml and selectolax
dev.to·4h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Go Generics: Use Cases and Patterns
dev.to·2d·
Discuss: DEV
Existential Types
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
🧠 Smart Text Matching: RapidFuzz vs Difflib
dev.to·4d·
Discuss: DEV
🔤Regular Expressions
Flag this post
Agentic AI: Building the Next Generation of Intelligent Systems
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·4d
Automated Theorem Proving
Flag this post
A Practical Gemini-Integrated Debian Concept, Inspired by My Larger NeuroShellOS Vision
dev.to·1d·
Discuss: DEV
💻QEMU
Flag this post
Optimized Metabolic Flux Redirection for Enhanced Taxol Production in *Saccharomyces cerevisiae*
dev.to·10h·
Discuss: DEV
🔍CBMC
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·3d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3d·
Discuss: DEV
📦Module Systems
Flag this post
Dynamic causal discovery in Alzheimer's disease through latent pseudotime modelling
arxiv.org·1d
🔁Fixpoint Theory
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·4d·
Discuss: DEV
🧮Z3
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·3d
🐫Embedded OCaml
Flag this post
Molecular Alchemy: AI-Powered Design of Novel Compounds by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🤖Program Synthesis
Flag this post