Viewing profile — NickPollard

There is apparently a suite to rent in the Rosewood Hotel in London (near Holborn) which has it's own postcode (WC1V 7EN). To be fair it's a 6-bedroom wing, but still a fun fact.

I have a 4 year old and an 18 month old, and I don't own a car (nor does my partner). We rent a car ~10-20 times a year, but that's usually for vacations or trips out of the city t…

There are essentially two bits of information in the 'state' of this iterated algorithm: a) Are all the non-lowest bits zero, or are they the value of the latest N b) the value of …

Traverse (or foldM) is probably a good start, likely the most useful monad-generic (or applicative-generic) function, that is simple but incredibly powerful and useful. More genera…

> Functions and types can take integers as monomorphization-time template parameters (const generics). Const generics aren't dependent types though; you're still dealing with known…

I've not been following recent Rust development as closely, can you elaborate on what limited form of dependent types Rust is adding?

Absolutely not. The code of conduct was created to help produce a welcoming and supportive community, and if Tony being kicked out for being neither welcoming nor supportive counts…

Can second all these suggestions. Also, from my experience all the Haskell events I've been to have been incredibly welcoming and positive, whilst I'm aware there are a tiny subset…

and Dolphin can upscale to e.g. 1080p rather than the gamecube's native 480p.

We have some info on our docs here: https://docs.nstack.com/en/latest/features/index.html (See the composition section at the top). Composition is a simple technique to build funct…

For what it's worth this was (and is) my red line that prevents me from ever buying an iPhone. That's one person who agrees with you at least!

The XPS 13 is a really nice machine - I use one full-time for work, although with Linux (Fedora) rather than Windows, and it's fantastic.

You are right - in a tautalogical way - that type systems only catch type errors. However, in modern languages (including Haskell, Scala, as well as newer, more experimental langua…

You don't have to clean up everything at once - it's possible to put items on a queue to be cleaned up when refcounts hit zero, and you can then control at what rate the queue is e…

Because the display is normally running at 60hz, so if you don't want tearing (where the frame to be displayed changes halfway through monitor refresh, leading to a sharp tear acro…

This is, generally, undecidable. In fact, it's one of the most famous results in Computer Science, known as The Halting Problem[1]. Alan Turing showed that, for a program run on a …

Indeed: static const int eight = 8; x * eight; Sometimes magic numbers are just that - numbers. Adding constant definitions is often a good thing, but sometimes just adds noise.

A good portion of this stuff does still go on in Games Development. I don't work in games any more, but on the last title I worked on (Forza Horizon, Xbox 360), one of my colleague…

It shows Eric Clapton, widely considered one of the most skilled and successful blues guitarists, chauffeuring B.B. King, implying that Clapton honours and reveres him.

Weird, or unsupported by any evidence or logical foundation? Religious beliefs are obviously very common, and not suprising for humans. That doesn't mean they have any scientific u…

You misread that chart; The video game industry pulled in $887M in the US in One Month (February) of 2014. For scale, bear in mind that GTA5 made worldwide revenue of $1billion in …

Until you claim that your (indistinguishable) copy is the real thing, at which point theirs is ruined.

I think the point is that Eliezer's main strength - at least as I expect he would espouse himself - is his rationality or metacognition. This is what he would bring to those endeav…