[$] Next steps for BPF support in the GNU toolchain
lwn.net·5h
🔗Language Toolchains
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·6d·
Discuss: Lobsters
🗂️Type Indexing
Primitive Overloading
mlochbaum.github.io·4d·
🔗Concatenative Languages
TypeScript and the Illusion of Type-Safety
medium.com·3d·
Discuss: r/typescript
🔧API Design
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🪆Embedded DSLs
How Much Should You Tell Your AI Agent?
raymondyxu.com·1d·
Discuss: Hacker News
💬Interactive REPLs
How did LM Studio convert IBM's Granite 4.0 models to GGUF?
reddit.com·3h·
Discuss: r/LocalLLaMA
Gleam
Optimize and deploy LLMs for production with OpenShift AI
developers.redhat.com·14h
🌪️V8 TurboFan
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·2d·
Discuss: Hacker News
🌙Lua
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·3d·
Discuss: Hacker News
📐Mathematical Computing
expressjs/express
github.com·19h
🔮Metacircular Evaluators
This Month in Redox - September 2025
reddit.com·5h·
Discuss: r/rust
Incremental Parsing
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🌱Minimal ML
Advice on Spring Project for Junior SWE Portfolio
reddit.com·9h·
🎮Language Ergonomics
Opti's Claude 4.5 Sonnet "vibe coding" report
stacker.news·1d
🔬Nanopasses
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·17h
🔍ML Language
original ↗
lmika.org·2d
🔬programming language theory
Using @mixin for referencing in traits in PHP (Laravel example)
dev.to·15h·
Discuss: DEV
Code Formatters