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·3h·
Discuss: Substack
🧩programming
[$] Comparing Rust to Carbon
lwn.net·12h
🧩programming
The many, many, many JavaScript runtimes of the last decade
shapeof.com·1d
🧩programming
Swift 6.2 Released
swift.org·1d·
🧩programming
Claude Can (Sometimes) Prove It
galois.com·5h·
📐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
Fighting human trafficking with self-contained applications
lwn.net·1d·
Discuss: Hacker News
🧩programming
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
🧩programming
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
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·2d·
📐Language Theory
How to implement the Outbox pattern in Go and Postgres
medium.com·14h·
Discuss: Lobsters
📡RSS
In Defense of C++
dayvster.com·2d·
🧩programming
Java 25’s new CPU-time profiler
osnews.com·1d
🎰Bytecode VMs
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·5d·
🎰Bytecode VMs
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·2d
🎰Bytecode VMs