My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·2d
🧩Constraint Solvers
Flag this post
How fast can an LLM go?
🗺️Region Inference
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
🧩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
Probabilistic fault tree analysis and dynamic redundancy optimization for next-generation avionic flight control systems
sciencedirect.com·1d
🚂Error Propagation
Flag this post
Challenging the Fastest OSS Workflow Engine
📡Erlang BEAM
Flag this post
Vectorizing for Fun and Performance
🔀SIMD Programming
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
📚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
Loading...Loading more...