Fast Matrix Multiply on an Apple GPU
percisely.xyzยท1hยท
Discuss: Hacker News
โšกSIMD Vectorization
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท18h
๐Ÿ’ปProgramming languages
The Chip That Spoke Lisp
jxself.orgยท10h
๐Ÿค–Lisp Machines
Toy Binary Decision Diagrams
philipzucker.comยท1d
๐ŸงฎAlgebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Why We Need SIMD
parallelprogrammer.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ŠRISC-V Vectors
Making performant Python bindings to compiled code
kylebarron.devยท8hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Latency vs. Accuracy for LLM Apps โ€” How to Choose and How a Memory Layer Lets You Win Both
dev.toยท11hยท
Discuss: DEV
โšกPerformance Mythology
From Matmul to Meaning
evis.devยท19hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.comยท7h
๐Ÿฆ€Rust Macros
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.comยท3hยท
Discuss: Hacker News
โšกModern Compression
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.orgยท18h
๐ŸŽฏPerformance Proofs
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.coยท22hยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Beating the L1 cache with value speculation (2021)
mazzo.liยท1dยท
โšกCPU Microarchitecture
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท18h
๐ŸงฎKolmogorov Complexity
Property-based testing of batch-invariant operations
mmaaz.caยท1dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Closer to production quality Python notebooks with `marimo check`
marimo.ioยท51mยท
Discuss: Hacker News
โœ…Archive Validation
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Show HN: CodexLocal โ€“ Offline, Privacy-First AI Coding Tutor (WebLLM and RAG)
codexlocal.comยท4hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท3dยท
๐Ÿ“ŠHyperLogLog