There's a new /777/ up, it's /Trump/ -
Make America Great Again! Check it out. Suggest new
Movies & TV 24/7 via Channel7:
.m3u file. Music via
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
Didn't get the job. What the hell is wrong wrong with people?
Had a good laugh 6/10