RFID-Based Smart Servo Lock System using Arduino R4 Wi-Fi
hackster.io·9h
🔌Microcontrollers
Looking at my Arduino
boswell.bearblog.dev·23h
🔌Microcontrollers
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·2h
🎭Program Synthesis
Functions are Asymmetric
elbeno.com·17h
😴Lazy Evaluation
Beating the L1 cache with value speculation (2021)
mazzo.li·5d·
Discuss: Lobsters, Hacker News
🔮Branch Predictors
Toy Binary Decision Diagrams
philipzucker.com·5d
✅Type Checking
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·4d
🔗Borrowing Extensions
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·1d·
Discuss: r/ClaudeAI
⚡Effect Handlers
Rule 110 Cellular Automaton Visualizer
reddit.com·6h·
Discuss: r/rust
🐛Interactive Debuggers
Shoot at our cybersecurity proposal
reddit.com·20h·
Discuss: r/embedded
🛡️Security Type Systems
Effective C++ – Hour 10
jtag.bearblog.dev·2d
🧸Toy Compilers
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🔄Incremental Lexing
GPT-OSS from Scratch on AMD GPUs
reddit.com·18h·
Discuss: r/LocalLLaMA
🌱Forth Kernels
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·4d
📏Linear Logic
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·3d
🌸Bloom Indexing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·12h·
Discuss: DEV
✨Effect Inference
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🔍Lens Libraries
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·6h·
Discuss: DEV
📡Erlang
Planning Out My First Home Server/Camera System
i.redd.it·12h·
Discuss: r/homelab
🛡️Capability VMs