A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·2d
🔢SIMD Programming
Tropical solution of discrete best approximation problems
arxiv.org·2d
🧮Linear Algebra
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Embedded Rust
Systolic Array-based Accelerator for State-Space Models
arxiv.org·3d
🔢SIMD Programming
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·2d·
Discuss: Lobsters, Hacker News
🏗️LLVM
ART: Adaptive Relation Tuning for Generalized Relation Prediction
arxiv.org·1d
🕯️Candle
Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org·3d
🏗️LLVM
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·3d·
Discuss: Lobsters, Hacker News
🏗️LLVM
Analyzing and Evaluating the Behavior of Git Diff and Merge
arxiv.org·2d
🗄️Database Internals
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🕯️Candle
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
arxiv.org·3d
💾Database Engines
Our $100M Series B
oxide.computer·2d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·21h
🤖AI
Emacs: The macOS Bug
xlii.space·2d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
📦Binary Formats
MRGSEM-Sum: An Unsupervised Multi-document Summarization Framework based on Multi-Relational Graphs and Structural Entropy Minimization
arxiv.org·1d
📈Graph Algorithms
LLVM integrated assembler: Engineering better fragments
maskray.me·6d·
Discuss: Lobsters, Hacker News, r/programming
🏗️LLVM
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·2d
🕯️Candle
6 Weeks of Claude Code
blog.puzzmo.com·1d·
Discuss: Lobsters, Hacker News
🗣️Language Servers