Think DSP second edition
allendowney.comยท9h
โš™Functional Programming
Flag this post
Building a Multimodal RAG That Responds with Text, Images, and Tables from Sources
towardsdatascience.comยท1d
๐ŸŽฒProbabilistic Programming
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.comยท9h
๐Ÿ”Static Analysis
Flag this post
Understanding Tokenization in Large Language Models
pub.towardsai.netยท1d
๐ŸงฎProgramming Language Theory
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.aiยท2hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Hybrid Retrieval-Augmented Generation Agent for Trustworthy Legal Question Answering in Judicial Forensics
arxiv.orgยท21h
๐ŸงญSMT Solvers
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.orgยท21h
๐Ÿ”ขMathematical Logic
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.orgยท21h
๐Ÿ“ˆComplexity Theory
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท5dยท
Discuss: Hacker News
๐Ÿ“Lisp
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท21h
๐Ÿ“ŠInformation Theory
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.toยท9hยท
Discuss: DEV
โš–Algorithmic Game Theory
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.orgยท21h
๐ŸงฉTheorem Proving
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.orgยท21h
๐ŸŽฒProbabilistic Programming
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
reddit.comยท13hยท
Discuss: r/LocalLLaMA
๐ŸŽฒProbabilistic Programming
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.netยท2dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.toยท1dยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท21h
๐ŸงญSMT Solvers
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
reddit.comยท3dยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post