Tradeoffs of Highly-Expressive Types
jnkr.tech·18h·
Discuss: Hacker News
🎯Gradual Typing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·21h·
Discuss: Hacker News
🔗Archive Combinators
Incremental query updating in adhesive categories
topos.institute·9m
🔗Combinatory Logic
Benchmarking compression programs
maskray.me·7h
📦Deflate
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
LLMs running locally
markjgsmith.com·17h
🌀Brotli Internals
This Page Is a Quine
pranavg.me·4h·
Discuss: Hacker News
🔤Type Theory
Bootstrapping a Forth for Art
tia.mat.br·16h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
A type system for RCL (2024)
ruudvanasseldonk.com·20h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Answering some questions about Baba Yaga
eli.li·21h·
Discuss: Hacker News
🎯Dependent Types
DeepConf can greatly reduce computational effort in language model reasoning tasks
the-decoder.com·4h
💻Local LLMs
Codeminer42 Dev Weekly #76
blog.codeminer42.com·2d
🔄Language Evolution
Bold Devlog - August Summary - Warnings, LSP & Test
bold-edit.com·1d·
Discuss: r/programming
✅Format Verification
Micro DSLs for scenario tests with Rust macros
dystroy.org·14h
🦀Rust Macros
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·12h·
Discuss: Hacker News
📊Count-Min Sketch
Nothing like a long awaited post
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·12h
🔍Archive Semantics
Quirks of Common Lisp Types
fosskers.ca·14h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects