Micro posting in April

April 27, 2022

imgHot off the kitchen

Like many here, I turned off commenting years ago. My motivation had less to do with spam. (I’m on WordPress and it does a pretty good job with that.) It had more to do with the conversations moving from my site to the social web. Folks wanted to talk about stuff where they already were, rather than centralizing that conversation on individual blogs. — Ask HN: Are blog comments a thing of the past?


Note that “semantic understanding” is mostly unrelated to the traditional interpretation of “IDE” as Integrated Development Environment. I personally don’t feel that the “Integrated” bit is all that important. I commit&push from the command line using Julia scripts, rebase in magit, and do code reviews in a browser. If anything, there’s an ample room for improvement for the integration bits. For me, I in “IDE” stands for “intelligent”, smart. — Why an IDE?

2022-04-01: Building a Full Stack Application with Flask and HTMx.
2022-04-01: Implementing cosine in C from scratch. #clang

Atom Editor was, and still is, an amazing piece of technology. It was the first practical example of web technologies running locally, applied to a really hard problem: text editors. It it was, and still is, darn good at handling code. — The impossibility to maintain Atom


Consume input from stdin, produce output to stdout. Put another way, your program should be a filter. Filters are easily integrated into shell pipelines, arguably the most important utility for Unix tools composition. — Hints for writing Unix tools

2022-04-02: Apparently, the formers developers of Atom (whose status remains unclear at the time of this writing) are now developing a new text editor, Zed. Note that there’s also Lapce in the radar.
2022-04-04: Principal Component Analysis for Data Science .
2022-04-04: Roll your own Ngrok with Nginx, Letsencrypt, and SSH reverse tunnelling.
2022-04-04: Using Vim/Emacs is like a refactoring process. #vim
2022-04-04: Why we don’t use a staging environment.

Sometimes, though, I think there’s a value in doing things the old fashioned way, if only to get a little “closer to the ground” on what our tools are doing behind the scenes. — The Simple Joy of Coding by Hand


Textbook examples are there to illustrate a method. The recommended approach is to first give two examples where the method works, then one where it fails. But we, the textbook writers, are busy, so we’ll often just give the one that works and stop. As I wrote once, “the book has a chapter on regression discontinuity designs. That’s fine. But all we see in the chapter are successes.” — The examples you see in the textbooks are not representative of the sorts of problems you see in the real world

2022-04-08:   P!nk, So What.
2022-04-08: After Nova, yet another code editor for Mac: Zas Editor.
2022-04-08: An Intuitive Guide to Linear Algebra.
2022-04-08: The 0,5 MB of nothing in all Apple Music files.
2022-04-11: What Every Programmer Should Know About Memory?.
2022-04-11: What scientists must know about hardware to write fast code.
2022-04-12: An Ode to Apple’s Hide My Email.
2022-04-12: Starship: The minimal, blazing-fast, and infinitely customizable prompt for any shell!
2022-04-12: What Is Rust’s unsafe? #rust

Unlike systems software, the values demanded from text editors or IDEs vary greatly depending on who you ask. These are much more personal tools and make room for a diverse set of desires. — The values of Emacs, the Neovim revolution, and the VSCode gorilla

2022-04-14: How I Vim: Andy Stewart, a.k.a airblade. #vim
2022-04-14: Prettify your screenshot using imagemagick.
2022-04-14: TypeScript / How the compiler compiles.
2022-04-14: Vim Key Combinations. #vim
2022-04-14: What are the dark corners of Vim your mom never told you about?. #vim
2022-04-17:   Akira Kosemura, Mercy.
2022-04-17: A Quick Guide to Mutt.
2022-04-17: Git Jump to Vim Quickfix. #vim
2022-04-19:   Alain Kan, Speed My Speed.

Being `pure functional' does not eradicate state; it merely changes the way state is handled – which could be either more or less clearer and convenient. — Grasping ‘all-the-apples-at-once’

2022-04-19: Nixery provides ad-hoc container images that contain packages from the Nix package manager.
2022-04-20:   Alice in CHains, Down in a Hole.
2022-04-21: Choosing the Right Integers. #clang #rust
2022-04-21: Exponentially Better Rotations.
2022-04-21: Helix: A post-modern modal text editor. Looks cool.
2022-04-21: LaTeX A Modern Approach. #tex
2022-04-21: Memray is a memory profiler for Python. #python
2022-04-21: Scheme for scientific computing.
2022-04-25:   Jiři Horák, Ravens Home.

I don’t think it was a big technical innovation (it’s obvious that you want to separate a language-agnostic editor and a language-specific server). I think it’s a rather bad (aka, “good enough”) technical implementation (stay tuned for “Why LSP sucks?” post I guess?). But it moved us from a world where not having a language IDE was normal and no one was even thinking about language servers, to a world where a language without working completion and goto definition looks unprofessional. — Why LSP?


You dumbass. You thought you needed media queries to be responsive, but no. Responsive means that it responds to whatever motherfucking screensize it’s viewed on. This site doesn’t care if you’re on an iMac or a motherfucking Tamagotchi. — This is a motherfucking website

2022-04-25: Creating a tmux Colour Theme.
2022-04-26:   Dirk Maassen, Still.
2022-04-26: Working at producing elegant (or at least less common) notebooks using Org babel.

I know you’re going to be tempted to reply with “you’re using it wrong” - but I’m not. This is how I like to use my computer. And it is clear that the MacBook isn’t my computer - it is Apple’s. — Things I can’t do on MacOS which I can do on Ubuntu

2022-04-27: Now I’m calculating with constructive reals!

See Also

» Micro posting in March » Micro posting in February » Micro posting in January » Micro posting in December » Micro posting in November