ycitm

The next sentence in the quote hasn't aged so well - "What weather they shall have is not ours to rule."

anno scorsodiscuss

Most importantly, this means my type system N-queens solution now works for an 8x8 chessboard (actually up to 10x10) instead of complaining about recursion depth:

https://www.richard-towers.com/2023/03/11/typescripting-the-...

ycitm

anno scorsodiscuss

Doesn't seem to be any discernable improvement on the Zoom Cat Lawyer.

ycitm

3 anni fadiscuss

You can also play around with the code in the TypeScript playground:

https://www.typescriptlang.org/play?#code/PTAEEkDsAsEMBsCmAa...

ycitm

3 anni fadiscuss

Ah, thank you so much! Great spot.

I've corrected this, and credited you in the errata - https://www.richard-towers.com/2023/03/11/typescripting-the-...

ycitm

3 anni fadiscuss

I don't think there's any way to do iteration in the type system (other than recursion), so there's no way around it.

I considered forking the compiler to set a deeper limit, but at some point Typescript itself is going to stack overflow. Also that probably goes a bit beyond what Criss is expecting in an interview...

ycitm

3 anni fadiscuss

I wondered if anyone would spot this :)

There's a recursion depth limit of 500 on the TypeScript compiler, which prevents this solution working for N > 7

Even Aphyr's original Haskell solution only demonstrates N = 6, so in some sense this is an improvement on the state of the art for type-level N Queens solutions /s

ycitm

3 anni fadiscuss

The series is actually by Aphyr: https://aphyr.com/tags/interviews

This post is a pastiche of https://aphyr.com/posts/342-typing-the-technical-interview

ycitm

3 anni fadiscuss

The runes are mostly "just because", but there is a reason.

Ideally, I would have written:

  type Nil = unique symbol

Which would ensure the Nil type wouldn't match with anything but itself. Unfortunately, the compiler doesn't allow unique symbol other than on const variables initialised with Symbol(). So I needed some meaningless symbols.

I could also have done

  type Nil = "nil"

But then it would have looked like the string meant something.

ycitm

9 anni fadiscuss

If you've got any experience or interest in programming, I'd recommend having a stab at Google Summer of Code[0].

[0] - https://developers.google.com/open-source/gsoc/

ycitm

9 anni fadiscuss

One of my new years resolutions was to learn to type faster. To get some practice I started taking notes in all the meetings I attend. This wasn't common practice in my team before, but I've found it to be really useful. I've lost track of the number of times someone's said "didn't we talk about this in that meeting a couple of weeks back" and I've been able to point them at my notes.

I've found a really simple way of authoring and sharing notes is to write them in Org mode and then push them to a wiki on github. Github understands how to render Org markup nicely, so you get a nicely formatted wiki pretty much for free.

As an added benefit I can now touch type :)

ycitm

10 anni fadiscuss

If you have control of your nameservers you can use cloudflare's free TLS offering and keep your current webhost.

ycitm

10 anni fadiscuss

Surround support was just added in IdeaVim 0.46. From the release notes:

Support for vim-surround commands ys, cs, ds, S, enable it with set surround in your ~/.ideavimrc

ycitm

10 anni fadiscuss

Looks like it's just an optimization. If you change to

  let test_curry x  y =  x + y + x

You get the expected output

  function f(param) {
    return test_curry(32, param);
  }

ycitm

10 anni fadiscuss

You could call your js function with a string, and rather than a compile time error you'd get broken behaviour at runtime.

ycitm

10 anni fadiscuss

At least in new versions of Chrome, NodeList is iterable, so you can use forEach and map on it.

https://medium.com/@devlucky/nodelist-object-is-finally-an-i...

ycitm

10 anni fadiscuss

Some nice intuitive stuff in the help, too.

  :help paragraph

  [...] The default is "IPLPPPQPP TPHPLIPpLpItpplpipbp" [...]

(they're nroff macros, but pretty baffling to a beginner)

ycitm

10 anni fadiscuss

Perhaps Tōkaidō Shinkansen would be a better example? 331 trains / day, 391 thousand passengers / day according to: http://english.jr-central.co.jp/company/ir/annualreport/_pdf... (pdf)

ycitm

11 anni fadiscuss

Yup, see @pauljz's comment above - https://news.ycombinator.com/item?id=10375297

ycitm

11 anni fadiscuss

Regarding [7] and [8], Snowden has explicitly denied that he is the source for the GCHQ Oman leak - http://www.theguardian.com/commentisfree/2013/aug/23/uk-gove....

Submissions

TypeScripting the technical interview

The impact of removing jQuery on our web performance

How and why we removed jQuery from Gov.uk

Lessons from last week’s cyberattack

Build Your Own AngularJS

comments