Lively Linear Lisp (1992)
plover.com·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·3h
⚙️ABNF Mining
Incremental query updating in adhesive categories
topos.institute·17h
🔗Combinatory Logic
Quark’s Outlines: Python Immutable Sequences
dev.to·42m·
Discuss: DEV
📝Text Compression
Looking for advice regarding distributed storage.
i.redd.it·12h·
Discuss: r/homelab
🏠Homelab Preservation
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·1d·
Discuss: Hacker News
🦀Rust Verification
Benchmarking compression programs
maskray.me·1d
📦Deflate
Miso: A swiss table implementation from scratch in rust
reddit.com·22h·
Discuss: r/rust
🦀Rust Verification
Ollama Feature Parity for ACP
github.com·17h·
Discuss: Hacker News
🔓Open Source Software
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·14h·
Discuss: Lobsters, Hacker News, r/cpp
⬆️Lambda Lifting
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·10h·
Discuss: Hacker News
🔍Type Inference
Song recommendations with C# free monads
blog.ploeh.dk·1h
λLambda Formalization
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·1d·
Discuss: Hacker News
🔗Archive Combinators
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
One language to rule them all?
aardvark.co.nz·14h
💻programming languages
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
things rust shipped without (2015)
graydon2.dreamwidth.org·6h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·12h·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp
🔗Static Linking
A note about eventual consistency - Part 2
ufried.com·3d
🗄️Database Sharding
Subversion beats Perforce in handling large files, and it's not even close (2024)
liamfoot.com·5h·
Discuss: Hacker News
📦Git LFS