Efficient set-membership filters and dictionaries based on SAT
github.com·8h·
Discuss: Hacker News
🌸Bloom Filters
Machine Learning Fundamentals: autoencoder
dev.to·6h·
Discuss: DEV
🧠Learned Compression
Fast Tensor Canonicalization in Rust
stephendiehl.com·21h
🕸️Tensor Networks
An attempt to shroud text from LLMs
shape-of-code.com·1h
📝Concrete Syntax
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·15h
⚡SIMD Optimization
New Paradigm for Computing Global Networks Databases, and Embedded Systems
la-acm.org·20h·
Discuss: Hacker News
💻Programming languages
Icicle: The Highs & Lows of Optimizing DSLs • Jacob Stanley • YOW! 2016
youtube.com·10h
🔤DSLs
Explicit Constructions of Sum-Rank Metric Codes from Quadratic Kummer Extensions
arxiv.org·5d
🔢Reed-Solomon Math
Counting Digits Quickly
jcarroll.com.au·22h
🔗Concatenative Languages
June 29, 2025
buttondown.com·9h
⚡Proof Automation
Algorithms for Modern Hardware
en.algorithmica.org·6h·
Discuss: Hacker News
🎯Performance Proofs
Student Solves a Long-Standing Problem About the Limits of Addition
wired.com·11h
🎯Arithmetic Coding Theory
Undertrained Tokens in DeepSeek R1
tokencontributions.substack.com·2d·
Discuss: Substack
✅Format Verification
Deep in Copy Constructor: The Heart of C++ Value Semantics
gizvault.com·2d·
Discuss: Hacker News, r/cpp, r/programming
🦀Rust Macros
Introduction to Parser Combinators
blog.jcoglan.com·11h·
Discuss: Hacker News
🔗Monadic Parsing
🎇Number of Subsequences That Satisfy the Given Sum Condition LeetCode 1498 (C++ | JavaScript | Python )
dev.to·20h·
Discuss: DEV
λLambda Encodings
Memory Safety in Web Rust System Zero Cost Secure（1751196597461100）
dev.to·11h·
Discuss: DEV
🦀Rust Borrowing
2025-06-27: Paper Summary: MemoRAG: Moving towards Next-Gen RAG Via Memory-Inspired Knowledge Discovery
ws-dl.blogspot.com·2d·
Discuss: ws-dl.blogspot.com
🌀Brotli Internals
[R] LSTM or Transformer as "malware packer"
reddit.com·19h·
Discuss: r/MachineLearning
🔍BitFunnel
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.org·2d
🧠Neural Codecs