Programming Languages

No substantive content beyond a title and a link to comments about Rust SIMD on the GPU.

A 1989 theoretical paper claims typechecking is undecidable when 'type' is a type, signaling fundamental limits in typing systems rather than actionable data.

GitHut is a data-driven visualization of GitHub language usage, sourced from GitHub Archive, tracking language popularity by active pushes and repositories quarterly through 2012-2014.