📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Discovering the Discovery of Designated Resolvers
labs.ripe.net·16h
🌐DNS Security
Governance of the DNS root zone
blog.apnic.net·1d
🌐DNS over QUIC
Rockchip RV1126B-P quad-core Cortex-A53 SoC shows up in AI Vision system-on-module
cnx-software.com·10h
🦾ARM Cortex-M
Beyond the Cloud: The Local-First Software Revolution • Brooklyn Zelenka & Julian Wood
youtube.com·12h
🌊Streaming Systems
[R] Graph ML benchmarks and foundation models
reddit.com·1d·
Discuss: r/MachineLearning
🕸️Graph Embeddings
You're Not Interviewing for the Job. You're Auditioning for the Job Title
idiallo.com·3h·
Discuss: Hacker News
⚙️Proof Engineering
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
📏Code Metrics
How is Ultrassembler so fast?
jghuff.com·2d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Modern Assembly
Asymmetric Linearizable Local Reads
muratbuffalo.blogspot.com·7h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·1d·
Discuss: Hacker News
💻Local LLMs
Sandboxing AI-generated code: why we moved from WASM to AWS Lambda
quesma.com·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
Why Bittensor's Top Subnets Still Can't Explain Themselves
abittensorjourney.com·8h·
Discuss: Hacker News
🔗Topological Sorting
Dynamic Bio-Digital Archive Reconstruction via Temporal Graph Neural Networks
dev.to·12h·
Discuss: DEV
⏳Time Capsule Networks
Natural language-based database analytics with Amazon Nova
aws.amazon.com·8h
🌊Streaming Databases
The Feature I Almost Abandoned (That Users Loved Most)
dev.to·12h·
Discuss: DEV
🔗Topological Sorting
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
⚙️ABNF Mining
Show HN: Prototyper - AI design platform
getaprototype.com·12h·
Discuss: Hacker News
📟CLI Design
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
🌊Stream Processing
Server-side rendering is dead, long live server-side rendering
pageo.us·7h·
Discuss: Hacker News
🌐Web Standards
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·5d·
Discuss: Hacker News, r/cpp
✨Effect Handlers