Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
💻Programming
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2h·
Discuss: Hacker News
🏗️Language Design
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
⚙Compiler Theory Applications
Death to Type Classes
jappie.me·21h·
Discuss: Hacker News
💻Programming
Lobsters Interview with Susam
lobste.rs·17h·
Discuss: Lobsters
💻Programming
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·10h·
Discuss: Hacker News
💻Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·12h·
Discuss: Hacker News
💻Programming
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming
A Positive Lambda: '+[]{}'
stackoverflow.com·1d·
Discuss: Lobsters, Hacker News
⚙Compiler Theory Applications
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🏗️Language Design
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·2d
💻Programming
Object Reorientation: Generic Functions
gigamonkeys.com·2d·
Discuss: Hacker News
💻Programming
Choosing Rust for LLM-generated code
runmat.org·15h·
Discuss: Hacker News
💻Programming
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·2d·
Discuss: Hacker News
⚙Compiler Theory Applications
MiniRust
github.com·9h·
Discuss: Hacker News
💻Programming
Go channels to solve interface impedance mismatch
dolthub.com·1d·
Discuss: Hacker News, r/golang
⚙Compiler Theory Applications
Rich Answered That
gist.github.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🏗️Language Design
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·7h·
Discuss: Hacker News
🔄Systems Thinking
Taste
moderndescartes.com·16h·
Discuss: Hacker News
🔄Systems Thinking