computer science, automata, theory, computation

The Dumpster Dive Principle
ninjasandrobots.com·15h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·18h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The AI Village Where Top Chatbots Collaborate–and Compete
time.com·15h·
🔲Cellular Automata
Flag this post
A Deep Dive into Multi-Transport Protocol Abstraction in Python
dev.to·17h·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·5h·
Discuss: DEV
👁️System Observability
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
📚Automata Learning
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·8h·
Discuss: DEV
🎮Verification Games
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·2d
📚Automata Learning
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🧩Parser Combinators
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
🔀OCaml Multicore
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🧩Parser Combinators
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
🧠Automated Reasoning
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·15h·
Discuss: Hacker News
🐳Containerization
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
🕸️Graph Theory
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.to·2h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Laravel AI Agent That Chats with Telex.im
dev.to·11h·
Discuss: DEV
💬Mach Messages
Flag this post