Dependent types I › Universes, or types of types
jonmsterling.com·11h·
Discuss: Hacker News
🔤Type Theory
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·1d
⬆️Lambda Lifting
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·14h
⚡Incremental Computation
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
The Grammar According to West
dwest.web.illinois.edu·4h·
Discuss: Hacker News
🔬Lean
Teaching programming languages
kmjn.org·2d
💻Programming languages
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Python 3.14 Preview: Lazy Annotations
realpython.com·4h
🔬Refinement Types
After hours of iteration, I one-shotted a Web Search Agent
github.com·6h·
Discuss: Hacker News
🌀Brotli Internals
Double Maths First Thing: Issue 33
aperiodical.com·10h
📐Mathematical Art
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·23h·
Discuss: Hacker News
🧮Algebraic Datatypes
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
Model Merging – A Biased Overview
crisostomi.github.io·1h·
Discuss: Hacker News
🔲Cellular Automata
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
busy beaver function
ncatlab.org·4d
⚔️Lean Theorem
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros