PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·18h
⚗️Algebraic Coding
ProCut: LLM Prompt Compression via Attribution Estimation
arxiv.org·1h
⚙️Compression Benchmarking
SAT Requires Exhaustive Search
link.springer.com·9h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Extensions and Shadows (9)
sites.psu.edu·15h
✨Effect Handlers
LLMs - Embeddings 01
dev.to·23h·
Discuss: DEV
🧮Vector Embeddings
Efficient Byzantine Consensus MechanismBased on Reputation in IoT Blockchain
arxiv.org·1h
🤝Consensus Algorithms
Information Rates of Approximate Message Passing for Bandlimited Direct-Detection Channels
arxiv.org·1h
⚛️Quantum Compression
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Context Guided Transformer Entropy Modeling for Video Compression
arxiv.org·1h
🧠Learned Codecs
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·1h
🔐Systems Hardening
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·1h
💻Local LLMs
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·12h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1h
💻Local LLMs
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1h
🧠Separation Logic
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·4h·
Discuss: Hacker News
📊Citation Graphs
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Who Am I in the Eye of AI?
lightcapai.medium.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Efficient Chambolle-Pock based algorithms for Convoltional sparse representation
arxiv.org·1h
⧗Information Bottleneck
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra