📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·6d·
Discuss: Hacker News
🕸️Graph Algorithms
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·13h·
Discuss: Hacker News
🔊Audio Compression Theory
Karate – Test Automation Made Simple
karatelabs.github.io·2d·
Discuss: Hacker News
⚡Proof Automation
Why I'm lukewarm on graph neural networks
singlelunch.com·4d·
Discuss: Hacker News
🕸️Graph Embeddings
Large Language Mode(ration)
ashley.rolfmore.com·1d·
Discuss: Hacker News
🗺️Competency Maps
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·2d·
Discuss: Hacker News, r/programming
🔄Language Evolution
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·2d·
Discuss: Hacker News
🎯Threat Hunting
Building APM32 Projects with CMake
hackster.io·1d
🏭Compiler Backends
Understanding Log Events: Why Context Is Key
thenewstack.io·1d
👁️Observatory Systems
The Tmux Menagerie
worksonmymachine.ai·5d·
Discuss: Hacker News
🪟Awesome windows command-line
Awesome Web Templates to Check Out in 2025
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Handling Traffic Spikes Through Automated Prioritized Load Shedding - Benjamin Fedorka, Netflix
youtube.com·2h
🌊Streaming Systems
Single and Multi-Frequency Path Loss Models for Indoor Hotspot Scenario Based on Measurements Conducted at 6.75, 16.95, 28, 73 and 142 GHz
arxiv.org·2d
ℹ️Information Theory
Easy to use server for the KiCad Plugin and Content Manager
github.com·3d·
Discuss: Hacker News
📦METS Containers
Metamorphosis in Machines: Unlocking Flexible Representations by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🌀Brotli Internals
ChatGPT Code Reviews: How AI Feedback in 3 Minutes Beat Human Reviews Every Time
dev.to·1d·
Discuss: DEV
📏Code Metrics
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·1d
⚖️Feed Ranking
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·5d·
Discuss: DEV
🧠Memory Allocators
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·5d·
Discuss: DEV
🌐NetworkProtocols
Recognition-based Interactive Greeting System
hackster.io·4d
⚡Homebrew CPUs