-  [WT]  [PS]  [Home] [Manage]

[Return]
Posting mode: Reply
  1.   (reply to 5001)
  2. (for post and file deletion)
/pr/ - Programming
  • Supported file types are: C, CSS, DOC, DOCX, GIF, H, JAVA, JPG, PDF, PNG, SVG, SWF, TXT, WEBM
  • Maximum file size allowed is 10000 KB.
  • Images greater than 200x200 pixels will be thumbnailed.
  • Currently 388 unique user posts. View catalog

  • Blotter updated: 2011-01-12 Show/Hide Show All

There's a new /777/ up, it's /gardening/ Check it out. Suggest new /777/s here.

Movies & TV 24/7 via Channel7: Web Player, .m3u file. Music via Radio7: Web Player, .m3u file.

WebM is now available sitewide! Please check this thread for more info.

Neckbearded Basement Dweller 17/03/17(Fri)15:37 No. 5001
5001

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?


>>
Neckbearded Basement Dweller 17/03/20(Mon)18:48 No. 5007

Had a good laugh 6/10


>>
Neckbearded Basement Dweller 17/04/11(Tue)05:42 No. 5038

I'm sorry to hear that.

You'll do better next time.




Delete post []
Password  
Report post
Reason