Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Physics informed machine learning based predictive control for intelligent operation of edge datacenters
sciencedirect.com·1h
🌪️V8 TurboFan
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·8h·
Discuss: DEV
Partial Evaluation
Flag this post
A Tale of LLMs and Induced Small Proxies: Scalable Agents for Knowledge Mining
paperium.net·1h·
Discuss: DEV
🌱Minimal ML
Flag this post
How fast can an LLM go?
fergusfinn.com·2d·
Discuss: Hacker News
🗺️Region Inference
Flag this post
Evaluating LLMs with LangSmith: A Comprehensive Guide
analyticsvidhya.com·17h
🧪Parser Testing
Flag this post
Smaller Surfaces
nrempel.com·23m·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·7h·
⏱️Real-Time GC
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·1d
Cache-Aware Algorithms
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·2h·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·1d
💬Smalltalk VMs
Flag this post
Some Fun Videos on Optimizing NES Code
bumbershootsoft.wordpress.com·2h
🌊Loop Invariant Motion
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·3d·
Discuss: Hacker News
🚀PyPy JIT
Flag this post
Minimax pre-training lead explains why no linear attention
reddit.com·2d·
Discuss: r/LocalLLaMA
🗺️Region Inference
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
Gleam
Flag this post