Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wetmore
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
27 ms
·
241.
▲
by
wetmore
11y ago
1) This is an article about an all-female company, not a business where they "hired for empathy" 2) Daily Mail, really?
242.
▲
by
wetmore
11y ago
But these are subreddits whose original purpose is to provide content I want to see, so the problem isn't solved.
243.
▲
by
wetmore
11y ago
As a heavy reddit user for the past 5 or 6 years I'd say the issue of intolerance on reddit is not entirely the fact that there are subreddits for racist or sexist ideals. What bothers me most is the way racism and sexism has seeped in
244.
▲
by
wetmore
11y ago
> "([A-Z][a-z]+){7,} lang:java Yeah this one was my favorite of the code search examples, there are some really good ones in there.
245.
▲
by
wetmore
11y ago
One solution which tends to obey all of these rules is to choose the names of people from some common category, such as famous mathematicians.
246.
▲
by
wetmore
11y ago
A decent indication that it's not as simple as "well just call it x instead" is that each time I see a comment like this there is often a new "easy" word for monad. Yours is new to me, so I'll add it to the lis
247.
▲
by
wetmore
11y ago
Linear operators are useful in many situations because (1) They are "nice" operators which carry properties most functions can only dream of having: f(v + w) = f(v) + f(w), and f(a v) = a f(v). From these properties you can develo
248.
▲
by
wetmore
11y ago
By "do" he means the behaviour of the objects, not their use in real-world applications. In general, you consider a bunch of isomorphic things as one, rather than worrying about the differences between them which have no effect on
249.
▲
by
wetmore
11y ago
> Haskell was created to be beautiful. Clojure was created to be practical Haskell was created to unify research in programming language theory under a common language, not to be beautiful.
250.
▲
by
wetmore
11y ago
...? How?
251.
▲
by
wetmore
11y ago
"I'm too lazy to eat this steak because I haven't enjoyed the first few bites" is more accurate.
252.
▲
by
wetmore
11y ago
Nobody insists "monoid in the category of endofunctors" is universally preferable. It's a joke. What you'll usually see people insist is to describe monads by their operations, rather than through metaphor. That is, a mo
253.
▲
by
wetmore
11y ago
We all know that naming is one of the hard problems in computer science. Monads in programming have been around for 20+ years now, and you are certainly not the first one to complain about their name. So where are the better alternatives? S
254.
▲
by
wetmore
11y ago
Oof, that's my mistake, I didn't notice that the indexing system TAPL uses starts at 0, while Wikipedia starts at 1. I'll add a note about that to the post now.
255.
▲
by
wetmore
11y ago
Glad the explanation helped, especially since I sort of skimped on the details and just pointed to wikipedia :P
256.
▲
by
wetmore
11y ago
Worth noting that this isn't why they are called algebraic data types, which was a mistake I made for a while. The "algebraic" in algebraic data types refers to this notion of "algebra": https://en.wikipe
257.
▲
Parsing the untyped λ-calculus with Parsec
(mattwetmore.me)
28 points
by
wetmore
11y ago
|
6 comments
258.
▲
by
wetmore
11y ago
If you are hired at a company exclusively doing Haskell there is no way you haven't seen <$>, <*>, or (,) before. In this case, the reason the OP didn't think of writing it with Applicative isn't because he didn&#
259.
▲
by
wetmore
11y ago
Context for the title: https://twitter.com/mxcl/status/608682016205344768
260.
▲
by
wetmore
11y ago
Lol, take it to /r/conspiracy bud.
261.
▲
by
wetmore
11y ago
It wasn't isolated. It showed up on the front page of /r/all frequently. This will die down/blow over in a week or so anyway.
262.
▲
by
wetmore
11y ago
I wanna thank you for the work you've put into helping people learn Haskell, I've pointed a lot of people towards your guide.
263.
▲
by
wetmore
11y ago
This derivative (the Brzozowski derivative) is in fact applicable to any language, in the sense of a set of words over some alphabet. The language doesn't need to be context-free.
264.
▲
by
wetmore
11y ago
There is no need for your second line. Your first line is a valid, relevant opinion. The second one has no use but to belittle the OP (or anyone else who has written a TODO scanner). You're being a dick, and missing the forest for the
265.
▲
by
wetmore
11y ago
It depends on context. For example, here is a function from a project I'm working on: parseModifier : String -> Outcome Modifier parseModifier s = case s of "shift" -> Ok Shift "ctrl"
266.
▲
by
wetmore
11y ago
Really? I found the slides very readable.
267.
▲
by
wetmore
11y ago
A readme would be helpful.
268.
▲
by
wetmore
11y ago
Voat gained a lot of its members when it was hailed as reddit without as much admin intervention. A few months ago there was a concern among some reddit users that admins were deleting posts that criticized reddit's CEO; there are also
269.
▲
by
wetmore
11y ago
It's not necessarily bike shedding though. GET and POST have two different, widely-agreed upon semantic meanings. It's not just terminology.
270.
▲
by
wetmore
11y ago
It is not. The induction you speak of only works to prove for finite values. For example, let A be some countable set; with induction you could show that A^n is countable for any particular n = 1, 2, ... However, this doesn't work for
More ›