computer science, automata, theory, computation

Coercin, Monopsony in American Manufacturing: Evidence from Alabama Prison Labor
papers.ssrn.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
Pragma Unroll
sandordargo.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
The AI development trap that wastes your time
suchdevblog.com·2d·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·3d
⏱️Computational Complexity
Flag this post
Humans and neural networks show similar patterns of transfer and interference
nature.com·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Dynamic Modeling of Precipitation in Electrolyte Systems
arxiv.org·3d
🔧Microcontrollers
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·3d·
🧩Parser Combinators
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3d
Process Calculi
Flag this post
Analyzing Network Traffic with AI: Introducing mcp-wireshark (Wireshark + MCP)
dev.to·17h·
Discuss: DEV
🌐Network Protocols
Flag this post
The Rise of Chatbots and Conversational AI in Customer Service Development
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·3d
🩹Self-Healing Systems
Flag this post
How to Learn a New AI Tool in 24 Hours (Framework Included)
dev.to·2d·
Discuss: DEV
Automated Theorem Proving
Flag this post
From AI to NLP: The Four Phases of Language Understanding
dev.to·2d·
Discuss: DEV
📚Automata Learning
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·1d
🐫OCaml
Flag this post
Mind’s Eye Flow Engine — Turning Postgres Into a Thinking System
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Colorectal Cancer Histopathological Grading using Multi-Scale Federated Learning
arxiv.org·1d
⏱️Computational Complexity
Flag this post