[$] Next steps for BPF support in the GNU toolchain
lwn.net·22h
🔗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·8h·
Discuss: Hacker News, 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
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
Do you know thier names? Can you guess where they come from?
reddit.com·4h·
Discuss: r/aiArt
🎲Parser Fuzzing
Advice on Spring Project for Junior SWE Portfolio
reddit.com·1d·
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
Top 7 AI Software Development Agents
dev.to·5h·
Discuss: DEV
🎭Program Synthesis
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·10h
🔍ML Language
Mind Your Tone: Investigating How Prompt Politeness Affects LLM Accuracy (short paper)
arxiv.org·10h
🎲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·22h·
Discuss: DEV
🎭Program Synthesis
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·10h
🌱Minimal ML
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.org·10h
🔍ML Language
Optimized Minimal 4D Gaussian Splatting
arxiv.org·10h
🔄Loop Optimization
Excerpts from my neuroscience to-do list
lesswrong.com·17h
✨Effect Inference