computer science, automata, theory, computation

Upbeat Technology's RISC-V MCU Takes Flight with Near-Threshold Computing
allaboutcircuits.com·9h·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
If You Were Me, How Would You Do It?
i.redd.it·13h·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
Show HN: I built a highly customizable mental arithmetic trainer for iOS
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Flag this post
Life Before Earth
arxiv.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
ML Library Comparison: Burn vs Candle
reddit.com·13h·
Discuss: r/rust
📦Module Systems
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·1d
🧩Parser Combinators
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·1d
🔲Cellular Automata
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·1d
🔍CBMC
Flag this post
RL-Aided Cognitive ISAC: Robust Detection and Sensing-Communication Trade-offs
arxiv.org·22h
👁️Observability
Flag this post
Production-Grade AI Agents: Architecture Patterns That Actually Work
dev.to·6h·
Discuss: DEV
🛡️seL4
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·3d·
Discuss: DEV
🔄Finite State Machines
Flag this post
Chain of Pattern: Rethink
dev.to·3d·
Discuss: DEV
🔤Language Design
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
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