Viewing profile — pozorvlak

> Patterns that get "encoded" into the language, or made trivial by abstraction features within the language, are idioms? Yeah, that sounds like a reasonable term to use. > The clo…

This is my understanding, yes - http://wiki.c2.com/?ImageBasedLanguage . Some Lisp systems and the Factor language also work like this (though Factor does a lot of work to ensure t…

> I see from your karma you're new here, welcome! You missed the "created: 3246 days ago" bit, then? :-) But you're right that I don't spend much time here - thanks for the welcome…

Smalltalk has been very influential in other ways, especially on Ruby. But yes, it would be great if more languages borrowed the "small simple core" bit (possibly adding some synta…

I'm afraid not, and Googling for quotes from the post only shows up Mark Dominus' post. Also, the Wayback Machine doesn't have a copy :-(

FWIW, this is also the standard way of implementing if/then in the lambda calculus: true = \x.\y.x false = \x.\y.y

Thanks! I've now updated the post to reflect some corrections here, and to point out the 404ing link.

Thanks - I've noted that in the post.

I was really trying to make a narrower point here - that there is a reasonable way to distinguish "part of the language" from "part of the (standard) library" - but I'll bite :-) a…

That's really cool! I imagine that would allow you to do concolic testing easily? https://en.wikipedia.org/wiki/Concolic_testing

Thanks! I've now fixed this in the post.

We tried that - it was called Subversion. The industry's abandoning that way of doing things because the new way is simpler and better.

Anonymous branches are AFAICT the same thing as detached heads. They're discouraged in git, but they work fine.

> It filters really heavily against people who submit the same domain a large part of the time, and we (moderators) tend to stick to that as well. Is that done on a per-subreddit b…

puzzles Oh, right - you can vary the shape of the diagonal lines, provided each "arm" has rotational symmetry about its mid-point. OK, so we've got three infinite families and the …

Suppose the square can be dissected into n pieces. Then any symmetry of the square induces a permutation of those n pieces. Hence, the symmetry group of the square (D_8) must be em…

You can divide it into eight isoceles (pi/4, pi/2, pi/4) triangles, by quartering up/down and then quartering diagonally.

Duct tape, IIRC, was only invented in World War II, so no :-)

So, any plans to launch in the UK? I don't do much electronics stuff myself these days, but I know a few people who'd be interested. The site looks great.