Tradeoffs of Highly-Expressive Types
jnkr.tech·16h·
Discuss: Hacker News
🎯Gradual Typing
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·9h·
Discuss: Hacker News
🔩Systems Programming
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Quirks of Common Lisp Types
fosskers.ca·11h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·12h
📄Text Segmentation
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·15h
🏗️Constructive Analysis
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·9h·
Discuss: Hacker News
📊Count-Min Sketch
Bootstrapping a Forth for Art
tia.mat.br·13h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Answering some questions about Baba Yaga
eli.li·18h·
Discuss: Hacker News
🎯Dependent Types
A type system for RCL (2024)
ruudvanasseldonk.com·17h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Micro DSLs for scenario tests with Rust macros
dystroy.org·11h
🦀Rust Macros
This Page Is a Quine
pranavg.me·2h·
Discuss: Hacker News
🔤Type Theory
DeepConf can greatly reduce computational effort in language model reasoning tasks
the-decoder.com·2h
💻Local LLMs
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
Ensemble Learning
en.wikipedia.org·19h·
Discuss: Hacker News
🧠Machine Learning
The Art of Transformer Programming (2023)
yanivle.github.io·13h·
Discuss: Hacker News
🤖Lisp Machines
Dependent types I › Universes, or types of types
jonmsterling.com·4d·
Discuss: Hacker News
🔤Type Theory