Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

The Counterfeiting of the Humanities
dailynous.comΒ·11h
πŸ“œDigital Philology
What Ted Lasso, the Bhargava Gita and Derrida Can Teach Us About Ourselves
nytimes.comΒ·1d
πŸ›οΈPhilosophy
Do Nothing
blog.tanyakhovanova.comΒ·1d
Ξ»Lambda Encodings
Ansa Spiralis Variation in the Ascending Colon of Sheep
pubmed.ncbi.nlm.nih.govΒ·9hΒ·
Discuss: Hacker News
πŸ”—Tailscale
Sentient Config is a Code Smell
assertnotmagic.comΒ·2d
πŸ”„Language Evolution
"i like making thingsβ€”" no. you like things.
kivikakk.eeΒ·4d
πŸ“Code Metrics
Rooms and mazes: A procedural dungeon generator (2014)
journal.stuffwithstuff.comΒ·2hΒ·
Discuss: Hacker News
πŸ“Mathematical Art
Thoughts on Remix 3
frantic.imΒ·1dΒ·
πŸ”ŒInterface Evolution
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.comΒ·4d
🧠Machine Learning
Show HN: AI Finance App for Sale – $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.comΒ·1dΒ·
Discuss: Hacker News
🎬WebCodecs
β€œLibrary of Congress”
newyorker.comΒ·15h
πŸ“šMARC Records
rust-lang/rustfmt
github.comΒ·4d
πŸ¦€Rust Macros
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.comΒ·2dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“ŠMulti-vector RAG
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.toΒ·1dΒ·
Discuss: DEV
πŸ’»Programming languages
Tech With Tim: My top 5 python programming course recommendations
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.orgΒ·3d
πŸ”„Burrows-Wheeler