A very short, very blunt, book note
logicmatters.net·1d
⚔️Lean Theorem
Embedding Lua in Nim
lambdacreate.com·1d
🦀Rust Macros
Making performant Python bindings to compiled code
kylebarron.dev·4h·
Discuss: Hacker News
🦀Rust Macros
valuetier.org (and some thoughts on LLMs)
ericphanson.com·2d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
An Overview of Modern Memory Management Architectures in LLM Agents
vinithavn.medium.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
🔍Concolic Testing
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·14h
🌀Riemannian Computing
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·14h
📈Linear programming
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1d
🧪Hardware Fuzzing
CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making
arxiv.org·14h
🌍Cultural Algorithms
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·14h
🔍Information Retrieval
Misunderstood and Misaligned
bozhao.substack.com·1d·
Discuss: Substack
🔗Constraint Handling
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.org·1d
⬌Bidirectional Typing
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·14h
🔍Information Retrieval
Proofs of quantum memory
arxiv.org·14h
⚛️Quantum Tape
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
From Segments to Concepts: Interpretable Image Classification via Concept-Guided Segmentation
arxiv.org·14h
🧠Machine Learning
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.org·14h
🎙️Whisper
Prompting Techniques for Specialised LLMs
gg.forem.com·2d·
Discuss: DEV
⚖️Constraint Logic
Activation Steering with a Feedback Controller
arxiv.org·14h
✨Effect Handlers