In this post I hope to explain why bidirectional type-checking has a lot of cultural cachet within the programming language theory community. To be clear, I’m an amateur and I have no formal background in computer science or type theory. Nonetheless, I believe I’ve learned enough and compared notes with others to motivate bidirectional type-checking.
Source: The appeal of bidirectional type-checking, an article by Gabriella Gonzalez.
When you use Rust, it is sometimes outright preposterous how much knowledge of language, and how much of programming ingenuity and curiosity you need in order to accomplish the most trivial things.
Source: Rust Is Hard, Or: The Misery of Mainstream Programming.
systemd services and timers are a game changer if you’re used to cron jobs. This looks at a couple of simple real-life examples to show off the advantages.
Source: systemd services & timers in NixOS, an article by Victor Engmark.
Trivially find out which cron events ran, or will run, for an arbitrary time range; allowing you to rerun, debug, fast forward (speed up test iterations), with
cron-sequencer.
Source: Replay Cron Events With Cron::Sequencer, an article by Lee A Johnson.