Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·9h
🗃️Database Storage
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·14h
🌀Fractal Compression
Getting an LLM to set its own temperature
amanvir.com·19h·
Discuss: Hacker News
🐛Fuzzing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·11h
⬆️Lambda Lifting
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Small language model for secrets detection
wiz.io·2d·
Discuss: Hacker News
💻Local LLMs
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·14h
💻Local LLMs
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.to·3d·
Discuss: DEV
🔐Quantum Security
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
C++ Seeding Surprises (2015)
pcg-random.org·2h·
Discuss: Hacker News
🔢Bitwise Algorithms
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·1d
🕸️Algebraic Topology
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
List-Decodable Byzantine Robust PIR: Lower Communication Complexity, Higher Byzantine Tolerance, Smaller List Size
arxiv.org·1d
🛡️Byzantine Fault Tolerance
Fast Rate Information-theoretic Bounds on Generalization Errors
arxiv.org·1d
⧗Information Bottleneck