computer science, automata, theory, computation

The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·4d·
Discuss: Hacker News
Existential Types
Flag this post
The AI Engineer's Guide to Surviving the EU AI Act • Larysa Visengeriyeva & Barbara Lampl
youtu.be·2d·
Discuss: r/programming
🔲Cellular Automata
Flag this post
Microsoft forms superintelligence team to serve humanity
cnbc.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Assessing Climate Vulnerability Risk for Substations in Massachusetts Via Sensitivity Analysis
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Go Generics: Use Cases and Patterns
dev.to·2d·
Discuss: DEV
Existential Types
Flag this post
A Modular, Data-Free Pipeline for Multi-Label Intention Recognition in Transportation Agentic AI Applications
arxiv.org·2d
🔍CBMC
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
The Search API Reset: Incumbents Retreat, Innovators Step Up
thenewstack.io·1d
🌐ActivityPub
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
A Practical Gemini-Integrated Debian Concept, Inspired by My Larger NeuroShellOS Vision
dev.to·1d·
Discuss: DEV
💻QEMU
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·4d
🔲Cellular Automata
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·4d·
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
A Scientific Comparison with Meditation App
news.ycombinator.com·1h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post