Lossless Compression with Asymmetric Numeral Systems (2020)
bjlkeng.io·1d·
Discuss: Hacker News
🎯Arithmetic Coding
Flag this post
A Senior Developer’s Guide to Python’s Data Toolkit
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
⚔️Lean Theorem
Flag this post
Pushing Past the First Error During Type Inference
thunderseethe.dev·2d
🦀Rust Verification
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🏗️Constructive Mathematics
Flag this post
Implementing E Unification using SMT
philipzucker.com·2d
🧮SMT Solvers
Flag this post
C# 14 Language Features in ReSharper and Rider 2025.3
blog.jetbrains.com·8h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Monotonic Collections: a middle ground between immutable and fully mutable
neilmadden.blog·5h
🧮Algebraic Archives
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·19h
🌳Archive Merkle Trees
Flag this post
Rewrite of Gemini API (AI content)
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🎯Gradual Typing
Flag this post
Modelling data with relations
snell-pym.org.uk·2h
🦴Database Paleontology
Flag this post
A compact syntax for XProc?
so.nwalsh.com·1d
📋Document Grammar
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·8h
🧬Functional Programming
Flag this post
Scaling HNSWs
antirez.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🔍BitFunnel
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
CodeSOD: Losing a Digit
thedailywtf.com·18h
🧪Binary Fuzzing
Flag this post
Kruskal's Tree Theorem
en.wikipedia.org·20h·
Discuss: Hacker News
🔗Combinatory Logic
Flag this post
C++ Enum Class and Error Codes
mropert.github.io·58m·
Discuss: Hacker News
💧Liquid Types
Flag this post
Comparing Integers and Doubles
databasearchitects.blogspot.com·1d·
Discuss: databasearchitects.blogspot.com
🧮Algebraic Datatypes
Flag this post
countertype/three-text: A high fidelity font renderer and text layout engine for Three.js
github.com·2d
🔠Terminal Fonts
Flag this post