Chattered

6 ms·

1.
by Chattered 9y ago
Point being that plagiarism/copying might be easier to spot via mistakes. I understand that this is how scholars do it for ancient texts.
2.
by Chattered 9y ago
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.
3.
by Chattered 9y ago
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 function, not a macro as it is in CL. That leaves a few other u
4.
by Chattered 9y ago
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. There's an argument to be made for u
5.
by Chattered 9y ago
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 feeling like a machine to someone who can't manage a jog
6.
by Chattered 9y ago
Dejavu Sans Mono. For some reason, I've typed it out in a few files, such as my Emacs init and .Xresources.
7.
by Chattered 9y ago
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 I set up abbreviations in Emacs to learn their na
8.
by Chattered 9y ago
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 maps, light volumes and space partitioning, which massively
9.
by Chattered 9y ago
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. I want a persistent session. When doing theorem p
10.
by Chattered 9y ago
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 ambient forces are all peculiar and the inhabitants ar
11.
by Chattered 9y ago
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 public domain, it makes more sense to be
12.
by Chattered 9y ago
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.
13.
by Chattered 10y ago
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?
14.
by Chattered 10y ago
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 pretty counterintuitive. I wonder if structure editing jus
15.
by Chattered 10y ago
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. The Nix language is cute, very powerful, and as you say, is
16.
by Chattered 10y ago
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 contain bugs that render everything it does useless, you might
17.
by Chattered 10y ago
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. If a lookup fails, it is often a bug or a violation of a cons
18.
by Chattered 10y ago
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 mentions "the ability to do controlled per-user chan
19.
by Chattered 10y ago
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 if you don't press the button. And if the light h
20.
by Chattered 10y ago
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 (!). I preferred to use F#.
21.
by Chattered 10y ago
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 can represent very abstract mathematical concepts. I
22.
by Chattered 10y ago
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 hierarchy. The upshot is that to teach OOP in Java, say, you
23.
by Chattered 10y ago
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.
24.
by Chattered 10y ago
Please explain how to lift the constructors of Maybe to typeclass instances where its use can be monomorphised.
25.
by Chattered 10y ago
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 code which is necessarily dynamic. A standard use-case of dy
26.
by Chattered 10y ago
They can be implemented via method dictionaries but, sans type system extensions, polymorphic recursion and separate compilation, all uses of a type variable constrained by a type class could, in principle, be monomorphised and the dictiona
27.
by Chattered 10y ago
And ensime for Scala. The idea is at least as old as SLIME, which has been the defacto common lisp mode for Emacs for ages. When I was using it nearly fifteen years back it was easily the most comfortable development environment I had used
28.
by Chattered 10y ago
I recently had a paper published written in org mode and I have another in review. I don't plan to write straight LaTeX again. For me, babel is the killer feature. I can write code snippets in the buffer, highlighted and indented accor
29.
by Chattered 11y ago
I have this library: https://github.com/Chattered/ocaml-monad and use it regularly when writing Ocaml. I'd like to get back to it and try to implement some MTL style interfaces (MonadState etc...). Edward Kmett sa
30.
by Chattered 11y ago
Most BBC Micro games loaded like this: game data would spill into memory mapped video and then dealt with after.

More ›