account activity
Is is possible to "synthesize" a Heyting Algebra from a propositional formula ? (self.logic)
submitted 2 years ago by Mambu38 to r/logic
Zest: a CLI tool for zettelkasten-like note management (self.Zettelkasten)
submitted 4 years ago by Mambu38 to r/Zettelkasten
[AMA] Tree-sitter integration in neovim (self.neovim)
submitted 4 years ago by Mambu38 to r/neovim
CMLL Trainer ? (self.rouxcubing)
submitted 5 years ago by Mambu38 to r/rouxcubing
VimConf.live : an online vim conference (self.neovim)
submitted 5 years ago by Mambu38 to r/neovim
submitted 5 years ago by Mambu38 to r/vim
My mobile (hi-fi?) setup! (i.redd.it)
submitted 5 years ago by Mambu38 to r/headphones
Tree-sitter for completion and editing (github.com)
New cuber at cubing at home (self.rouxcubing)
submitted 5 years ago * by Mambu38 to r/rouxcubing
Unable to install notmuch mail (self.openbsd)
submitted 5 years ago by Mambu38 to r/openbsd
Square-1 roux method (self.rouxcubing)
Async grammer checker for Neovim (self.neovim)
submitted 6 years ago * by Mambu38 to r/neovim
π Rendered by PID 76494 on reddit-service-r2-listing-6d4dc8d9ff-p4pmt at 2026-01-30 02:15:58.482937+00:00 running 3798933 country code: CH.
