A very short, very blunt, book note
logicmatters.net·23h
⚔️Lean Theorem
The Neuron That Wanted to Be God
thealgorithmicbridge.com·33m
🔲Cellular Automata
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
Causal Abstractions, Categorically Unified
arxiv.org·12h
✨Effect Handlers
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·12h
💻Local LLMs
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·12h
🧠Machine Learning
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·12h
⚡Proof Automation
Generalization of LiNGAM that allows confounding
arxiv.org·12h
🔗Monadic Parsing
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🌳Context free grammars
Fine-Tuning Large Language Models with QLoRA for Offensive Language Detection in Roman Urdu-English Code-Mixed Text
arxiv.org·12h
🎙️Whisper
Flamed-TTS: Flow Matching Attention-Free Models for Efficient Generating and Dynamic Pacing Zero-shot Text-to-Speech
arxiv.org·1d
🎙️Whisper
Efficient Quantum Hermite Transform
arxiv.org·12h
⚛️Quantum Compression
Self-Reflective Generation at Test Time
arxiv.org·1d
⚡Incremental Computation
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·12h
🎯Performance Proofs
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·12h
🧠Machine Learning
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·12h
🎯Gradual Typing
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·12h
🧠Machine Learning