A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·1d
🏗️Constructive Analysis
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·14h·
Discuss: Lobsters, Hacker News, r/cpp
⬆️Lambda Lifting
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4h·
Discuss: Hacker News
✅Format Verification
Miso: A swiss table implementation from scratch in rust
reddit.com·22h·
Discuss: r/rust
🦀Rust Verification
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·3h
⚙️ABNF Mining
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
💻Programming languages
GHC 9.14.1-Alpha1
blog.haskell.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Let's write a search engine, part 1 of 2
redblobgames.com·4h·
Discuss: Hacker News
🌳Trie Structures
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·1d·
Discuss: Hacker News
📊Count-Min Sketch
They can't always be good days
dev.to·16h·
Discuss: DEV
🎯Gradual Typing
Dependent types I › Universes, or types of types
jonmsterling.com·5d·
Discuss: Hacker News
🔤Type Theory
The Art of Transformer Programming (2023)
yanivle.github.io·1d·
Discuss: Hacker News
🤖Lisp Machines
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔩Systems Programming
Chicken Scheme internals: the garbage collector
more-magic.net·2d·
Discuss: Hacker News
🧠Separation Logic
Notes on Programming in C by Rob Pike
lysator.liu.se·3d·
Discuss: Hacker News
🦀Rust Macros
Normality and the Turing Test
arxiv.org·3h
🎯Automata theory
Answering some questions about Baba Yaga
eli.li·1d·
Discuss: Hacker News
🎯Dependent Types
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·4h·
Discuss: Hacker News
⚡Proof Automation