Years of #clipboard hell: yank in #neovim, pray it survives two #tmux layers + #SSH (It NEVER did)
Finally hunted it down with #Claude Code and the fix was monadic: escape the escape, wrap the wrap
I should write this up, but for now: I like piña coladas, and getting caught in the rain 🍹
Refactoring boolean logic looks obvious and quietly breaks things.
These exercises focus on two tools:
- De Morgan's laws to rewrite predicates
- Truth tables to prove equivalence
github.com/cds-io/logic...
Simple tools; big impact on reasoning about code.
#programming #typescript #rustlang
@johnlindquist.com this poem made me smile :)
🐰 One merge to bind them, right-biased and true, Where concatFrontmatter sees defaults through, Property tests hop and validate with glee, No mutations lurk—identity set free! The monoid's laws now unified and bright. ✨
#mdflow #egghead.io
