computer science, automata, theory, computation

The thymus hosts more 'cellular teachers' than we thought, study finds
rupress.org·15h
➡️Category Theory
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.co·11h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·2d·
Process Calculi
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·9h·
📚Automata Learning
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🎨GADTs
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
How Low-Code/No-Code Platforms Are Powering Hyperautomation Across Enterprises
dev.to·20h·
Discuss: DEV
👁️System Observability
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·21h
🧩Separation Logic
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·7h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.com·18h·
Discuss: DEV
📝Nix Language
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·21h
🧩Parser Combinators
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·21h
📚Automata Learning
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·21h
🧩Parser Combinators
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·21h
🕸️Graph Theory
Flag this post
BeetleFlow: An Integrative Deep Learning Pipeline for Beetle Image Processing
arxiv.org·21h
🔨Compilers
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·21h
🧩Separation Logic
Flag this post