Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Writing under my real name
psychotechnology.substack.com·5h·
Discuss: Substack
🏠indieweb
Flag this post
Comparing the motion of dark matter and standard model particles on cosmological scales
nature.com·13h
🔍Lens Libraries
Flag this post
Another way of doing big O notation
alok.github.io·2d
Church Encoding
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
⚙️TOML Parsers
Flag this post
De Bruijn Numerals
text.marvinborner.de·4d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·1d·
Discuss: r/rust
🔗Borrowing Extensions
Flag this post
Building a Production-Ready A2A Protocol Agent: A Technical Journey
dev.to·2h·
Discuss: DEV
🌐Network Protocols
Flag this post
Down with template (or not)!
cedardb.com·4d·
📋Template Compilers
Flag this post
Scala vs F#
alexn.org·2d
🔧Nickel
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·11h
🎮Language Ergonomics
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Double categories for adaptive quantum computation
arxiv.org·3d
🔗Category Theory
Flag this post
learn-data-structures-js
github.com·12h·
Discuss: DEV
🪢Rope Data Structures
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·18h·
Discuss: DEV
functional programming
Flag this post
What Is Lua Used for in Programming in 2025?
dev.to·1d·
Discuss: DEV
🌙Lua
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·3d
🔍ML Language
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·20h·
Discuss: DEV
🚂Error Propagation
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
📐Mathematical Computing
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·19h
🔬Nanopasses
Flag this post
Cheesy dialogue between Immanuel Kant and Claude as written by Claude.
reddit.com·2d·
Discuss: r/ClaudeAI
⚖️Inference Rules
Flag this post