Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Cipher Mining: Building For The Future, But Still Bleeding
seekingalpha.comΒ·6h
πŸ”—Hash Chains
How Sui Move rethinks flash loan security
blog.trailofbits.comΒ·2d
⚑Hardware Transactional Memory
Some musings on the Metric system
boston.conman.orgΒ·20h
🏷️Metadata Standards
You’re invited: Four phishing lures in campaigns dropping RMM tools
redcanary.comΒ·8h
🎫Kerberos Attacks
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Secure Boot
Reshaped is now open source
reshaped.soΒ·1dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
[Media] Kuwahara Filter Running with Rust + WGSL
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Borrowing
Automating Data Pipelines with Python
dev.toΒ·4hΒ·
Discuss: DEV
πŸ€–Archive Automation
Rewriting Dataframes for MicroHaskell
mchav.github.ioΒ·4dΒ·
🧠Lisp Dialects
Recognition-based Interactive Greeting System
hackster.ioΒ·4d
⚑Homebrew CPUs
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.orgΒ·3d
✨Effect Handlers
ALL-PET: A Low-resource and Low-shot PET Foundation Model in the Projection Domain
arxiv.orgΒ·17h
πŸ—œοΈLZW Variants
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.ioΒ·3d
πŸ”„Language Evolution
PeTTO: Leveraging GPUs to Accelerate Topology Optimization with the Pseudo-Transient Methods
arxiv.orgΒ·2d
βš™οΈTape Engineering
Enhanced Computational Fluid Dynamics for Microfluidic Device Optimization via Adaptive Chebyshev Collocation
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
Sparsity Unleashed: Democratizing Simulations with Function-Space Autoencoders by Arvind Sundararajan
dev.toΒ·4dΒ·
Discuss: DEV
πŸ“ŠQuantization
Walking the line between broad scope and lack of legal certainty (T 2387/22)
ipkitten.blogspot.comΒ·5hΒ·
πŸ”²Proof Irrelevance
Building a Recipe Scraping Tool in Python: What I learned
dev.toΒ·20hΒ·
Discuss: DEV
πŸ“‘RSS Automation