🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

On This Dayin Math - November 2
pballew.blogspot.com·9h·
Discuss: www.blogger.com
📐Mathematical Computing
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
ksramalakshmi.medium.com·4h·
Discuss: r/LocalLLaMA
🔢Algebraic Datatypes
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·4d
🪜Recursive Descent
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·2h·
Discuss: Hacker News
∀Quantified Types
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🌳B+ Trees
Flag this post
Intervaltree with Rust Back End
github.com·7h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Project 2
dev.to·10h·
Discuss: DEV
🔧API Design
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔬programming language theory
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🌙Lua
Flag this post
Three Meanings of Reference
sandordargo.com·2d·
Discuss: Hacker News, r/cpp
📇Symbol Tables
Flag this post
Revisiting interface segregation in Go
rednafi.com·1d·
Discuss: Hacker News, r/golang
📡Protocol Buffers
Flag this post
How to Build Anomalous (3+1)d Topological Quantum Field Theories
arxiv.org·3d
🔗Category Theory
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
💫Effect Systems
Flag this post
Finetuning Open-source models with Opus, Sonnet 4.5 and Haiku 4.5
reddit.com·4h·
Discuss: r/ClaudeAI
🌊Gradual Effects
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Building an A2A-Compatible Agent in Rust: My Telex Integration Journey
dev.to·20h·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·46m·
Discuss: DEV
💬Interactive REPLs
Flag this post
Is 'human' a risky AGI target
nullsy.com·15h·
Discuss: Hacker News
✨Effect Inference
Flag this post