📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Plover 5 Officially Released!!
plover.stenoknight.com·1d·
Discuss: www.blogger.com
🌀Brotli Internals
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·2d·
Discuss: Hacker News
🛡️eBPF Security
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·3d·
Discuss: r/programming, r/webdev
🌊Streaming Systems
So you want to control flow in PyTorch 2
blog.ezyang.com·6d·
Discuss: Hacker News
✨Effect Handlers
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
🧬Functional Programming
Just because you can render a Doom-like in SQL doesn't mean you should
theregister.com·1d
🎮Vintage Gaming
Combined-distance-based score function of cognitive fuzzy sets and its application in lung cancer pain evaluation
arxiv.org·1d
🧠Intelligence Compression
The subjective experience of coding in different programming languages
interconnected.org·1d·
Discuss: Hacker News
💻Programming languages
From Burnout to Breakthrough: Building Mirae with Modern Tools and Fresh Perspective
dev.to·11h·
Discuss: DEV
❄️Nordic Design Philosophy
An Interpretable Deep Learning Model for General Insurance Pricing
arxiv.org·1d
🧠Machine Learning
Box CEO Aaron Levie on AI’s ‘era of context’
techcrunch.com·17h
🤖Archive Automation
Sanitize Your AI-Generated Content: A Free Invisible Character Remover
dev.to·17h·
Discuss: DEV
🔤Character Encoding
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
🏺Computational Archaeology
Official OSS MCP Registry in Golang
reddit.com·3d·
Discuss: r/golang
📻Homebrew Protocols
HALT-RAG: A Task-Adaptable Framework for Hallucination Detection with Calibrated NLI Ensembles and Abstention
arxiv.org·2d
🌀Brotli Internals
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·1d
🎯Content Recommendation
Bias after Prompting: Persistent Discrimination in Large Language Models
arxiv.org·1d
🔍Information Retrieval
LLM Prompting Techniques
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Help building a homeserver
reddit.com·35m·
Discuss: r/homelab
🏠HomeLab
CancerGUIDE: Cancer Guideline Understanding via Internal Disagreement Estimation
arxiv.org·2d
🧠Machine Learning