Basketball trivia, editing distances, and derangement
leancrew.comยท3d
๐ŸŒณTrie Structures
Anthropic finds 250 poisoned documents are enough to backdoor large language models
the-decoder.comยท1d
๐Ÿ”Vector Forensics
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท1d
๐Ÿ”ขDenotational Semantics
OCaml 5.4 Release: New Features, Fixes, and More
tarides.comยท19hยท
๐Ÿ”—Functional Compilers
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.ioยท18hยท
๐ŸŽ™๏ธWhisper
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comยท4dยท
๐Ÿ”—Lisp
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Latency vs. Accuracy for LLM Apps โ€” How to Choose and How a Memory Layer Lets You Win Both
dev.toยท4dยท
Discuss: DEV
โšกPerformance Mythology
Randomized and quantum approximate matrix multiplication
arxiv.orgยท1d
๐Ÿ”Quantum Cryptography
Automated Microfluidic Enrichment & Quantification of Exosomal ctDNA via Hybrid-Optic Nanoparticle Resonance Mapping
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„Document Digitization
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.toยท3dยท
Discuss: DEV
๐ŸŒŠStream Processing
TRepLiNa: Layer-wise CKA+REPINA Alignment Improves Low-Resource Machine Translation in Aya-23 8B
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท1d
๐ŸงฎTheorem Proving
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Fitzpatrick Thresholding for Skin Image Segmentation
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics