I've started reading Construction of Thinned Gated Single-Assignment Form by Paul Havlak, because I hear this SSA form is way underrated.
It uses a crazy archaic 3-way IF from Fortran as a motivating example:
IF (I) 10, 20, 30
This goes to 10/20/30 based on i being +ve/-ve/0!
miniblog.
Related Posts
Rust and RISC-V both feel like they've reached critical mass and I'd guess that they'll be used more in 5 years than they are today.
What other technologies fit this description?
Some excellent safety improvements in C++26: hardening the standard library against out-of-bounds bugs, and a safer semantics for uninitialised local variables:
LLMs have been really helpful for me porting some JS projects to TS.
Since the types are erased and annotations are optional, I can go gradually and safely with more minimal human oversight.
(I'm not sure if it'll significantly help robustness, but it's lovely for navigation.)