A Short Introduction to Categorical Logic
youtube.com·1d
⚖️Inference Rules
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.org·1d
⚡Partial Evaluation
Flag this post
The case against boolean logic
⚖️Inference Rules
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·3d
⚡Fusion Laws
Flag this post
What Is Egocentrism?
psychologytoday.com·1d
↕️Bidirectional Types
Flag this post
Making Every 5x5 Nonogram: Part 1
🪢Rope Data Structures
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔗Borrowing Extensions
Flag this post
4th Grade Teacher's One Ten (118)
🔗Concatenative Theory
Flag this post
Algorithmic Randomness, Exchangeability, and the Principal Principle
arxiv.org·2d
⚖️Inference Rules
Flag this post
LHC as an Axion-Photon Collider
journals.aps.org·1d
🔍Lens Libraries
Flag this post
word2vec-style vector arithmetic on docs embeddings
🌙Lua
Flag this post
Physicists Just Ruled Out The Universe Being a Simulation
yahoo.com·8h
🎯Type Theory
Flag this post
The Structure of Data
🪢Rope Data Structures
Flag this post
Magisterium
💫Effect Systems
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.org·23h
🗺️Region Inference
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Scala 3 / HOCON Parsing
alexn.org·1d
🔗Lexical Scoping
Flag this post
Double categories for adaptive quantum computation
arxiv.org·23h
🔗Category Theory
Flag this post
Loading...Loading more...