If you're like me, you don't remember trig identities. If you're like me, you prefer rederiving stuff yourself. It's a perk of math that we replace memorization with derivation. Still, it takes time, and distracts you from what you're actually doing. Also, deriving trig identities isn't so easy without some …
read moreYet another retrospective
I expect another couple of days before I can submit a pull request. Today after some horrendous debugging I finally got some tangible progress. status, log, add-all and commit all seem to be working, perhaps even init (but still inconclusive). Still need to add push and pull. Then I need …
read morePushing through
I reached a milestone today in my project to integrate git into the mobile version of logseq. Finally the git functions like add, status, init were working. I also realized that all the work and time that I put in so far was to writh this file system adapter that …
read moreMore thoughts on logseq, git, and how to approach open source tasks
Where I am
It's been a couple more days now since my last post on the subject. I spent another 10 hours or so, and haven't gotten much further. Mostly I'm stuck with file system problems. In my last post I said I would use filesystem abstraction already present in …
read moreSaturday Physics
Originally I intended to write about a physics problem I did today, but then this turned into more of a journal thing, so feel free to skip it.
More thoughts about sabbatical
After another week, a recurring thought that is troubling me is my productivity. I question myself again and …
read moreLearning Biology with flashcards
Today I want to talk a bit about my PKM setup. This is mostly because the main thing I did today was study biology and prepare flashcards, so I might as well write about it.
I've been listening in the last month and a half to lectures from "the great …
read moreAt the door steps of Mordor
The goal
A short recap of where we are (will probably refactor this to retroactive posts eventually): I'm trying to switch logseq's git dependency from
read moredugitetoisomorphic-git, so it can run on android, browser etc. The problem with dugite is that it depends on the presence of a git …My first PR
So the company I worked at went bankrupt. I decided to take this time off to do some projects, figure out what's interesting to me. I'm one of these chronic project stallers: I always start stuff and almost never finish. I guess a lot of people are like that, but …
read moreA tidbit about docker containers
I played around with docker containers today. Tried to install mssql on an M2 mac. Didn't go smoothly at first, but I attribute it to inexperience. The arm architecture crops up here and there when you're on one of those. Anyway, cool thing:
You can run a terminal inside a …
read moreThe mysteries of HTML box heights
Today's post is not "fully cooked", I still don't think I figured this topic out, but I did learn a few things.
Today I needed to do some css hacking for a dashboard I'm building with
read morestreamlit. I was using agridelement from the streamlit-extras package, and I wanted …