Viewing profile — Benjmhart

The vast majority of this data was posted publicly. You have no reasonable expectation of privacy.

Cope harder loser.

Yep still funny too

It's almost like you want a free and unfettered press? I thought they were the enemy of the people. You lose twit.

I would love to learn about robotics development including - writing the software - sourcing and assembly of parta - (eventually) design. Are there any good places to find kits/pro…

Well, if nobody tells you you're being a shit, humans rarely realize it on their own, squeaky wheels get the grease.

Yeah, but those compile times catch bugs everyone misses in your Django app. People think speed is the only advantage, reducing runtime debugging and providing a more secure, more …

Nitpick. But unused bindings is a warning, it doesn't create an invalid program

Purescript is Haskell without cruft and built for the web era. Idris or agda for type level goodies.

The neoliberals and neomarxiists want opposite things.

No, push for the most aggressive plan possible. This is the one moment in history you might just get what you want. If you start in the middle they'll argue you down to nothing. Ho…

I actually PR's these docs a couple weeks back. In short halogen v5 greatly simplifies a lot of the complexity around parent/child components.

I really enjoy coup.

Pattern match, curry by default, function composition, metaprogramming through custom operators, Sum types.

Was there some kind of big breach in 2017? My account wasn't even pro! I just logged into my account after a couple months and someone else was using it!

Pelretty happy with my asus x-555q. Great specs for the price. Otherwise go thinkpad

Higher kinded types create a context arlu d the types(and ultimately the values) they wrap. This can type classes which implement a the same function in different ways for the same…

So function languages are excellent and taking very little work to model a clean abstraction. This is mainly due to the behaviour of a lamda function. The result is that you can ea…

So I think, just reading this thread, there there are a lot of misconceptions of FP's capabilities. Things like statelessness - Haskell, Purescript, et al have ways of representing…

The Areas of My Expertise - John Hodgeman. Sold me on the format and is more like a 7 hour stand-up comedy special than a book per se. Also features Paul Rudd.

Symbolic logic 1, 2, and 3. Years later I launched a career in programming and these classes gave me an enormous edge