File
148976143896.jpg
- (140.76KB
, 610x581
, coq-noir.jpg
)
I just failed a job application over a bizzfuzz. Please tell me what I did wrong.
> First, I think, this dickhead wants me to just fart out a line of Haskell in two seconds. Well, no, that's not what this job is about
> Started with a specification in Atelier B just to show that I can make trains work
> After writing the specification in B-Method, I went into Coq for a nifty proof
> I wrote all this using Acme with a 20 year old 3-button that I only save for special interviews
> My Coq proof proves, I extract the proof to Haskell. Then for shits and giggles, I show this clown why dependent types are essential for string-out by rewriting it in Idris
> I try to run it and it crashes. Fucking Idris 0.99 whatever no problem
> Turns out one of my types was a character off. Quick save, I just started talking about how I would have done it in CML instead if I wasn't crunched for time, and that I did it in peano numbers over the fibonacci sequence
> It compiles. Success! Wait, but this needs a graph.
> An hour of MATLAB later and I have something truly beautiful... a 5d graph of fizz and buzz, and it's only like 3mb. I'm proud as shit, I've been working my ass off for the past three hours
> "Do you know fucking javascript? It's a porn ad you idiot"
Didn't get the job. What the hell is wrong wrong with people?