๐Ÿ“ E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

How I Solved SQL Testing Hell: A Framework for DuckDB โ†” Snowflake Test Parity
medium.comยท6hยท
Discuss: Hacker News
๐ŸššData Migration
MCP? It's APIs All the Way Down
wiremock.ioยท3hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
TypeSanitizer: a detector for strict type aliasing violations
clang.llvm.orgยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.howยท2dยท
Discuss: Lobsters, r/programming
๐Ÿ”—Monadic Parsing
Secure AI Vibe Coding with Rules Files
wiz.ioยท2hยท
Discuss: Hacker News
โšกProof Automation
NativeJIT: A C++ expression โ€“> x64 JIT
github.comยท3dยท
Discuss: Hacker News
๐ŸญCompiler Backends
WebAssembly for Client-Side Image Processing
dev.toยท2dยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Fluid Aerial Networks: UAV Rotation for Inter-Cell Interference Mitigation
arxiv.orgยท13h
๐Ÿ•ธ๏ธNetwork Topology
Machine Learning Fundamentals: boosting project
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Recommending Variable Names for Extract Local Variable Refactorings
arxiv.orgยท1d
๐Ÿฆ€Rust Macros
Heartbeat of Modern Web Real Time Patterns User Design๏ผˆ1751529795407700๏ผ‰
dev.toยท9hยท
Discuss: DEV
๐ŸŒŠStream Processing
Outlier Weighed Layerwise Sparsity (OWL): A Missing Secret Sauce for Pruning LLMs to High Sparsity
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
MALIBU Benchmark: Multi-Agent LLM Implicit Bias Uncovered
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Make C++ a better place #4: Go as an alternative
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Week 1 โ€” Learning Basic concepts of Cybersecurity
infosecwriteups.comยท12h
๐Ÿ“กNetwork Protocol Design
MoNE: Replacing Redundant Experts with Lightweight Novices for Structured Pruning of MoE
arxiv.orgยท1d
๐Ÿง Intelligence Compression
An AST-guided LLM Approach for SVRF Code Synthesis
arxiv.orgยท1d
๐Ÿ“Compiler Design
Beyond Code: The Multidimensional Impacts of Large Language Models in Software Development
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Correlated Mutations for Integer Programming
arxiv.orgยท2d
๐ŸŒธBloom Variants
Learning Constraints Directly from Network Data
arxiv.orgยท2d
๐Ÿง Machine Learning