Such a synthesis is offered by the principle of Propositions as Types, which links logic to computation. Philip Wadler, “Propositions as Types”…

GoRustParaSailwithout having the complexity of programming going past what which is manageable by the professional, yet still human, programmer Systems Programming in the Distributed, Multicore World…

From personal experience, I’ve seen a correlation between software companies that “outsource” their devops and software companies that write bad software. This is more pronounced the more “magic” you…

Reading 1,000,000 ints from raw os.Stdin with fmt.Fscan took ~24s. Wrapping os.Stdin in a bufio.Reader got it to ~2.2s. Wrapping os.Stdin in a bufio.Scanner and using strconv.Atoi to parse token str…

“BHQF connects apocalyptic allusions with an investigation of appropriation through extreme repetition—nearly all of the works in the show are titled Isle of the Dead. ” https://artsy.net/post/editor…

The problem with Facebook is that it can be difficult to have a debate or any sort of meaningful interaction because the comment section becomes cluttered with people tagging other people and making n…

You need to internalize this: your ability to get good at coding has nothing to do with how well you fit into the various geek subcultures. This goes double if you know deep down that you’ll never qui…

Emacs is a deep, deep rabbit hole. The only way in is head first. http://decomplecting.org/blog/2014/10/23/welcome-to-the-dark-side-switching-to-emacs/…

Well, this is all nitpicking. We could argue all day about (char *) versus (unsigned char *) and whether it should have emitted one warning or two, but this is ignoring the real failure here. The real…

Fogus: What programming languages have you used professionally? Hickey: Mainly C, C++, Java, C#, Common Lisp, and Clojure. Fogus: What is your second favorite programming language? Hickey: If I had be…

The problem that Haskell often has is the same “inexpertness”. People often write Haskell in an overly gnomic style, trying to imitate the terseness of mathematical formulae, forgetting that they are…

Abelson: Yeah, well, that’s it. We’re making all this hairy stuff. One of the things that I’ve started to understand in these languages is the incredible importance of the development environment. I c…