Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🧮Programming Language Theory
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
📝Lisp
Rust unit testing: asynchronous code
jorgeortiz.dev·7h·
Discuss: r/rust
🦀Rust
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·22h
🔢Mathematical Logic
Death to Type Classes
jappie.me·3h·
Discuss: Hacker News
🧮Programming Language Theory
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·1h·
Discuss: DEV
🔗Parser Combinators
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·1d
📝Lisp
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
🧮Programming Language Theory
An introduction to program synthesis
mchav.github.io·15h·
Discuss: r/programming
🔧Compiler Design
A Positive Lambda: '+[]{}'
stackoverflow.com·9h·
🧮Programming Language Theory
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·1d·
🦀Rust
I Feel Like A Idiot
reddit.com·1h·
Discuss: r/golang
📝Lisp
A fake Clojure Object equals to what you want
grishaev.me·1d
🧮Programming Language Theory
Undecidability of Tiling with a Tromino
arxiv.org·2d
🧮Programming Language Theory
Domain modeling, Units-of-Measure, and Property-based testing, oh my
dev.to·3d·
Discuss: DEV
📝Lisp
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
📝Lisp
Why can’t std::apply figure out which overload I intend to use? Only one of then will work!
devblogs.microsoft.com·1d
🧮Programming Language Theory
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·16h·
Discuss: Hacker News
🎲Probabilistic Programming
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·6h·
📝Lisp