computer science, automata, theory, computation

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·15h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·12h·
🔩Systems Programming
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
Create a Text Editor With Go - Setup
dev.to·8h·
Discuss: DEV
📺Terminal UI
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
dev.to·10h·
Discuss: DEV
SMT Integration
Flag this post
Automated Simulation Anomaly Detection via Multi-Modal Graph Analysis and Reinforcement Learning
dev.to·5h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·2d
🔗Concatenative Languages
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
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
🖥️Game Emulation
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·13h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Laravel AI Agent That Chats with Telex.im
dev.to·8h·
Discuss: DEV
🎙️Whisper
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
🌐Computational Topology
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·2d
🧭Content Discovery
Flag this post
Convergence analysis for a tree-based nonlinear reduced basis method
arxiv.org·1d
📐Linear Algebra
Flag this post