-
Write more, write shorter
I love to write, but rarely do I actually publish on my blog. I went through a long stretch from the beginning of 2020, to almost the end of 2021, where I didn’t make a single post. Unsurprisingly, it was probably one of the roughest points in my life mentally. I went through a lot,…
-
When You Have No Business Idea
We’ve all been there before. It’s where I’ve been recently. When no matter what you do, you can’t come up with an idea with good product-market fit, or all the ones you’ve had were taken, it’s tough to stay motivated when you can’t come up with a solid business idea. If you’re anything like me,…
-
Writing Your Second Operating System
With any skill for which there exist Internet tutorials, there are bound to be hundreds of tutorials covering the very basics. This is especially true for computer programming. The problem, though, is that once you get past the basics, the amount of resources available tends to thin out dramatically. The world is full of “your…
-
What’s New – January 27th, 2020
As January winds down, I figured it would be a good time to continue my “What’s New” series. (I’ve actually posted one this month already, so this will also cover early February.) What’s Dead (or rather, completed) sumo – I spent the winter break finally completing a compiler. It’s a pretty unsurprising language, but there…
-
Things I Hate About Python
Everything.
-
Contribute, Or Die: An Open Source Mantra
I originally wrote a draft of this in December, but was inspired to finish it by recent events (i.e. actix-web). We’ve all heard the trope that the “free” in “free software” does not necessarily mean “without cost” (source). In fact, it really almost never does. Even if a unit of software is available without monetary…
-
How Many Types Is Too Many?
Position: Type annotations are ultimately undesirable when working with sufficiently-complex type systems, but there is no better solution. There is a point where a formally-verified compiler becomes indistinguishable from an automated theorem prover. Such a compiler can deduce a lot of information from a given language. Take, for example, a hypothetical, C-like language: int array_nth(arr,…
-
What’s New – January 10th, 2019
Hey everyone. Sorry, I missed December. I had good reason, though – finals, and then holidays. Here’s what’s new. I’ve been reading a lot of research papers, textbooks, and other resources, and with the knowledge I have now, have decided to mostly sideline Manda (sad, right?), in favor of projects I believe will be far…