computer science, automata, theory, computation

How to get a character from a codepoint in Spark SQL
prequel.co·5h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·1d·
Discuss: Hacker News
📦Opam
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Process Calculi
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
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
It's Mainframes All the Way Down
medium.com·3h·
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·14h·
Discuss: DEV
👁️System Observability
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·2h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·15h
🧩Parser Combinators
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·15h
📐Linear Algebra
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·15h
📐Linear Algebra
Flag this post
DC4GS: Directional Consistency-Driven Adaptive Density Control for 3D Gaussian Splatting
arxiv.org·1d
🎨GADTs
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·15h
🔲Cellular Automata
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·15h
🔢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·15h
🔲Cellular Automata
Flag this post