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·6h·
Discuss: r/programming
🧱First Principles
Optimize and deploy LLMs for production with OpenShift AI
developers.redhat.com·1d
🌪️V8 TurboFan
Primitive Overloading
mlochbaum.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Languages
Design Principle: Composable Services
sleepingpotato.com·23h·
Discuss: Hacker News
🔀Control Structures
How did LM Studio convert IBM's Granite 4.0 models to GGUF?
reddit.com·18h·
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·1d·
Discuss: r/AskProgramming
🎮Language Ergonomics
Is agentic programming on own HW actually feasible?
reddit.com·23h·
Discuss: r/LocalLLaMA
🎭Program Synthesis
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·2d·
Discuss: Hacker News
🧩Constraint Solvers
Know Thyself? On the Incapability and Implications of AI Self-Recognition
arxiv.org·8h
🌱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·8h
🔍ML Language
Mind Your Tone: Investigating How Prompt Politeness Affects LLM Accuracy (short paper)
arxiv.org·8h
🎲Parser Fuzzing
A Computational Framework for Interpretable Text-Based Personality Assessment from Social Media
arxiv.org·1d
🏷️Attribute Grammars
How AI broke the DRY principle — and why that’s a good thing
dev.to·20h·
Discuss: DEV
🎭Program Synthesis
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·8h
🌱Minimal ML
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.org·8h
🔍ML Language