Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
A Short Introduction to Categorical Logic
youtube.com·7h
🔀Category Theory
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·6h
🧮Vector Embeddings
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·57m
🔧Hardware Verification
Flag this post
Everything About Transformers
krupadave.com·5h
📝Text Parsing
Flag this post
The Janusian Genesis: A Chronicle of Emergent Agency in a Self-Modifying Language Model (AI assisted)
🔲Cellular Automata
Flag this post
Holographic theory of LLMs: explains unbreakable bias and cross-model infection
💻Local LLMs
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·10h
🔒WASM Capabilities
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Building Intelligent Multi-Agent Systems with Context-Aware Coordination
✨Algebraic Effects
Flag this post
An Analysis of Causal Effect Estimation using Outcome Invariant Data Augmentation
arxiv.org·6h
✨Effect Handlers
Flag this post
Context engineering
🧠Intelligence Compression
Flag this post
Hierarchical Physics-Embedded Learning for Spatiotemporal Dynamical Systems
arxiv.org·6h
✨Effect Handlers
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·1d
⚡Effectful Programming
Flag this post
Loading...Loading more...