Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
Automated Event-Triggered Distributed Control Network Optimization via Hyperparameter-Adaptive Reinforcement Learning
dev.to·23h·
Discuss: DEV
📡Erlang
A New Partial State-Feedback IDA-PBC for Two-Dimensional Nonlinear Systems: Application to Power Converters with Experimental Results
arxiv.org·3d
↕️Bidirectional Types
Universal homing sensor: A hands-on guide for makers, engineers
edn.com·3h
🌐Portable Assembly
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·1d·
Discuss: DEV
✨Effect Inference
PC cooler control with a $2 microcontroller, no development board
popovicu.com·1d·
Discuss: Hacker News
🔌Microcontrollers
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🪜Recursive Descent
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Adventures on the AI Coding side of things
medium.com·2h·
Discuss: Hacker News
🎭Program Synthesis
The Role of AI in Next-Gen Chip Design
dev.to·10h·
Discuss: DEV
🔌Microcontrollers
1GHz Renesas RA8T2 Cortex-M85 MCUs feature MRAM and EtherCAT for industrial motor control
cnx-software.com·10h
🔌Microcontrollers
Neural Jump ODEs as Generative Models
arxiv.org·6h
🪜Recursive Descent
Dynamic Topology Optimization of Broadband Vibration Dampers via Multi-Objective Reinforcement Learning
dev.to·7h·
Discuss: DEV
🎭Program Synthesis
Quantum Computing: Why Nations Are Moving Now
exoswan.com·16h·
Discuss: Hacker News
🏰Capability Machines
On Governance: Authority and Order IV
inconclusive.net·4h
👑Dominator Analysis
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·11h·
Discuss: Hacker News, r/programming
🌊Reactive Languages
Tweaking the Circuits
matthiasott.com·2d
⚡Algebraic Effects