Algebraic Types are not Scary
blog.aiono.dev·2h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·9h
💻Programming languages
ISO C++ committee has a new chief sheep herder
shape-of-code.com·14h
📜Proof Carrying Code
Haskell Interlude: 70: Phil Wadler
haskell.foundation·1d
🧬Functional Programming
Balance between refactoring and inheritance in your code
github.com·1h·
Discuss: Hacker News
✅Format Verification
Python Multiprocessing: Start Methods, Pools, and Communication
dev.to·8h·
Discuss: DEV
🌊Stream Processing
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·27m·
Discuss: Hacker News
🔗Lisp
Helen DeWitt says, “programming occupies a place similar to that of literacy in mediaeval England.”
statmodeling.stat.columbia.edu·23h
📜Medieval Computing
A Kevin week
blog.mitrichev.ch·15h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·3d·
Discuss: Hacker News
🔩Systems Programming
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·15h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
You should be rewriting your prompts
maxleiter.com·1d
📝Concrete Syntax
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·17h·
Discuss: Hacker News
💻Programming languages
Choosing Rust for LLM-generated code
runmat.org·2d·
Discuss: Hacker News
🦀Rust Macros
Is Perl the World's 10th Most Popular Programming Language?
developers.slashdot.org·1d·
Discuss: Hacker News
🔄Language Evolution
Custom for designing, off-the-shelf for shipping
ntietz.com·13h
🔗Topological Sorting
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·1h
🧠Machine Learning
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·9h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Happy Programmers' Day
govars.com·1d·
Discuss: Hacker News
🔩Systems Programming
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·4h
🔗Topological Sorting