PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท14h
๐Ÿ’ปProgramming languages
Why We Need SIMD
parallelprogrammer.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ŠRISC-V Vectors
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
The Chip That Spoke Lisp
jxself.orgยท6h
๐Ÿค–Lisp Machines
Toy Binary Decision Diagrams
philipzucker.comยท1d
๐ŸงฎAlgebraic Datatypes
From Matmul to Meaning
evis.devยท15hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Making performant Python bindings to compiled code
kylebarron.devยท3hยท
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ยท6hยท
Discuss: DEV
โšกPerformance Mythology
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.comยท3h
๐Ÿฆ€Rust Macros
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.orgยท14h
๐ŸŽฏPerformance Proofs
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.coยท18hยท
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ยท14h
๐ŸงฎKolmogorov Complexity
Property-based testing of batch-invariant operations
mmaaz.caยท1dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท3dยท
๐Ÿ“ŠHyperLogLog
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.comยท2hยท
Discuss: Hacker News
๐Ÿ’ฟZFS Internals
We built AI to split the monolith
engineering.monday.comยท9hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.orgยท1d
๐Ÿ”งHardware Verification
Cuckoo hashing improves SIMD hash tables
reiner.orgยท2dยท
โšกSIMD Optimization