Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.ukยท9h
๐Ÿ“ŠCitation Graphs
A grand week
blog.mitrichev.chยท2dยท
๐ŸงฎSMT Solvers
The Neuron That Wanted to Be God
thealgorithmicbridge.comยท2h
๐Ÿ”ฒCellular Automata
Design Principle: Composable Services
sleepingpotato.comยท1dยท
Discuss: Hacker News
โšกgRPC
Alias and references as localized macros
gustedt.wordpress.comยท5hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
How Much Should You Tell Your AI Agent?
raymondyxu.comยท2dยท
Discuss: Hacker News
โšกProof Automation
Bringing NumPy's type-completeness score to nearly 90% โ€“ Pyrefly
pyrefly.orgยท9hยท
๐ŸŽฏGradual Typing
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.comยท1d
๐Ÿ”—Constraint Handling
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.orgยท15h
๐Ÿง Intelligence Compression
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.comยท2dยท
Discuss: Hacker News
โšกIncremental Computation
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท15h
๐ŸงฎKolmogorov Complexity
Operationalizing Data Minimization for Privacy-Preserving LLM Prompting
arxiv.orgยท15h
๐Ÿ’ปLocal LLMs
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.orgยท15h
๐Ÿ’ปLocal LLMs
Compressed Convolutional Attention: Efficient Attention in a Compressed Latent Space
arxiv.orgยท15h
โง—Information Bottleneck
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.orgยท15h
๐ŸŒธBloom Variants
You Don't Know RAG. You Know Simple RAG.
dev.toยท11hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Evaluating OCR performance on food packaging labels in South Africa
arxiv.orgยท15h
๐Ÿ“„OCR
CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making
arxiv.orgยท15h
๐ŸŒCultural Algorithms