how to do Galois field instructions on CPUs in 02021. #asm #programming
on 02022-11-06#Refactoring conditionals to lambdas with #functional #programming.
on 02016-07-15Gerry Sussman explains that he and Abelson quit #teaching #SICP because now we just blunder around. As David Chapman summarizes, “#MIT no longer teaches anyone to understand #programming because software no longer makes any sense.”
on 02016-05-04#pdf #paper on Push-forth, a higher-order statically-typed #concatenative language derived from Joy and Cat, intended for genetic programming. It has a very nice notation for program states in terms of a two-stack machine. #programming #cs
on 02016-04-21Cat is a higher-order #concatenative language (like Forth, Joy, or PostScript) that is statically type-checked with a type system based on #Hindley-Milner. This post goes into some details of how this works. #programming #cs
on 02016-04-21a point-free #multitouch #programming #UX environment for the #λ-calculus.
on 02015-11-16talks about encoding an object as a function that pattern-matches on tagged variants that are field (or method!) selectors. #programming #language #oo
on 02015-11-16Mythryl is a new #programming #language with very inexpensive #concurrency, in which it’s reasonable to spawn off a new thread (called an “imp”, like a very small daemon) for each line of a buffer. Its author has terminal cancer.
on 02015-11-16