I display some custom text using fortune whenever I open a new terminal.
Since a few people have asked me how do I do it, I'll write it here as a
sort of reminder/reference, even if it's a very simple man fortune away.
For the past 8 months I worked in an undisclosed company, and I began to use a lot of software I never had the chance or interest to look at because you only need it at enterprise scale. I've learned to look at software in a lot new ways that I completely missed as a hobbist.
If you come from the Linux world and you've never tried FreeBSD before, you should. This is a list of nice features FreeBSD offers that I kind of miss when I go back to my Linux desktop and servers.
As the general quality of software, hardware and pretty much everything declines, I have found great solace in setting up my newly-refurbished ThinkPad from scratch.
This is a general list of command line tricks I find myself doing on Linux. Most of these are often bad ideas and better suited alternatives for the job exist.
You should definitely lay down your new, shiniest tool that will unlock infinite productivity and learn something just for yourself, for fun, slowly, clumsily. You'll be left with something that can't be ever taken away: experience!
I wanted to learn Zig, so I decided I would write a lambda calculus interpreter with just the standard library. I also wrote a Haskell implementation acting as a baseline; Haskell is an entirely different class of language and it'll be fun to talk about the differences in implementation.
You can follow along in any language and try to write your own lambda calculus interpreter. I'll first highlight the general architecture used the Haskell implementation and then present how the same steps were implemented in Zig.
I like writing software and computers. I've also always been fascinated by the theory of programming languages and computation itself. This is an important premise to make, since not everyone is coding with the same objectives and I do.
For instance I cherish safety and correctness before performance or development time, and what I cherish the most is the ability to reason about complex system via elegant abstractions, just like a mathematician loves a short but deep formula.
We should never forget that, up until now, the abstractions we developed were meant for humans to understand chasing some idea of "elegance".