Viewing profile — Chattered

Point being that plagiarism/copying might be easier to spot via mistakes. I understand that this is how scholars do it for ancient texts.

It's not the same 23 word sentence. It's the same 23 word run-on. The first comma should be either a semi-colon, colon or stop.

Macro examples are often poor, and my advice is to always favour functions, since then you are working with actual values. For instance, with-open-file should be a higher order fun…

Wadler's introductory Haskell course at Edinburgh doesn't cover monads, but it's great. I don't want to use scheme because I want students exposed to a decent static type system. T…

I spent my twenties running long distance, but gave up four years ago. The frequent injuries were just too much. A bad injury once had me off training for four months. Going from f…

Dejavu Sans Mono. For some reason, I've typed it out in a few files, such as my Emacs init and .Xresources.

I want to give urbit a try. I have a planet, but last time I fired it up the latency was so bad that I wasn't having fun. I'll try again sometime. I can even get behind runes, and …

Yes, but are most games mostly static scenes because the tech is limited? Getting a decent looking scene which can be rendered quickly has historically relied on precomputed light …

It's a pretty poor REPL. Every time you update your code, you have to reload, and you lose all your previous bindings. And, no, I don't simply want to rerun my interactive session.…

Which book is that? I'd love to read. So far, Incandescence is the toughest of his novels that I've read, and the main world is an extreme and beautiful conception where the ambien…

I'd love to see IPFS video ( https://ipfstube.erindachtler.me/ ) get used for this sort of thing. For static, high-bandwidth content like video, that is created by users and for pu…

I kept my office machine as an additional remote for when I was working at home, pushing over ssh to save an extra pull when I got in.

This is pretty much my setup but I still use the terminal a lot. What are you using instead? eshell? ansi-term? Or do you find you don't need terminals much generally?

Since discovering paredit-mode, I have found a whole new love for Lisp syntax, and now I won't write Lisp without it. I have tried a structure editor for Haskell but I found it pre…

NixOS gets my vote too. I started on Gentoo back in 04, played with Arch for a year or so, then went to Nix a few years ago. I have never had so much love for an operating system. …

Proof assistants are frequently used to prove the correctness of computer programs. And since a proof assistant is a computer program, and often quite a complex one that could cont…

Maps should do whatever ArrayList does when your index is out of bounds. And so long as null is a value that could be in the collection, lookup should definitely not return null. I…

Your first sentence is very close to something I've said to others. NixOS is the first time I've been excited about an OS since first discovering Linux back in 2003. The OP mention…

I see this frequently in Edinburgh. I join a group at the pelican crossing and after waiting too long, realise that the button hasn't been pressed. Many of our crossings do nothing…

You sure? I was playing with Unity back in 2009 and you scripted both game and IDE atop mono. The .NET flavour of JS was being pushed, with code examples additionally in C# and Boo…

We know Haskell variants or maybe scalaz. I don't get why these now represent pure functional programming. Scala isn't even close to pure. This is just jargon for languages that ca…

Kay has also suggested that late binding or dynamic dispatch is a massive deal, and in most statically typed oop languages, dynamic dispatch is typed according to the inheritance h…

Camus would tell you that by killing yourself, you have utterly failed to embrace the absurd. I would say the same for anyone chasing scientific techno utopias.

Please explain how to lift the constructors of Maybe to typeclass instances where its use can be monomorphised.

I disagree, and since we are talking about the expression problem, we should not be conflating dynamic dispatching code which could be statically resolved from dynamic dispatching …