Viewing profile — kripke

Sort of, I think? `type 'a t = Cons of 'a * 'a t | Tail` is defining a type with a constructor `Cons` with two arguments and a constructor `Tail` with zero argument. You write valu…

There is a balance to find between not enough annotations and too much annotations that one has to find. My algorithm is to write few annotations by default, and my answer to error…

I'm not sure what you are calling an "editable combo box", but would [1] fit the bill? [1]: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/da...

I almost never click on a radio/checkbox input because clicking on the label is just so much easier, and I loathe when a fast-and-loose web developer neglects to properly set up la…

Even if the right to be forgotten is a moral good, it is not (and should not be) an absolute right trumping other rights such as freedom of expression (also a moral good). Twitter …

They are indeed edited, it is mentioned in the article: “My approach to photography is similar to filmmaking, in how they take a shot and build off it with color grades and adding …

Does GPT know about ASCII? My understanding was that these models use a dictionary of (initially) random vectors as input and learn their own text representation.

That is not a good argument. What matters to companies is: "is this stable enough not to be a concern", and according to GP Nix falls short on that front currently. They will not c…

> The background on our side is that we did do quite a lot of profiling and investigation of the current evaluator - last year, informally, over video chats and IRC. We have a bunc…

I don't know much about Nix, although it has been on my radar for some time. The claim that the language performance is bad pops up time and again, and I'm sure many people would b…

The choice of A_i now depends on n. The complexity of your construction is O(n^{2 + 1/argmax_i { N_i <= n}), not O(n^2).

I just skimmed through the code, but as far as I can tell, the main point is that this code is multi-threaded. Which, sure, gets the job done faster than the single-thread `odiff` …

You can still do this in C, with the same implementation Lisp uses under the hood. C being C, there is a bit of syntax boilerplate. I also omitted some details which may have been …

> Connecting to server:4242 as "user":"hunter2" as an example of DEBUG logging is very wrong. Passwords should not end up in your logs, ever.

Not GP, but you are probably looking for the "Neural Architecture Search" series [1] [2] [3]. First one uses something like 1k GPUs for a month, next one is a bit more reasonable, …

If I eat a piece of cake, can I also be on a diet?

1000 should really be handled by automated tools. Takes useless burden from the reviewer, and emotionally easier for both sides too.

I usually think of it as: by which end do I read my number? but I agree it's confused me for a long time.

This is interesting, and thanks for trying to clean up the protocol, but isn't this an orthogonal issue? The problems you are describing seem to be related to using an undocumented…

FYI, the time alloted to each challenge seem to increase with the difficulty (the first couple of problems are 48 hours, then 72, then 96, etc.).

It is also on the blackboard at the end (around 0:57), and possibly on some other places. Google "sponsoring" them in exchange of putting an IP address in their trailer is somethin…

FF33.1.1 (on Archlinux) is working fine here. In addition to NoScript, you probably need to disable any extension that forbids cross-domain cookies as the relevant cookies are regi…

Delete the cookies from ig-game.appspot.com.