Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.govยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธCalculus of Constructions
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.orgยท6h
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
The Law of Leaky Abstractions
joelonsoftware.comยท4hยท
Discuss: Hacker News
๐Ÿš‚Error Propagation
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.devยท18hยท
Discuss: Hacker News
๐Ÿ”€Control Structures
Flag this post
Implementing E Unification using SMT
philipzucker.comยท1d
๐ŸงฎTheorem Provers
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.comยท1d
๐ŸงฎCombinator Calculus
Flag this post
Privacy-Preserving Active Learning for circular manufacturing supply chains for extreme data sparsity scenarios
dev.toยท2hยท
Discuss: DEV
โœจGleam
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.comยท14h
๐ŸŒณTree Shaking
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.orgยท6h
๐Ÿ”ML Language
Flag this post
Code Rewrites Often Solve the Wrong Problem
stevenstuartm.comยท13hยท
Discuss: DEV
๐ŸงฑFirst Principles
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.comยท1dยท
Discuss: Substack
๐Ÿ”€Control Structures
Flag this post
An introduction to computer algebra (2018)
corywalker.meยท2dยท
Discuss: Hacker News
๐Ÿ“Mathematical Computing
Flag this post
Kruskal's Tree Theorem
en.wikipedia.orgยท7hยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Flag this post
DOTS from double theories
topos.instituteยท2d
๐ŸŽฏType Theory
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.ioยท11hยท
Discuss: r/programming
๐Ÿ“ฆExecutable Size
Flag this post
A Monad Guide for Beginners
dev.toยท2dยท
Discuss: DEV
๐Ÿš‚Error Monads
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.ioยท11h
๐Ÿ“‡Symbol Tables
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.comยท1d
โš–๏ธInference Rules
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.comยท20hยท
Discuss: r/rust
๐Ÿ”งAPI Design
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
dev.toยท1dยท
Discuss: DEV
๐ŸŒ‰Cross-Platform FFI
Flag this post