📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

CAdES signatures on Debian
enricozini.org·3h
🔒Hardware Attestation
Ethereum smart contracts used to push malicious code on npm
reversinglabs.com·4h
🌳Archive Merkle Trees
Prompting Tips
klatz.co·13h
📐Proof Assistants
Generative AI: a game-changer for mainframe modernization in Europe
techradar.com·5h
🏢IBM Mainframes
Text Encoding Concerns in Ada
nytpu.com·1d
🔤Character Encoding
ngn/k tutorial
razetime.github.io·1d
🔗Concatenative Programming
Real-Time M-Pesa STK Payments with Cloudflare Durable Objects
blog.devhooks.live·9h·
Discuss: Hacker News
🌊Streaming Systems
The case against Almost Always `auto` (AAA)
gist.github.com·1d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Data processing pipeline for MIMIC-IV an open electronic health record dataset
proceedings.mlr.press·15h·
Discuss: Hacker News
📊Count-Min Sketch
The repercussions of a typo in C++ & Rust
nablag.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
I made a CLI to stop manually copy-pasting code into LLMs
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Heterogeneous Processor-Aware Dynamic Graph Pruning for Real-Time SLAM on Autonomous Robots
dev.to·11h·
Discuss: DEV
🖥️Hardware Architecture
SimulMEGA: MoE Routers are Advanced Policy Makers for Simultaneous Speech Translation
arxiv.org·15h
⧗Information Bottleneck
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·1d·
Discuss: Hacker News
🔒WASM Capabilities
Multi-Modal Acute Dermatitis Analysis via Integrated Semantic & Structural Decomposition
dev.to·13h·
Discuss: DEV
🔤Character Classification
Safe and Efficient Lane-Changing for Autonomous Vehicles: An Improved Double Quintic Polynomial Approach with Time-to-Collision Evaluation
arxiv.org·15h
🔄Graph Rewriting
A Topology of Cognition
dev.to·1h·
Discuss: DEV
🧮Kolmogorov Complexity
DCPO: Dynamic Clipping Policy Optimization
arxiv.org·15h
🧠Learned Codecs
I Replaced Redis Locks with Database Atomicity and You Should Too
dev.to·1h·
Discuss: DEV
🦀Rusty Databases
Two Proven Countermeasures to Oracle Attacks on EdDSA
hackernoon.com·23h
🌳Archive Merkle Trees