Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·16h·
Discuss: Hacker News
⚙Functional Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
📝Lisp
An introduction to program synthesis
mchav.github.io·4h·
Discuss: r/programming
🔧Compiler Design
Issue 489
haskellweekly.news·15h·
Discuss: Hacker News
⚙Functional Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔄Category Theory
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
📝Lisp
🐍 I Write in Python Because It Knows How to Listen
dev.to·4h·
Discuss: DEV
📝Lisp
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·23h
🔧Compiler Design
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·9h·
Discuss: r/programming
🏗️Software Architecture
The Little Book of Everything
github.com·3d·
Discuss: Hacker News
🧩Theorem Proving
Effects as Capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·8h·
Discuss: Hacker News
🔧Compiler Design
neeed help for amazon interview for ML engineer
amazon.jobs·45m·
Discuss: r/compsci
🎲Probabilistic Programming
The Data Backbone of LLM Systems
infoq.com·11h·
Discuss: Lobsters
🔧Compiler Design
Never Seen This Before on Claude Sonnet 4
i.redd.it·7h·
Discuss: r/ClaudeAI
📝Lisp
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·11h·
Discuss: Hacker News
🔢Mathematical Logic
Learning
reddit.com·9h·
Discuss: r/golang
📝Lisp
Stop Abstracting and Start Programming
dev.to·12h·
Discuss: DEV
🔍Static Analysis
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·11h
⚙Functional Programming
DDD Studies: Between Fishermen and Developers Reflections on my initial studies in Domain-Driven Design
blog.codeminer42.com·1d
🏗️Software Architecture