kripke

13 ms·

1.
by kripke 4y ago
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 values of type `'a t` as `Cons (a, b)` and
2.
by kripke 4y ago
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 messages I do not understand is to add "obvious"
3.
by kripke 4y ago
I'm not sure what you are calling an "editable combo box", but would <datalist> [1] fit the bill? [1]: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/da...
4.
by kripke 4y ago
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 labels for their checkboxes. That said, outside of tech
5.
by kripke 4y ago
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 can decide to stop hosting the content you published on the
6.
by kripke 4y ago
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 effects. It’s less photography in the traditional sense and
7.
by kripke 5y ago
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.
8.
by kripke 5y ago
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 care how you achieve this --- C, a rigorous proces
9.
by kripke 5y ago
> 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 bunch of logs and various perf measurements spread out over
10.
by kripke 5y ago
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 be happy to have a faster alternative --- so props
11.
by kripke 5y ago
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).
12.
by kripke 6y ago
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` on a single image, but is quite irrelevant for a tool market
13.
by kripke 8y ago
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 relevant at the time such as ensuring no cast from functio
14.
by kripke 8y ago
> 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.
15.
by kripke 8y ago
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, and the last one actually has a reasonable trainin
16.
by kripke 8y ago
If I eat a piece of cake, can I also be on a diet?
17.
by kripke 9y ago
1000 should really be handled by automated tools. Takes useless burden from the reviewer, and emotionally easier for both sides too.
18.
by kripke 9y ago
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.
19.
by kripke 9y ago
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 protocol, which is unrelated to using a custom seriali
20.
by kripke 12y ago
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.).
21.
by kripke 12y ago
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 something I would absolutely see them do.
22.
by kripke 12y ago
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 registered for https://ig-game.appspot.com/ and
23.
by kripke 12y ago
Delete the cookies from ig-game.appspot.com.