An introduction to program synthesis
mchav.github.io·19h·
Discuss: Hacker News, r/programming
🏗️Language Design
Choosing Rust for LLM-generated code
runmat.org·1h·
Discuss: Hacker News
💻Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🏗️Language Design
Low-Rank Attention: Scaling Transformers Without the Quadratic Cost
lightcapai.medium.com·3h·
Discuss: Hacker News
🏗️Language Design
Lobsters Interview with Susam
lobste.rs·3h·
Discuss: Lobsters
💻Programming
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🏗️Language Design
LLM-Generated Rules Engines for LLM Explainability
brain.co·6h·
Discuss: Hacker News
🏗️Language Design
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·10h·
Discuss: Hacker News
🏗️Language Design
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Language Design
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
💻Programming
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·5h·
Discuss: Hacker News
💻Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🏗️Language Design
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·10h·
Discuss: Hacker News, r/webdev
🎷Music
VaultGemma: The world's most capable differentially private LLM
research.google·10h·
Discuss: Hacker News
🧠Digital Mnemonics
The Elements of Programming Style
en.wikipedia.org·7h·
Discuss: Hacker News
💻Programming
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·2d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA
🏗️Language Design
Compiling a Functional Language to LLVM
danieljharvey.github.io·3d·
Discuss: Lobsters, Hacker News
🏗️Language Design
Improving state machine code generation
trifectatech.org·3d·
Discuss: Lobsters, Hacker News, r/rust
💻Programming
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming
🔄Systems Thinking
Lexy: A parser combinator library for C++17
github.com·2d·
Discuss: Hacker News
🏗️Language Design