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

Self-Study in February 2023 Live test from the MMA