computer science, automata, theory, computation

How to get a character from a codepoint in Spark SQL
prequel.co·8h·
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 found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🎨GADTs
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·2d·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
It's Mainframes All the Way Down
medium.com·6h·
Discuss: Hacker News
💾Retro Computing
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·17h·
Discuss: DEV
👁️System Observability
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·5h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·19h
📐Linear Algebra
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
DC4GS: Directional Consistency-Driven Adaptive Density Control for 3D Gaussian Splatting
arxiv.org·1d
🎨GADTs
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·19h
🔲Cellular Automata
Flag this post
AI and Emotional Forecasting: Predicting Consumer Sentiment for Smarter Marketing
dev.to·1d·
Discuss: DEV
🔁Fixed-Point Theory
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·19h
🔢Algebraic Data Types
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
dev.to·2d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Chain of Time: In-Context Physical Simulation with Image Generation Models
arxiv.org·19h
🔲Cellular Automata
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
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·19h
📚Automata Learning
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.org·19h
🧩Parser Combinators
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·19h
🧩Parser Combinators
Flag this post