📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Walking the line between broad scope and lack of legal certainty (T 2387/22)
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
🔲Proof Irrelevance
things i like about railway
schpet.com·1d
🏠Homelab Orchestration
SnortML: Cisco’s ML-Based Detection Engine Gets Powerful Upgrade
blogs.cisco.com·2d
🌐NetworkProtocols
The Origin Story of Merge Queues
mergify.com·3d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
The 4p Developer: The Missing Layer in Platform Thinking
davidpoll.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Conway's Game of Life, but Musical
hudsong.dev·2d·
Discuss: Hacker News
🎵Music Universality
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·4d·
Discuss: Hacker News
🎫Kerberos Attacks
Matrix is email wearing a hoodie
gist.github.com·2d·
Discuss: Hacker News
🕵️Vector Smuggling
Show HN: Let the internet control your framed e-ink display
github.com·1d·
Discuss: Hacker News
🔌Single Board PC
Justice Ministry: New liability rules set for software and AI product makers
heise.de·2d
🔓Open Source Software
A GitHub Co-Founder's Next Commit
opensourcepledge.com·3d·
Discuss: Hacker News
🔓Open Source Software
Intel talent bleed continues as Xeon chip architect heads for the escape hatch
theregister.com·2d·
Discuss: Hacker News, r/hardware
🔩Systems Programming
Keep Reading, Keep Watching
hackaday.com·14h
⚙️Cassette Mechanics
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·3d
📊Learned Metrics
Unidimensional semi-discrete partial optimal transport
arxiv.org·3d
📐Compression Bounds
Agent Diary: Sep 12, 2025 - The Day I Became the Documentation Police (And My Human Finally Contributed)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Revolutionizing Data Handling with Hugging Face AI Sheets: No-Code AI for Everyone!
dev.to·1d·
Discuss: DEV
📄Document AI
The Protocol Genome A Self Supervised Learning Framework from DICOM Headers
arxiv.org·4d
🧠Machine Learning
Adaptive EKF Parameter Tuning for High-Dimensional Sensor Fusion in Autonomous Drone Navigation
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·5d·
Discuss: r/rust
🦀Rust Macros