computer science, automata, theory, computation

Berkeley Police Department Transitioning to Encrypted Radio Communications
local.nixle.com·1h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
An overview of the PPPP protocol for IoT cameras
palant.info·5h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
OpenAI for Science
openai.com·3h·
Discuss: Hacker News
🤖Robotics
Flag this post
Blending AI and Engineering: Kartik Venkataraman’s Blueprint for Scalable, Intelligent Software
hackernoon.com·15h
🤖Program Synthesis
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·18h·
Discuss: DEV
🎮Verification Games
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
🕸️Graph Theory
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.org·1d
Existential Types
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Getting Started with Claude Code (Super Easy!)
dev.to·2d·
Discuss: DEV
💻CLI Tools
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·15h
🔁Fixpoint Theory
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·15h
🔲Cellular Automata
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
💾Retro Computing
Flag this post
When Assurance Undermines Intelligence: The Efficiency Costs of Data Governance in AI-Enabled Labor Markets
arxiv.org·15h
🔲Cellular Automata
Flag this post
How to talk to people about AI threat
lesswrong.com·13h
🎮Verification Games
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·20h·
Discuss: DEV
🎮Verification Games
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
🧩Parser Combinators
Flag this post