Collected my helper functions to lozenge.el package, e.g. (โduckduckgo
"textlog") opens ddg. Lozenge is โ character. Others are
(โfind-file), (โgrep), (โgithub-search), (โshow-commit) etc.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
Iโm ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Canโt code in that mode. Itโs hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.
Using the internet these days is like pulling off an elaborate heist operation. Every time I successfully load a page I feel like I've "gotten away with something".
NIH syndrome? I am guilty of it too. I love implementing things from scratch, you learn a lot by doing so and you get to own the codebase end-to-end, so no surprises and fighting around othersโ choices. It can get exhausting too though, in the end I succumb to using off-the-shelf components because my primary goals move at a higher level.
I don't see much point in trying to build software at a "higher level", like whole products and services. I'm going to go down low and train myself on the fundamentals. Hopefully in time I'll be able to contribute to the foundational bits.
You're right, it does get exhausting. At some point you just want to rebuild everything, which is not possible.
I'm going to go down low and train myself on the fundamentals.
When I wrote an HTTP sever (albeit HTTP/1.1), I learned how primitive the HTTP protocol its magic became a skill. It is freeing understanding how things work and allows me to choose where to spend time with more intention.
Most of programs use key chords, like Cmd-Shift-G, Ctrl-Alt-N and so on, you need to remember and press awkwardly several keys at once.
#Emacsnotesfollow uses key sequences, C-c then k then p then l.
If I forget after C-c k p then press C-h and help appears.