Why it took 4 years to get a lock files specification
snarky.ca·4h·
🧼Lisp Hygiene
User-Defined Formatting in std::format
accu.org·5h·
Discuss: r/cpp
Code Formatters
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
New comment by faxmeyourcode in "Show HN: I built a web framework in C"
news.ycombinator.com·1d·
Discuss: Hacker News
🪄C Metaprogramming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·19h·
Discuss: Hacker News
🧩Constraint Solvers
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🎭Program Synthesis
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·12h·
Discuss: r/LLM
🐹Go Internals
P-adic numbers and kernels
arxiv.org·1d
🧮Combinator Calculus
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🎭Polymorphic Variants
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·18h·
Discuss: Hacker News
🔄Forth Metacompiler
Logical Operators & Control Flow
github.com·22h·
Discuss: DEV
🎭Delimited Continuations
[Godot 4] Just launched a free demo of my typing-based racing game — Type Driver
reddit.com·20h·
Discuss: r/godot
🤖Embedded Go
Tired of TypeScript? Why ReScript Finally Clicked for Me (Narrative)
dev.to·1d·
Discuss: DEV
🌈Gradual Languages
About self-referential types, possible implementation?
reddit.com·1d·
Discuss: r/rust
🌊Gradual Typing
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Unification Algorithms
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·7h·
Discuss: Hacker News
🪜Recursive Descent
English - the hottest programming language of the future
dev.to·15h·
Discuss: DEV
🎮Language Ergonomics
My Deep Dive into Fine-Tuning: IBM Granite-4.0 with Python and Unsloth! 🚀
reddit.com·17h·
Discuss: r/LocalLLaMA
📡Erlang BEAM