posts
glossary
syntax
resources
repos
about
abstract_machines
>
.
.
.
Async Iterators in Rust
8 Dec 2025
Classic Papers - Reducibility Among Combinatorial Problems
- Karp's 21 NP-complete problems and why reductions matter for algorithms and complexity
8 Dec 2025
Async Iterators in JavaScript
- Using async generators, for-await loops, and streams to handle data incrementally
8 Dec 2025
Computational Reversibility and Landauer’s Limit
- Why erasing bits costs energy, and how reversible computing tries to avoid it
8 Dec 2025
Using Sequence Maps to Model Large-Scale State Machines
8 Dec 2025
Notes on Girard's Linear Logic
- The foundational 1987 paper introducing linear logic
∃
10 Dec 2024
No posts found matching "
"
> help
↑/↓
navigate •
enter
open •
esc
clear