How to Build an Origami Computer
📐Mathematical Art
Flag this post
Unlocking Efficiency: Streamlining AI Planning Through Axiom Optimization
⚡Z3 Optimization
Flag this post
Kazhdan Seminar fall 2025 – Starting Today Oct. 19, 2026.
gilkalai.wordpress.com·9h
🧮Theoretical Computer Science
Flag this post
mikeizbicki/HLearn
github.com·1d
🔗Monadic Parsing
Flag this post
computational trilogy in nLab
ncatlab.org·1d
λLambda Formalization
Flag this post
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
arxiv.org·2d
🏗️Constructive Mathematics
Flag this post
Automatic College Bell Project Using Arduino| Arduino mini p
hackster.io·10h
⚡Homebrew CPUs
Flag this post
The Complete Guide to Vector Databases for Machine Learning
machinelearningmastery.com·1d
🗂️Vector Databases
Flag this post
The Massive Size of Broadcom Tomahawk 6 102.4T Switch Chips and Tomhawk Ultra Bonus
servethehome.com·17m
📟Vintage Protocols
Flag this post
Formalising external APIs
gleam.run·15h
🦀Rust Macros
Flag this post
High-Performance Tiered Memory Pool for Go with Weak References and Smart Buffer Splitting
github.com·1d
🧠Memory Allocators
Flag this post
Optimizing Text Offset Calculations
🦀Rust Macros
Flag this post
Simplified Sachdev-Ye-Kitaev model simulated on trapped-ion quantum computer
phys.org·1h
⚛️Quantum Tape
Flag this post
Why long-term memory is the missing layer for AI-driven experiences
techradar.com·2d
💾Persistence Strategies
Flag this post
Deck Dialogues: How Alex Transformed His UConsole into a Botnet Simulator
🎮Switch Archaeology
Flag this post
The Intel i386 turns 40 years old — 275,000 transistors running at 16MHz changed personal computing forever
tomshardware.com·2h
🧲RISC-V Archaeology
Flag this post
A new language model design draws inspiration from the structure of the human brain
the-decoder.com·1d
⚡Incremental Computation
Flag this post
Loading...Loading more...