High-speed and ultra-low-power superconductive neuron with ReLU activation
🔧Microcontrollers
Flag this post
Is cryptography in Go hard?
🔒Protocol Verification
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·2d
⚡Process Calculi
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·2d
🤖Robotics
Flag this post
How I Built a 95% Accurate Defect Detection System with an ESP32-CAM and Python
🐫Embedded OCaml
Flag this post
EEGReXferNet: A Lightweight Gen-AI Framework for EEG Subspace Reconstruction via Cross-Subject Transfer Learning and Channel-Aware Embedding
arxiv.org·2h
🔲Cellular Automata
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔢Algebraic Data Types
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
🔒Protocol Verification
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🔲Cellular Automata
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🐫OCaml
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·2d
🎯Hindley-Milner
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·2d
❓Existential Types
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·1d
🧪Property-Based Testing
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·1d
🔍CBMC
Flag this post
Towards Selection of Large Multimodal Models as Engines for Burned-in Protected Health Information Detection in Medical Images
arxiv.org·1d
❓Existential Types
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·1d
🔁Fixed-Point Theory
Flag this post
Power Constrained Nonstationary Bandits with Habituation and Recovery Dynamics
arxiv.org·2h
🩹Self-Healing Systems
Flag this post
Loading...Loading more...