Note: An mdbook version, organized into chapters, can be found here. Its content is licensed under CC (Creative Commons), and if you want to modify it to fit it for your own use, you can use the GitHub repository. Outline Concurrency in a single thread Generators Coroutines Scheduling coroutines Concurrency in a single thread Traditionally, concurrency has been a responsibility handed down to the operating system....
I started Vim several years ago. My first deliberate learning came one random day when I had some free time and had recently learnt that Vim tutor exists. I completed the exercises. The idea of using a keyboard to do complicated editor actions - things like skipping through the start and end of English words, going to the beginning and end of lines, skipping to the next empty line - felt powerful....
For easy access GitHub Repo: the4thdoctor/pg_chameleon GitHub Diff: 50ed941…bdc376a Branch with my changes: gsoc-2023 (This can be installed and run manually) Changes after GSOC: Pull Request This post is to mark the completion of my participation in Google Summer of Code 2023 with the PostgreSQL organisation. I worked on a database replication tool called pg_chameleon, to rewrite the SQL parsing library. My mentors were Federico – the original author of this library –, and Andreas – a PostgreSQL contributor....
I don’t usually do purely mathematical posts, but this topic really fascinated me and I want to share it. If you think about it, math is formal language we created to help us describe the world. It is extremely rigorous and in the end, and very importantly, it seems to make sense to us. In the early 1900s, Bertrand Russell worked on Principia Mathematica, a set of rigorous proofs of what we consider fundamental truths in math....
Work In Progress 🚧 2023 marks the year that the 12th minor version of Python 3 will be released. Things have changed a lot since the early days. Features have been added, deprecated, and new pythonic ways have emerged. The Pythonic Ways To preach about pythonic ways to preach the Zen of Python. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 >>> import this The Zen of Python, by Tim Peters Beautiful is better than ugly....
I’ve been learning Rust and I thought the Protohackers challenge would be a good way to learn it. Here I document my thoughts and learnings as I go through it. [It’s a WIP] Problem 0: Smoke Test A TCP Echo server. Before thoughts: A TCP server must be fairly straightforward. If I remember correctly, the way to do it with sockets is to listen on one socket, pass received connections onto other separate sockets for each such that each connection is handled asynchronously, and then keep listening for more connections on the original listening socket....
The previous week was my last at Pipal Academy. I completed all the handoffs at the start of the week and then I had to use the rest of the week to prepare for some online exams over the weekend. It felt like a tiring week so I took some days to wind down, travel back home, and I’m only writing this post now. It’s been slightly more than a year since I joined Pipal....
I don’t believe in ghosts. But something spooky happened to me only a few minutes ago, and sitting in the melancholic darkness of 3AM, I couldn’t think of a more fitting name than “The Ghost in the CI.” It started with a change I made in the HTML template of a Flask app. This app spawns some other apps on-demand with Nomad (which has similar capabilities as Kubernetes). The app accesses Nomad through a third-party wrapper library for the API....
Using Coqtail to setup the Coq interactive theorem prover in Vim or Neovim Besides using Coq in the Coqide or with Proof General in Emacs, you can also set it up on Vim/Neovim with the Coqtail extension. I had some difficulties while setting it up and there weren’t that many resources for it, so I’m documenting the steps here. We’ll have to: Set up Vim / Neovim with Python support Install coq for command line Add the coqtail plugin / setup colors or colorscheme 1....