Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
How fast can an LLM go?
fergusfinn.com·1d·
Discuss: Hacker News
🗺️Region Inference
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
📚Stack Allocation
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·6h
Cache-Aware Algorithms
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·12h
💬Smalltalk VMs
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·2d·
Discuss: Hacker News
🚀PyPy JIT
Flag this post
Minimax pre-training lead explains why no linear attention
reddit.com·1d·
Discuss: r/LocalLLaMA
🗺️Region Inference
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·2d·
Discuss: Hacker News
Gleam
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·14h·
📡Erlang BEAM
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·21h·
Type Checking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.to·5h·
Discuss: DEV
🪜Recursive Descent
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·21h·
📚Stack Data Structures
Flag this post
Your AI Models Aren’t Slow, but Your Data Pipeline Might Be
thenewstack.io·4h
📮Message Queues
Flag this post