GaloisInc/parameterized-utils
github.com·14h
📏Linear Haskell
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·3h·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
We didn't rewrite our feed handler in Rust
databento.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/cpp, r/rust
🔒Rust Borrowing
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·12h
🗺️Region Inference
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·12h·
Discuss: DEV
🎭Racket Modules
Efficient and accurate search in petabase-scale sequence repositories
nature.com·38m
📝Text Algorithms
Three Solutions to Nondeterminism in AI
blog.hellas.ai·4h·
Discuss: Hacker News
✅Type Checking
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·2d
🔒Rust Borrowing
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·4h·
Discuss: Hacker News, r/rust
🚂Cranelift Backend
C++26: range support for std:optional
sandordargo.com·54m·
Discuss: Hacker News
📋Row Typing
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·1d·
Discuss: r/cpp
🏗️Custom Allocators
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·23h·
Discuss: Hacker News
💬Interactive REPLs
Making performant Python bindings to compiled code
kylebarron.dev·1d·
Discuss: Hacker News
📋JSON Parsing
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·1d
📏Linear Logic
Detecting Semantic Clones of Unseen Functionality
arxiv.org·1d
🔍Comby
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1d·
Discuss: DEV
🦀MIR Optimization
compile times... C void* vs <T>(&mut T ..)
reddit.com·2d·
Discuss: r/rust
🎪Staged Compilation
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·12h
⚡Interpreter Optimization
Property-based testing of batch-invariant operations
mmaaz.ca·2d·
Discuss: Hacker News
🎲Property Testing