📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Lagrange v1.19: Site Structure, Vertical Tabs, and Subscription Management
gmi.skyjake.fi·15h
🌀Brotli Internals
SWE-bench Verified Update
warp.dev·1d
👁️System Observability
Sallies
asemic-horizon.com·21h
🏗️Constructive Logic
Detecting Exposed LLM Servers: A Shodan Case Study on Ollama
blogs.cisco.com·23h
📦Container Security
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·13h·
Discuss: DEV
📏Code Metrics
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
🌊Stream Processing
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
📏Code Metrics
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·17h·
Discuss: Hacker News
💻Local LLMs
Learn about building a Rust Plugin System
blog.anirudha.dev·1d·
Discuss: Hacker News
🦀Embedded Rust
Build Your Own Htmx
joshi.monster·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
⚙️ABNF Mining
Sandboxing AI-generated code: why we moved from WASM to AWS Lambda
quesma.com·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
This Page Is a Quine
pranavg.me·2d·
Discuss: Hacker News
🔤Type Theory
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
🔄Language Evolution
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·5d·
Discuss: Hacker News, r/cpp
✨Effect Handlers
How to use gopls MCP with VS Code
dev.to·7h·
Discuss: DEV
📝ABNF Parsing
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
⚡Parallel Computing
Data-Driven Bifurcation Handling in Physics-Based Reduced-Order Vascular Hemodynamic Models
arxiv.org·1d
✨Effect Handlers
Isolated(any)
nshipster.com·20h·
Discuss: Hacker News
⛪Church Encoding