Benjmhart

6 ms·

1.
by Benjmhart 6y ago
The vast majority of this data was posted publicly. You have no reasonable expectation of privacy.
2.
by Benjmhart 6y ago
Yep still funny too
3.
Ask HN: Good resources on robotics for software engineers
1 points by Benjmhart 6y ago|0 comments
4.
by Benjmhart 6y ago
Well, if nobody tells you you're being a shit, humans rarely realize it on their own, squeaky wheels get the grease.
5.
by Benjmhart 6y ago
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 correct front end, free null pointer issues and free of mem
6.
by Benjmhart 6y ago
Nitpick. But unused bindings is a warning, it doesn't create an invalid program
7.
by Benjmhart 6y ago
Purescript is Haskell without cruft and built for the web era. Idris or agda for type level goodies.
8.
by Benjmhart 6y ago
The neoliberals and neomarxiists want opposite things.
9.
by Benjmhart 7y ago
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. Hold firm and tell. Don't ask.
10.
by Benjmhart 7y ago
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.
11.
by Benjmhart 7y ago
I really enjoy coup.
12.
by Benjmhart 7y ago
Pattern match, curry by default, function composition, metaprogramming through custom operators, Sum types.
13.
by Benjmhart 7y ago
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!
14.
by Benjmhart 7y ago
Pelretty happy with my asus x-555q. Great specs for the price. Otherwise go thinkpad
15.
by Benjmhart 7y ago
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 value wrapped in a different higher kinded type, for examp
16.
by Benjmhart 7y ago
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 easily model a procedure as a series of discreet steps and ab
17.
by Benjmhart 7y ago
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 state, and for optimizing recursive behaviour into co
18.
by Benjmhart 8y ago
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.
19.
by Benjmhart 8y ago
Symbolic logic 1, 2, and 3. Years later I launched a career in programming and these classes gave me an enormous edge