Tradeoffs of Highly-Expressive Types
jnkr.tech·5h·
Discuss: Hacker News
🎯Gradual Typing
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Dependent types I › Universes, or types of types
jonmsterling.com·3d·
Discuss: Hacker News
🔤Type Theory
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Quirks of Common Lisp Types
fosskers.ca·1h·
Discuss: Hacker News
🧠Lisp Dialects
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·2h
📄Text Segmentation
A type system for RCL (2024)
ruudvanasseldonk.com·6h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·5h
🏗️Constructive Analysis
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·1d
💎Information Crystallography
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·43m·
Discuss: Hacker News
🦀Rust Verification
Jonathan Ree: The Analytic Ideology
newleftreview.org·8h
🏛️Philosophy
Answering some questions about Baba Yaga
eli.li·8h·
Discuss: Hacker News
🎯Dependent Types
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
GHC 9.14.1-Alpha1
blog.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
On This Day in Math - August 29
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔍Polish Cryptanalysis
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Micro DSLs for scenario tests with Rust macros
dystroy.org·1h
🦀Rust Macros
Rust chess engine
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing