computer science, automata, theory, computation

QuantumScape: A Convex Long On The Future Of Solid-State Energy
seekingalpha.com·1h
⚛️Information Physics
Flag this post
What's Next in Customer Identity and Access Management
kuppingercole.com·1d·
Discuss: Hacker News
🔗Data Provenance
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·19h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1d·
Discuss: Hacker News
Effect Handlers
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·19h·
Discuss: Substack
🎙️Whisper
Flag this post
A Deep Dive into Multi-Transport Protocol Abstraction in Python
dev.to·18h·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·1d
🎛️Feed Filtering
Flag this post
Automated Simulation Anomaly Detection via Multi-Modal Graph Analysis and Reinforcement Learning
dev.to·9h·
Discuss: DEV
🎯Threat Hunting
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·1d
📏Code Metrics
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
🖥️Game Emulation
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🔗Concatenative Languages
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.to·2h·
Discuss: DEV
🤖AI Curation
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
Proof Automation
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·16h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
🌐Computational Topology
Flag this post
Laravel AI Agent That Chats with Telex.im
dev.to·12h·
Discuss: DEV
🎙️Whisper
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Flag this post