evincarofautumn

11 ms·

31.
by evincarofautumn 8y ago
Yup. It set back LGBT rights by decades; there’s a sizable chunk of an entire generation of the community just gone , people who might today have become leaders, activists, and mentors for young LGBT people. Reagan and the US government no
32.
by evincarofautumn 8y ago
A good example of this is meats like bacon and pepperoni cured with “celery juice powder” or “celery extract” instead of “nitrates”, when the former contains just as much of the same carcinogenic nitrate salts they would’ve used, but it’s “
33.
by evincarofautumn 8y ago
In Haskell, these direct equivalents aren’t bad at all: cityToState = Map.fromList [ (city, state) | (state, cities) <- Map.toList citiesByState , city <- cities ] cityToState = Map.fromList $ do
34.
by evincarofautumn 8y ago
Optional types and futures are both important and useful examples of monads—in the “container” and “action” interpretations, respectively; and derivatives are the method of constructing zippers, which are an accessible example of comonads,
35.
by evincarofautumn 8y ago
Others have already mentioned various resources for learning the details of implementing a language. As someone who does programming language development as a hobby and PL technology as a career, I have a higher-level bit of advice: Take a
36.
by evincarofautumn 8y ago
So the actual challenge is to provide a means, in your language of choice, to write an arbitrary expression like: user_defined(x) + y + z Which may mix matrices ( x ), vectors ( y ), scalars ( z ), and user_defined or built-in (+
37.
by evincarofautumn 8y ago
I don’t know how concatenative languages fit into category theory—I would guess Cartesian closed categories are the place to start, but that’s not really my area of expertise. Maybe you can offer some insight if I tell you that the quotatio
38.
by evincarofautumn 8y ago
> Maybe that in itself is an important result? Well, I didn’t have the skills to actually prove the negative then, I was just never able to find a positive example. Still not convinced that it’s impossible, if I ever get back to it, or
39.
by evincarofautumn 8y ago
Worth noting that the basic functions like “sum”, “transpose”, and “foldr1” are already available in the standard library in Haskell. Dunno why they weren’t used—just a learning exercise? It’s often a good strategy to arrive at a simple def
40.
by evincarofautumn 8y ago
Another interesting area of program semantics that hasn’t seen much attention afaik is in the design of languages whose programs form some algebraic structure. My area of research is concatenative programming, where concatenation of two pro
41.
by evincarofautumn 8y ago
Up to isomorphism, yes. That is, you can write a pair of functions that are mutual inverses that witness the fact that those two types are isomorphic: distl :: (a, Either b c) -> Either (a, b) (a, c) distl (a, b_c) = case b_c o
42.
by evincarofautumn 8y ago
That is what orbits are, really. Just falling around a bend.
43.
by evincarofautumn 8y ago
I’m guessing fread looks like an attempt at code injection (fread() is a POSIX C function to read from a file handle, but also present in e.g. PHP), and WAF stands for Web Application Firewall.
44.
by evincarofautumn 8y ago
Yeah, I’m not sure higher-level abstraction is right for Go either—like I said, I do think the tradeoffs in the generics design are ultimately reasonable, given the design constraints. I guess it’s those very constraints that get to me. Thi
45.
by evincarofautumn 8y ago
As far as some people are concerned, it was ~8–10% of the Earth’s entire history ago, instead of 0.0000001% of it.
46.
by evincarofautumn 8y ago
I think they were just trying to make it rhyme in English by choosing approximate translations. The original says “[don’t cry] [girl], [don’t lament/wail], [when] [(there) is] [drought], [field] [spray (water)]”.
47.
by evincarofautumn 8y ago
Usually, perhaps, but learned people had their objections to reading & writing as well. This one’s pretty well known, although couched in a few layers of rhetoric that mean it’s usually presented without context (and misattributed to So
48.
by evincarofautumn 8y ago
I take kratom (the leaf of a Southeast Asian tree which contains an atypical partial opioid agonist) for a variety of things, including anxiety, and it’s extremely effective for me, but I don’t recommend it lightly because it’s still a “buy
49.
by evincarofautumn 8y ago
As a type theorist and programming language developer, I’ll admit that’s a fairly reasonable design for generics. I’m still a bit disappointed by the restrictions: “contracts” (structural typeclasses?) are specified in a strange “declaratio
50.
by evincarofautumn 8y ago
You’re right—I’m absolutely not suggesting people go out and take it willy-nilly. I’m saying we have anecdotal evidence that it could be effective in a clinical setting, because people (including myself) are currently going out and taking
51.
by evincarofautumn 8y ago
I wonder if/when we’ll see clinics offering kratom as an alternative treatment for pain management and opioid withdrawal. There’s heaps of anecdotal evidence of its effectiveness for helping people to get clean, but we’re lacking res
52.
by evincarofautumn 8y ago
I’m not familiar with the song, but going by lyrics alone, “I won’t do the things they learned me” is accidentally spot-on for native speakers of some dialects of English where “learn” can also mean “teach”, e.g., “That’ll learn him to mess
53.
by evincarofautumn 8y ago
It’s cool how you can pick up someone’s “accent” online in that way. A spoken accent is often a dead giveaway if you have some idea of the phonology of their native language. The way a lot of people learn the sounds of a foreign language
54.
by evincarofautumn 8y ago
“Great” also doesn’t help in this case, since in Hiberno-English (at least to my American ear) it sounds emphatic , not descriptive —that is, “shite” = “shitty stuff”, “great shite” = “extremely shitty stuff”.
55.
by evincarofautumn 8y ago
I also never had any confusion about that lyric—just figured “another baby” meant “another person to call ‘baby’” (i.e. a lover) and chalked it up to poetic license.
56.
by evincarofautumn 8y ago
Whereas I thought it was like the blackjack metaphor you might use at a bar for “give me another drink”—the singer wants another “hit” of her ex-lover, as if they were a drug, because her loneliness is “killing her” like withdrawal. In fact
57.
by evincarofautumn 8y ago
Well no, I just meant that sometimes working in inverse units makes things easier to understand than the “intuitive” units you use in daily life. “Time per distance” helped me personally get a better intuitive sense of time dilation and len
58.
by evincarofautumn 8y ago
I remember when I first learned about absolute zero, ages ago, and thought “if it’s unreachable, it must be like an asymptote…but that would mean we’re measuring temperature ‘upside-down’…” Much later, I learned about that very thing (1&#x2
59.
by evincarofautumn 8y ago
> how do we import functions from another file / module? Currently everything is public, so you can just give multiple files to the compiler and it ought to work. I’m working on a more structured module system right now. As a first
60.
by evincarofautumn 8y ago
I really appreciate your ongoing support! :) I know we have different visions of the languages we want to build and use, but your suggestions have been very helpful because they’ve challenged me to think critically about the semantics &

More ›