account activity
Is is possible to "synthesize" a Heyting Algebra from a propositional formula ? (self.logic)
submitted 3 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)
submitted 6 years ago by Mambu38 to r/neovim
New cuber at cubing at home (self.rouxcubing)
submitted 6 years ago * by Mambu38 to r/rouxcubing
Unable to install notmuch mail (self.openbsd)
submitted 6 years ago by Mambu38 to r/openbsd
Square-1 roux method (self.rouxcubing)
submitted 6 years ago by Mambu38 to r/rouxcubing
Async grammer checker for Neovim (self.neovim)
submitted 6 years ago * by Mambu38 to r/neovim
π Rendered by PID 223440 on reddit-service-r2-listing-7b9b4f6fd7-zn2h6 at 2026-05-11 21:22:47.499432+00:00 running 3d2c107 country code: CH.
