[$] Next steps for BPF support in the GNU toolchain
lwn.net·17h
🔗Language Toolchains
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·6d·
Discuss: Lobsters
🗂️Type Indexing
The (software) quality without a name
kieranpotts.com·4h·
Discuss: r/programming
🧱First Principles
Optimize and deploy LLMs for production with OpenShift AI
developers.redhat.com·1d
🌪️V8 TurboFan
Design Principle: Composable Services
sleepingpotato.com·20h·
Discuss: Hacker News
🔀Control Structures
How did LM Studio convert IBM's Granite 4.0 models to GGUF?
reddit.com·16h·
Discuss: r/LocalLLaMA
✨Gleam
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1d·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮Theorem Provers
Advice on Spring Project for Junior SWE Portfolio
reddit.com·22h·
Discuss: r/AskProgramming
🎮Language Ergonomics
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·2d·
Discuss: Hacker News
🧩Constraint Solvers
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·5h
🔄Subinterpreters
Excerpts from my neuroscience to-do list
lesswrong.com·12h
✨Effect Inference
SAFA-SNN: Sparsity-Aware On-Device Few-Shot Class-Incremental Learning with Fast-Adaptive Structure of Spiking Neural Network
arxiv.org·5h
🗺️Region Inference
Know Thyself? On the Incapability and Implications of AI Self-Recognition
arxiv.org·5h
🌱Minimal ML
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·1d
🎮Language Ergonomics
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·5h
🔍ML Language
Mind Your Tone: Investigating How Prompt Politeness Affects LLM Accuracy (short paper)
arxiv.org·5h
🎲Parser Fuzzing
A Computational Framework for Interpretable Text-Based Personality Assessment from Social Media
arxiv.org·1d
🏷️Attribute Grammars
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·5h
🌱Minimal ML