efnx

25 ms·

301.
by efnx 8y ago
You can do this easily in Haskell using lens’s field classes and mtl style constraints.
302.
by efnx 8y ago
This is the premise of Neil Gaiman’s “American Gods”. You’re right in some sense, I think. Young people may have somewhat replaced their parent’s faith based beliefs with their own - in this case it could be something like “if I engage in c
303.
Haskell games without garbage collection(reddit.com)
1 points by efnx 8y ago|0 comments
304.
Bay Hac 2018(wiki.haskell.org)
3 points by efnx 9y ago|0 comments
305.
by efnx 9y ago
This is great news! Anyone have a recommended Vulkan intro?
306.
by efnx 9y ago
Typeclasses - thought you could use that whole dictionary work around, or write namespaced variants.
307.
by efnx 9y ago
I’ve never had to use ST. I most definitely meant State, which is what I wrote in the grandfather post.
308.
by efnx 9y ago
With the state monad (State not StateT) you can run it in pure code because the runner is pure. It only “mutates” one context and when it’s all unwrapped it’s actually pure functions all the way down.
309.
by efnx 9y ago
It happened in the 90s. It will happen again.
310.
by efnx 9y ago
Linear types are incoming in Haskell and afaik Idris has uniqueness types, or did at one point. Haskell is closing the gap on Idris with dependent types (slowly) so you may want to get comfy with Haskell. It’s a good first step, anyway.
311.
by efnx 9y ago
I thought the two on the left were women and the one on the right was a hair band rocker (man). I think if anything this is confirming your individual biases about what men and women should look like, which is part of the problem with our t
312.
by efnx 9y ago
I still don’t get it - there are pictures of men and women in that screenshot.
313.
by efnx 9y ago
You would rather only have men? I’m not sure what kind of anti you are.
314.
by efnx 9y ago
Takt | Dev Ops, Infrastructure Security, Engineering Manager, Project Manager, Customer Success, Marketing Analyst, Data Analyst | San Francisco, CA | REMOTE or ONSITE, FULLTIME | Takt uses machine learning to provide personalization to for
315.
by efnx 9y ago
I haven’t used APL but it looks like it has list comprehensions, so a simple “x != 0,” would work there
316.
by efnx 9y ago
Lead poisoning has permanent negative effects, mushrooms not so much.
317.
by efnx 9y ago
I’m having a hard time loading any puri.sm articles. Anyone else having a problem?
318.
by efnx 9y ago
I bought into Oculus with the DK2, but fell off once they discontinued support for Mac and Linux. It's a shame, really.
319.
by efnx 9y ago
Sounds Gibsonesque (or Stephensonesque).
320.
by efnx 9y ago
It sounds like loop-blinn font rendering, which is well known. It helps too if you have a lib for getting outlines from a ttf.
321.
by efnx 9y ago
It's common convention to keep them the same, but in this case it may be useful to distinguish between the type and the term level value.
322.
by efnx 9y ago
In that case you may really like reaktor. I'm pretty sure it integrates with reason and you can do graphical or C programming for it.
323.
by efnx 10y ago
Makes sense - wires is pull based and would run each frame by polling its network while reactive-banana is push based and would only proc on an event from the user. I haven't looked much into it though.
324.
by efnx 10y ago
Refactoring Haskell code has been the best refactoring experience I've ever had, and I've worked with "a lot" of imperative languages. IMO the biggest boost in maintainability is by adding a (typed) compilation step - af
325.
by efnx 10y ago
It's not just physics though, as I remember Erin the author of box2d mentioning that most of the work is concerned with allocating and deallocating tiny pieces of memory. After that the physics are rather simple Newtonian equations.
326.
by efnx 10y ago
Yes, as far as I know it can be used for proofs - not having used it for proofs myself I can't say much more
327.
by efnx 10y ago
Idris has namespacing instead of modules, which is great and allows for things like locally scoped data declarations
328.
by efnx 10y ago
It's misleading though because the one sentence definition is actually describing a semigroup. A monoid also has an identity.
329.
by efnx 10y ago
It is true though, recording an album on tape is nothing like using a laptop and it shows in the final product. Not only is the path the sound takes different, but the recording, editing, mixing and mastering techniques required are differe
330.
by efnx 10y ago
Doug! You beat me to the punch! ;) I signed on with Takt in October and it has been very rewarding. The culture is great and I'm learning a lot from absolutely everyone. I highly recommend applying :).

More ›