Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·14h
🌀Fractal Compression
Slashing CI Costs at Uber
uber.com·8h·
Discuss: Hacker News
🔄Reproducible Builds
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·5h
🦠Malware Analysis
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·21h
🔄Burrows-Wheeler
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Getting an LLM to set its own temperature
amanvir.com·18h·
Discuss: Hacker News
🐛Fuzzing
Optimization-Free Patch Attack on Stereo Depth Estimation
arxiv.org·1d
⟷Bidirectional Programming
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4h·
Discuss: DEV
🧠Machine Learning
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·14h
📐Compression Bounds
A Geometric Square-Based Approach to RSA Integer Factorization
arxiv.org·1d
🔱Galois Cryptography
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Ask HN: Feedback on "QSS" – A Quantized Vector Search Engine in C
news.ycombinator.com·1d·
Discuss: Hacker News
🗂️Vector Databases
Microcontrollers: Getting Started
youtube.com·5d
🔌Microcontrollers