Congressman: Mr. Zuckerberg, are you aware that your company uses programming languages susceptible to the halting problem? Are you further aware that your infrastructure is built upon formal axiomatic systems in which some true statements cannot be proven?

Zuckerberg: [...]

boosted

The problem with playing Burial at Sea before the original Bioshock is that the whole story just got spoiled

I got an AMD card for my new desktop, which is nice overall, since the open source drivers are nice. But I can't use CUDA, which is unfortunate.

sborts 

boosted
One of the “achievements” of the American-exported political discourse is that some Europeans now think of themselves as “white people”. Good job :SatanaThumbsUp:
boosted

Haskell, Freer monads 

Haskell, Freer monads 

Haskell, Freer monads 

Time to fly back to California, maybe I'll sit next to a 65 year old Node.js evangelist this time

Haskell really needs a const keyword

A 65 year old lady who sat next to me on the 13 hour SF->Sydney flight upon hearing I was a programmer told me I needed to go into "cloud, blockchain and AI"

Haskell 

boosted
boosted

Have a little bit of time before I start work, kind of want to write a lisp. Deciding between Haskell, SML, and Rust as the implementation language. Maybe all 3?

This pop radio station only seems to play Panic! At the Disco, Marshmallo, and Halsey

Show more
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !