The long way through Software Craftsmanship

Self-Study in March 2023

Mar 1, 2023 - 1 minute read - Comments - self-study-aggregation2023marchcompilercornelldoomdoom-emacseditoreducationemacshacker-newsideimportedlinear-typelispmacromemory-safetymitmoocoperating-systemownershipphilip-wadlerplatformprogramming-typerustself-pacedthread-safetytype-systemuniversityvim

Emacs is not just an editor (2015)

An overview of Emacs as compared to vim (just an editor).

https://news.ycombinator.com/item?id=35107806

Tags: emacs, vim, editor, operating-system, platform, lisp, ide, macro, doom-emacs, doom, imported, hacker-news

Id: 03d88f06-c197-11ed-a96e-0242ac110004 Read: Sat Mar 11 12:37:03 2023

CS 6120: Advanced Compilers: The Self-Guided Online Course

An interesting course from Cornell about Compilers. Self-paced.

https://news.ycombinator.com/item?id=35130975

Tags: cornell, education, university, self-paced, compiler, mooc, mit, imported, hacker-news

Id: 19890060-c197-11ed-b449-0242ac110004 Read: Mon Mar 13 04:14:38 2023

The Usability of Advanced Type Systems: Rust as a Case Study

Linear types “are values that must be used exactly once, i.e. they cannot be duplicated or implicitly discarded”

Tags: type-system, philip-wadler, rust, linear-type, programming-type, memory-safety, thread-safety, ownership

Id: 99081b8c-c197-11ed-9cad-0242ac110004 Read: Mon, 13 Mar 2023 12:07:17 +0000

Disclaimer about AI/GenAI

As of 2026-05-06, the text in these articles and blog entries has been written without AI/GenAI, except I sometimes use a spellchecker to fix errors. Think Word's spellchecker, not ChatGPT.

Notes, as of today (2026-05-06):

  • No code snippet has been automatically generated, nor vibe-coded, nor generated and reviewed.
  • I don’t have any article with AI contribution.

For future entries:

  • I may have used GenAI for the code in the repo. The code I exemplify/copy in the article will always be reviewed and tested, not vibe-coded. I will specify it in each snippet or at the top/bottom of the article.
  • I normally don't use it for the text contents, although if I have used it for the article text, it would be indicated as such.

Any entry before 2026-05-06 does not contain any AI/GenAI.

For more information, read the AI/GenAI Policy

Posted by Alvaro Garcia

Self-Study in February 2023 Live test from the MMA