Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท23h
๐Category Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Is the logic in numbers part of a greater universal language? A 2 part exploration of 0 and 1 - Part I The Reality in Numbers
๐Concatenative Theory
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
De Bruijn Numerals
ฮปLambda Calculus
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
๐Lens Libraries
Flag this post
The Abode of Salvation
๐นMinimal Go
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.orgยท23h
๐ฏFinite Automata
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
๐งAPI Design
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท18h
๐ญErlang OTP
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท10h
๐ฒProperty Testing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท5h
โ๏ธInference Rules
Flag this post
Loading...Loading more...