Rakhim
1
Summary of Truth about Types, a talk by Bartosz Milewski  16h29 10 février
Intro Category theory abstracts many branches of math. You can describe topology, logic, Banach spaces and other concepts in terms of category theory. Why is it so? Does category theory describe the nature, the intrinsic reality, and we happened to discover it like physicists discover the laws of...
2
Summary of Transducers, a talk by Rich Hickey  12h39 31 janvier
Intro What are transducers? The basic idea is to extract the essence of map, filter and other functions that transform sequences and collections, and reuse this essence so that it can be applied elsewhere; to recast them as process transformations. The kind of process for which we can use...
3
Fastmail setup with Emacs, mu4e and mbsync on macOS  11h09 30 janvier
I guess it was inevitable. Once you embrace Emacs, at some point you gonna want to do email in it. Honestly, I don’t think I’ll stick with it, but as an experiment, I want to try and see whether it makes sense to use Emacs as an email client. These are my requirements: Fastmail as email provider....
4
Summary of Concurrency Is Not Parallellism, a talk by Rob Pike  14h25 20 décembre
This is a complete summary of an excellent talk by Rob Pike Concurrency is Not Parallelism . Illustrations and diagrams are recreated; source code taken verbatim from the slides, except for comments, which were extended in some places. (You can get a set of PDF (preview) HTML epub Kindle versions...
5
Coding vs. Programming vs. Software Engineering  13h09 27 novembre
I don’t think there are formal definitions for either coding or programming or even software engineering , even though the latter is used in formal contexts like academia and human resources. They are vague, pliable terms which mean different things to different people. I want to share how I...
6
Examples are the best documentation  08h02 26 novembre
When I’m searching for docs, 95% of the time a single example would suffice. Yet, 95% of the time I can’t find one in any official source. It seems that by default formal technical documentation is targeted towards someone who’s deeply immersed in the ecosystem. But many developers have to juggle a...
7
Quick and dirty git push  12h52 22 novembre
Very often, all I need from git is to stage all changes, commit them and push to master. I’ve made two scripts for this. One in bash: gitapush() if [ # -eq 0 ]; then echo "Enter message: " read message else message 1 fi if [ -z " message" ]; then message (date %d-%b-%H:%M) fi...
8
Pocket App fails silently  07h31 21 novembre
Pocket is a popular read later app. People generally recommend it, and I haven’t heard many complains about it. But in my experience, Pocket fails, and does it in the worst possible way. Pocket repeatedly omits portions of pages. Here are a few examples from my queue try adding them to your...
9
The price of complexity  10h48 20 novembre
Computer programmers often talk about tackling complexity, yet they thrive on complexity. I believe tech people experience a constant dilemma: on one hand, we want things to be simple and straightforward; on the other hand we love complex structures and engineering marvels. I think about this today...
10
User Is Dead  07h51 22 octobre
User is dead. User remains dead. And we have killed him. How shall we comfort ourselves, the developers, the designers, the growth hackers? What was holiest and the final judge of all that the world has yet owned has bled to death under our a b-tests and new features. Who will wipe this blood off...
11
Be Wary of Self Described Benefits  15h06 03 septembre
Picking a university was one of the main tasks in the last year of high school. That and exams. I wasn’t sure what to study and which place to pick. I had no idea how one can make these choices. There weren’t too many resources available at the time. So, a lot of us relied on promotional info...
12
Process of Learning  14h24 29 juillet
A process of learning is analogous to an attempt of building a three-dimensional model from two-dimensional photos. You approach a new area of knowledge. You know nothing at all. You stumble upon a first piece: That’s more than nothing, but still very little. You don’t understand it. At best,...
13
Bicycles and Love  08h47 27 juillet
I love bicycles. The first memories I have are bike-related. The best ones are, too. My first bicycle was a tricycle I don’t remember a time I didn’t bike. Bicycle means freedom. My first serious bicycles, the ones that let me explore the city, were old, steel soviet tanks. They were...
14
80-characters limit for text is wrong  09h27 30 mai
I believe the 80-characters (or any other number) line limit for text to be wrong. Not archaic or irrelevant, but wrong. It violates a fundamental idea of computer science: separating layers of abstraction. Not talking about code today, although, I don’t think a strict limit is a good thing there...
15
Office hours  09h45 21 mai
As an experiment, I am holding paid office hours for several weeks. I’d love to share whatever limited experience I’ve gained so far. You can schedule a 30 or 60 minute audio call to talk (in English or Russian) about any of the following topics: Computer science and programming. Discuss a...