computer science, automata, theory, computation

Help me get Claude Code vibes on my local setup (9950X3D + RTX 5090 + 2TB RAG)
reddit.com·5h·
Discuss: r/homelab
🔀OCaml Multicore
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·2d
📐Linear Algebra
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.to·7h·
Discuss: DEV
🔧ppx
Flag this post
From Developer to Prompt Engineer: The New Frontier of Coding in the AI Era
dev.to·11h·
Discuss: DEV
🤖Program Synthesis
Flag this post
ProstNFound+: A Prospective Study using Medical Foundation Models for Prostate Cancer Detection
arxiv.org·2d
🔢Algebraic Data Types
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·2d
📚Automata Learning
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·3d
🎯GADT
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·12h·
Discuss: DEV
📚Automata Learning
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·2d
🧩Parser Combinators
Flag this post
Made my first AI Agent Researcher with Python + Langchain + Ollama
reddit.com·5h·
Discuss: r/artificial
🧮Z3
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·19h·
Discuss: Substack
🧩Parser Combinators
Flag this post