📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Lagrange v1.19: Site Structure, Vertical Tabs, and Subscription Management
gmi.skyjake.fi·10h
🌀Brotli Internals
SWE-bench Verified Update
warp.dev·1d
👁️System Observability
Intel plans virtual "super processor cores"
heise.de·1d
⚡Nordic Processors
Sallies
asemic-horizon.com·16h
🏗️Constructive Logic
The future of 32-bit support in the kernel
lwn.net·11h·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Processors are getting wider
lemire.me·16h·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
Art Index in ShannonBase
medium.com·2d·
Discuss: Hacker News
🗄️SQLite Internals
Miso: A swiss table implementation from scratch in rust
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
🌊Stream Processing
Ask HN: Polyglot Mirroring
news.ycombinator.com·19h·
Discuss: Hacker News
🦀Rust Borrowing
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·1d
🤖Grammar Induction
Detecting Exposed LLM Servers: A Shodan Case Study on Ollama
blogs.cisco.com·18h
📦Container Security
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
📏Code Metrics
How is Ultrassembler so fast?
jghuff.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Modern Assembly
AI is Your Copilot, Not Your Architect: A Senior Developer's Guide to Prompt Engineering for Code
dev.to·8h·
Discuss: DEV
📏Code Metrics
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔄Language Evolution
What Is Complexity in Chess?
lichess.org·1d·
Discuss: Hacker News
🧮Z3 Solver
How to Test
matklad.github.io·19h·
Discuss: Hacker News
🧪Property-Based Testing
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·12h·
Discuss: Hacker News
💻Local LLMs