📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Keeping Data Safe with OpenZFS: Security, Encryption, and Delegation
klarasystems.com·52m
💿ZFS Internals
Migrating Lyft’s Android Codebase to Kotlin
eng.lyft.com·1d
🌀Brotli Internals
China claims brain-like AI breakthrough ‘100 times faster than traditional models’
independent.co.uk·8h·
Discuss: Hacker News
🇨🇳Chinese Computing
'Make invalid states representable' considered harmful
seangoedecke.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🛡️Preservation Proofs
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔒Type Safety
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es·2d·
Discuss: Hacker News
🚀Indie Hacking
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·14h·
Discuss: Hacker News
🎮Gameboy Emulation
EmbeddingGemma Model Card
ai.google.dev·3d·
Discuss: Hacker News
⚙️Compression Benchmarking
Maximize HyperPod Cluster utilization with HyperPod task governance fine-grained quota allocation
aws.amazon.com·1d
🌊Streaming Systems
How Solana Token Development Services Empower Startups to Scale Fast
dev.to·12h·
Discuss: DEV
🌊Stream Processing
Need help to craft lower level optimization for golang
reddit.com·3d·
Discuss: r/golang
⚡gRPC
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·2d
🌀Differential Geometry
Automated Spectral Anomaly Detection in Ru-H Catalysts via Multi-modal Hypergraph Analysis
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Automated Multi-Modal Analysis for Early Ischemic Colitis Detection via Microvasculature Biomarkers
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Journey into Collaborative Innovation
dev.to·22h·
Discuss: DEV
🔓Open Source Software
Quantized Temporal Graph Matching for Anomaly Detection in Reversed Mass Ordering Systems
dev.to·3d·
Discuss: DEV
🔤EBCDIC Mining
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·13h
🔲Cellular Automata
ConstStyle: Robust Domain Generalization with Unified Style Transformation
arxiv.org·1d
📊Learned Metrics
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·6d
🎯Performance Proofs
Quantize Your Vectors, Speed Up Your Java AI Applications
dev.to·2d·
Discuss: DEV
🗂️Vector Databases