Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
📐Language Theory
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·2d
🧩programming
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·8h·
Discuss: Substack
🧩programming
[$] Comparing Rust to Carbon
lwn.net·18h
🧩programming
The many, many, many JavaScript runtimes of the last decade
shapeof.com·1d
🧩programming
Swift 6.2 Released
swift.org·2d·
🧩programming
Claude Can (Sometimes) Prove It
galois.com·10h·
📐Language Theory
Show HN: Semlib – Semantic Data Processing
github.com·1d·
Discuss: Hacker News
🧩programming
Supercharge ML performance on xPUs with the new XProf profiler and Cloud Diagnostics XProf library
cloud.google.com·2d
🎰Bytecode VMs
Solving a Wooden Puzzle Using Haskell
glocq.github.io·5h·
📐Language Theory
Fighting human trafficking with self-contained applications
lwn.net·1d·
Discuss: Hacker News
🧩programming
Introducing the Constexpr Debugger
blog.jetbrains.com·2d·
🧩programming
AI is helping to decode animals’ speech. Will it also let us talk with them?
nature.com·13m
📐Language Theory
I Ran Local LLMs on My Android Phone
itsfoss.com·1d
🎰Bytecode VMs
Structure transfer and consolidation in visual implicit learning
elifesciences.org·1d
📐Language Theory
Obelisk 0.24.1
obeli.sk·1h·
🧩programming
Ubuntu 25.10's Rust Coreutils Transition Has Uncovered Performance Shortcomings
phoronix.com·1d·
🧩programming
In Defense of C++
dayvster.com·2d·
🧩programming
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·2d·
📐Language Theory