Below you will find pages that utilize the taxonomy term “github”
Spent a week in Switzerland… and on the flight back caught COVID.
The year has ended, what has been going on?
A few days go I played a bit with a naive implementation of Bloom
filters in Python. I wanted to time
them against just checking whether a field is in a set/collection. I found
something slightly puzzling: it looked like the in worked too fast for
smaller lists. And I wondered: maybe small lists are special internally, and
allow for really fast lookups? Maybe they have some internal index? This raised
the question: how does in find stuff in sequences?
I am trying to make these posts a tradition (even if a few days late). I thought 2016 had been a really weird and fun year, but 2017 has beaten it easily. And I only hope 2018 will be even better in every way. For the record, when I say we, it means Laia and me unless explicitly changed.
Note: It’s best to open the videos in full screen. Also I have added a few line breaks or readability in the code snippets that will make them not work correctly. It’s not hard to find where they are, if you run into any problems let me know.
If you’ve been following this blog, you’ll know I’ve been using Acme and related Plan 9 from User Space utilities lately. One of its pieces is the plumber.
Version Control: Started using git and github (and how to set-up a remote git server)
2 minutes read | 363 words
It’s been almost 6 years since I used some kind of version control system. Back then I wasn’t sure about which I wanted to use… I settled with RCS, the father of them all. RCS was structurally simple, with text-based (human-readable) delta files. I liked that. I had all my code and TeX files under revision control, but then I started using more than one computer and it got out of hand quickly (using RCS or CVS in Windows was quite tricky and had user and encoding problems.)