📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Setting up a Postmarks server for the Fediverse
apalrd.net·16h
📡RSS Extensions
<p>I saw someone online mention <a href="https://www.zo.computer">Zo Computer</a> so I though I&rsquo;d give it a try. Asked it to produce a Go function based o...
lmika.org·19h
🧮Z3 Solver
Program verification is not all-or-nothing
lawrencecpaulson.github.io·20h
🎯Performance Proofs
getumbrel/umbrel-apps
github.com·19h
🔌Interface Evolution
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·11h·
Discuss: Hacker News
🔓Hacking
Towards Rust in Windows Drivers
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Semantic Parsing for Question Answering over Knowledge Graphs
arxiv.org·2d
🧮Prolog Parsing
AI Artists vs. AI Engineers
frontierai.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Automated ACE Inhibitor Lead Optimization via Multi-Modal Data Fusion and HyperScore Scoring
dev.to·1d·
Discuss: DEV
🗂️Vector Search
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·16h
✅Format Verification
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.org·16h
💻Programming languages
The 100x100 Challenge: Learning Through GitHub Projects
dev.to·3h·
Discuss: DEV
🧬Bitstream Evolution
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·12h·
Discuss: DEV
✅Format Verification
CloudFormer: An Attention-based Performance Prediction for Public Clouds with Unknown Workload
arxiv.org·1d
👁️Observatory Systems
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·16h
🌊Stream Processing
I made a transformer by hand (no training)
vgel.me·1d·
Discuss: Hacker News
🤖Grammar Induction
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·2d
💻Local LLMs
No-CPU Amiga Demo and Framework
github.com·4h·
Discuss: Hacker News
⚡Homebrew CPUs
Kubernetes UI Headlamp New Release 0.35.0
github.com·6h
📦Container Security
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·16h
🌲Parse Trees