🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

FLINT: Fast Library for Number Theory
flintlib.org·10h
🧮Algebraic Datatypes
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·7h·
Discuss: r/kubernetes
📦Container Security
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Nullable vs. Nullable in C#
einarwh.no·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·14h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·7h
🎯Performance Proofs
TypeScript: Enable Strict Mode by Default
github.com·12h·
Discuss: Hacker News
🎯Gradual Typing
Event Catalog — Exploring The Advanced Capabili
medium.com·16h
🏷️Metadata Standards
Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
arxiv.org·48m
🔐Quantum Security
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·14h·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·18h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·48m
🦋Format Metamorphosis
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·48m
💻Local LLMs
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·48m
🧠Intelligence Compression
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·10h·
Discuss: Hacker News
⚡gRPC
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.org·48m
🌍Cultural Algorithms
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·1d
📇Dublin Core
Docx templating with golang
reddit.com·1d·
Discuss: r/golang
🦀Rust Macros