Viewing profile — teh

benbye - do you have any intuition why the model only needs 4 frames to work? I played with LeWorldModel and I am mystified why the latent prediction frame number is so small. It's…

I sometimes wonder how much of intelligence is being good with tools. I feel pretty averagely smart but give me some good tooling like a good editor, a good type system, semantic g…

Another useful "Emergency exit" is CTRL+Z which stops the process and cannot be intercepted. It's often faster than hitting CTRL+C and waiting for process cleanup, especially when …

Chrome uses sandboxing and a lot of safe tooling (wuffs, rust) for untrusted data. curl is heavily fuzzed and you still mostly control what you are downloading unless the target is…

Super useful tool but need to be aware that this is reading potentially untrusted input (e.g. in the case of http request logs) and written in c++, so a possible attack vector. I u…

There is precedent: with type checkers like pyright you can opt into specific checks, or have a basic, standard, strict setting, each expanding the set of checks done. How would de…

I can't fully answer your question but I did once spend about a week porting plain internal configuration to cue, jsonnet, dhall and a few related tools (a few thousand lines). I w…

I feel you (like many people) got burned by the steep learning curve. Empirically some pretty high powered companies use nix successfully. It's of course always difficult to know t…

I feel the same way. Excited to see another attempt. But it's a c++ engine so not something I would want to expose to the internet really.

I've looked into this but saw hugely variable throughput, sometimes as little as 20 MB / second. Even if full throughput I think s3 single key performance maxes out at ~130 MB / se…

This is a great book! After reading it I found it much harder to enjoy movies showing bad security though (such has heists, nuclear anything, ..). E.g. from the book I learned abou…

I just spent some time implementing a lazy VM: Note also the push/enter VS eval/apply implementation change in GHC described in [1]. [1] https://www.microsoft.com/en-us/research/pu…

I think this is a common misunderstanding. The images are in the public domain. Nothing stops Getty (or you, or anyone) from selling them, even though you can just use them for fre…

More often than not recruiters (external and in-house) make up large numbers to get you to reply. Here is a verbatim quote from a mail I got last year: > For the right candidate ye…

The original SES doesn't seem to do anything to prevent meltdown/spectre attacks [1] This version removed direct access "Date" [2] but I'm not sure I'd trust any code running in th…

I think this is the UK's implementation of EU PSD2 directive (e.g. [1]) so may not survive brexit. Looking forward to what'll come out of it though! [1] https://www.tsys.com/news-i…

Hi, drop me a line at tom@wearewizards.io :)

We're mostly using Protolude at the moment. It has some nice properties, e.g. * "id" renamed to "identity" so you can use id in your own code * panic functions like "notImplemented…

I do agree but I also remeber that Haskell is 27 years old. Newer Haskell-inspired languages like PureScript don't have a built-in list any more. There's a lot of old stuff in Hask…

I've been joking with friends that my next job will be AWS efficiency guru. I've somewhat optimized our own use, but I think I could use similar, simple rules to get 20% out of a 5…

I'm not sure you are arguing against any point the article made, rightly or wrongly?

That's the weirdest argument I have heard against Haskell so far. Re-factoring is the single best thing in Haskell IMO. 90% of cases are 1/ change type 2/ fix fall-out 3/ done.

I just migrated a complex extension and with Firefox 52 most features are there. It was a bit painful but the new API is much better IMO. Also, we now have one code base less to ma…

That's just a list of the positives. I think it'd be useful to your argument to also provide some "real world" nuclear experience. E.g. * The tax payer in Germany is picking up mos…