derived set
ncatlab.org·1d
🧮Algebraic Archives
MUVERA: Making multi-vector retrieval as fast as single-vector search
research.google·1d·
Discuss: Hacker News, r/LocalLLaMA
🧮Vector Embeddings
Optimizing Change-Driven Architectures - A New Cloud-Native Model with Drasi
youtube.com·7h
⚡Incremental Computation
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Tech Breakthroughs of June 2025
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Solving LinkedIn Queens Using MiniZinc
zayenz.se·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·14h·
Discuss: DEV
λLambda Encodings
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·3d
🔗Combinatory Logic
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·2d
🕸️Algebraic Topology
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Quantizing for Noisy Flash Memory Channels
arxiv.org·2d
🛡️Preservation Proofs
Privacy-Preserving LLM Interaction with Socratic Chain-of-Thought Reasoning and Homomorphically Encrypted Vector Databases
arxiv.org·2d
🔐Homomorphic Encryption
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·10h
📐Error Bounds
Quantum k-SAT Related Hypergraph Problems
arxiv.org·3d
⚛️Quantum Algorithms
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·10h
🧠Machine Learning
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·4d·
Discuss: Hacker News
🔗Functional Compilers
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes