Typing the technical interview
aphyr.com
Typing the technical interview
1–10 of 86 posts
Re: Typing the technical interview
#2> Summon a linked list from the void. It floats to the surface of the screen: a timeless structure, expressed a thousand ways, but always beautiful.
Coincidentally, I had Bach's E minor organ sonata on in the background, so...
> You sigh contentedly.
I did, I started smiling from ear as soon as I read the now-classic "Summon a ______ from the void". :)
Also, TIL: https://en.wikipedia.org/wiki/Sei%C3%B0r
Re: Typing the technical interview
#3This is awesome. I didn't even really see what was happening until it was too late.
If you enjoyed that you might enjoy the structure of the proof of the complexity of type inference for \-calculus: http://www.cs.brandeis.edu/~mairson/Papers/jfp02.pdf . They construct arbitrary boolean circuits from simple types and evaluate the circuits through type checking.
Re: Typing the technical interview
#4There was a great talk at Haskell Exchange 2016 along similar lines - defining a lot of complex functionality at the type level to derive correct functionality. https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebu...
Re: Typing the technical interview
#5Sad to say, this is exactly the sort of magic that, as the conclusion suggests, gets people not hired. Even on this very enlightened forum people argue in favour of less knowledgeable candidates (even with all else being equal).
Re: Typing the technical interview
#6 “You’re… defining the natural numbers by hand? Why?”
“Haskell is for mathematicians,” you explain. “We always define our terms.”
Re: Typing the technical interview
#7How.. beautiful.
Like I said earlier in the "half-dead chicken thread", the occult is a quiet and powerful force in computer science and related areas. With things like neural networks and learning functions, we're approaching the ultimate.
In this case, it was only a handful of lines of a functional language that could solve the N-Queens problem.. Of course, mixed with a bit of Lovecraftian lore and Norse magic.
It's only a careful look beneath the stolid atheism and antitheism that the tech community likes to front.. All is not as it appears just beneath the digital waves, is it?
Re: Typing the technical interview
#8How.. beautiful. Like I said earlier in the "half-dead chicken thread", the occult is a quiet and powerful force in computer science and related areas. With things like neural networks and learning functions, we're approaching the ultimate. In this case, it was only a handful of lines of a functional language that could solve the N-Queens problem.. Of course, mixed with a bit of Lovecraftian lore and Norse magic. It'…
An Italian I used to work with maintained a small shrine to Ada Lovelace on his desk.
Re: Typing the technical interview
#9The previous two of these were also great:
https://aphyr.com/posts/340-reversing-the-technical-intervie...
Re: Typing the technical interview
#10Sad to say, this is exactly the sort of magic that, as the conclusion suggests, gets people not hired. Even on this very enlightened forum people argue in favour of less knowledgeable candidates (even with all else being equal).
Such a lack of imagination. Hire a good enough warlock, and requirements can be fulfilled at compile time - you just need well-typed customers, which is the tricky part.