📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Pisces’ net.
contravex.com·7h
🏰Manuscript Networks
1130 MRAM board - failed chips identified and replaced
rescue1130.blogspot.com·1h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
daily cover story
forbes.com·2d
💿WORM Storage
Quantum Information Supremacy
scottaaronson.blog·2d
⚛️Quantum Tape
Payment System Vendor Took Year+ to Patch Infinite Card Top-Up Hack
securityweek.com·5h·
Discuss: Hacker News
🏺Kerberos Archaeology
Semantic Line Breaks
irreal.org·3d
📜TEI Encoding
Bitsight GIA Update: How Gen-AI and LLMs Get You Faster (and Better) Entity Mapping
bitsight.com·3d
🧬Bitstream Evolution
What's missing in the remote work setups freelancers use?
news.ycombinator.com·17h·
Discuss: Hacker News
🏠Homelab Federation
Unified Architecture for Artificial General Intelligence Based on Similarity Topology
hackernoon.com·4d
🕸️Algebraic Topology
Audio Deepfakes: The Achilles' Heel in Voice Biometrics
dev.to·7h·
Discuss: DEV
🔊Acoustic Forensics
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
✅Format Verification
Service Discovery: The Backbone of Modern Distributed Systems day 50 of system design
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
TL;DR — We’re Using AI to Write Code Because We’re Lazy, and Not Putting AI in Software Because That’s Hard
dev.to·3d·
Discuss: DEV
📏Code Metrics
Rewriting Val Town's editor
blog.val.town·5d·
Discuss: Hacker News, Hacker News
🎯Gradual Typing
ProfilingAgent: Profiling-Guided Agentic Reasoning for Adaptive Model Optimization
arxiv.org·5d
📊Quantization
Dealing with the switch noise
reddit.com·8h·
Discuss: r/homelab
🔌Single Board PC
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·5d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
DeepGraphLog for Layered Neurosymbolic AI
arxiv.org·4d
🤖Paleographic AI
Hyperbolic Large Language Models
arxiv.org·5d
🌀Hyperbolic Geometry
Distro Discoveries (from a first-time user)
reddit.com·2d·
Discuss: r/linux
🔌Operating system internals