Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·4h
🌐Browser REPLs
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·15h
🔶Lattice Theory
Does anything people ask "surprise" the LLMs?
preview.redd.it·10h·
Discuss: r/LLM
⚖️Inference Rules
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·23h·
Discuss: Hacker News
🧮Theorem Provers
What happened to Longcat models? Why are there no quants available?
huggingface.co·15h·
Discuss: r/LocalLLaMA
Gleam
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·5h
🌱Minimal ML
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·5h
💫Effect Systems
Cooperation in public goods game on regular lattices with agents changing interaction groups
arxiv.org·5h
🔶Lattice Theory
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.org·5h
Gleam
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.org·5h
📮Message Queues
Kiln RAG Builder: Now with Local & Open Models
reddit.com·13h·
Discuss: r/LocalLLaMA
🏠indieweb
Generalization of LiNGAM that allows confounding
arxiv.org·5h
🌳Tree Diffing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·5h
🎭Program Synthesis
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·14h·
Discuss: Hacker News
🔍ML Language
TikTok Mobile/Web Complete Reverse Engineering
github.com·13h·
Discuss: r/programming
🛡️Parser Security
Let's Prove Leftpad
github.com·54m·
Discuss: Hacker News
📚Self-Documenting Code
Declarative Partial Updates Proposal
github.com·14h·
Discuss: Hacker News
🌐Browser REPLs
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.org·5h
🔍ML Language
Highly concurrent in-memory counter in GoLang
engineering.grab.com·1d
🧠Memory Models