computer science, automata, theory, computation

India's Unified Payments Interface Has Revolutionized Its DigitalPayments Market
business.cornell.edu·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
original ↗
raymondcamden.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Microsoft forms superintelligence team to serve humanity
cnbc.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·1d·
Discuss: r/programming
🔧ppx
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·3d·
Discuss: Hacker News
🛡️seL4
Flag this post
Assessing Climate Vulnerability Risk for Substations in Massachusetts Via Sensitivity Analysis
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
The Illusions of Quality — Episode 11: Beyond Compliance — Building a Culture That Lasts 🚦
dev.to·2h·
Discuss: DEV
🔬Reverse Engineering
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Unclonable Cryptography in Linear Quantum Memory
arxiv.org·1d
Existential Types
Flag this post
Diffusion Dynamics in Biofilms with Time-Varying Channels
arxiv.org·1d
🔲Cellular Automata
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
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·3d
🧩Parser Combinators
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·3d
🔍Type Inference
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·3d
🎮Verification Games
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3d·
Discuss: DEV
📦Module Systems
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·4d
Automated Theorem Proving
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·3d
🐫Embedded OCaml
Flag this post
Dynamic causal discovery in Alzheimer's disease through latent pseudotime modelling
arxiv.org·1d
🔁Fixpoint Theory
Flag this post
Global AI Giants Expand in India: Big US Firms Double Down on AI Market
dev.to·5h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
From DevOps to Developer Advocacy: Finding My Path in the Age of AI
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post