Viewing profile — star-castle

> Nice of you to pretend to care. Every few weeks a focus group comes up with a mantra or slogan and the media blasts it like it's the new Justin Beiber track. The current mantra i…

Ideally we can move to a more humane system of sending both children and parents right back across the border.

>we should readily engage in political discussion You must mean political lecturing, because 'discussion' implies more than one side, which means hearing from more than one side, w…

No, you halfwit, a series of unfortunate personal experiences are never going to overturn statistics. If very few people have a leg bitten off by a shark, but then I regrettably lo…

And before the 1980s, people were medicated into living like zombies. There might be a cycle of skepticism and liberalism, but what what hasn't changed is that doctors can't feel y…

> You think horrifyingly painful medical conditions are extremely rare Yes. In particular, they are much less of a concern than the epidemic of people killing themselves with opiat…

> I think it's a good idea to initially assume most things you read were written in good faith When a journalist writes, I only look for the narrative.

I'd rather be fired by a machine than fired by a database. In this guy's case, everyone of importance was on his side, it was just a technical matter to get the situation resolved …

Huge, shockingly large numbers of (certain) people are killing themselves with opiates. But fuck them, right? Check out this extremely rare case of (certain, other) people who occa…

They've already released "a game". The ultimate failure will come in the form an announcement: it's done! tadaaa! click here to purchase! But the SC as imagined by the 1000th "what…

"Fortunately, that crying kid was then led back to his home country, where they were very nice to him. Our country was just too mean and racist for him--really, it would've been an…

I want my descendants to have at least a minimally functional civilization. Dramatic (staged) pictures of dead children don't change that. A single border agent being meeeeeeeeaean…

"Oh, my insignificant family life is ruined, but at least I still have options when it comes to a fulfilling and meaningful career!" "Oh, I have cancer. But at least I'll be saving…

Google manipulates its results in a variety of ways. The end result is that if you and your networked peers aren't already searching for things related to Dragonfly BSD, then you'r…

Why do you trust it? You got into a car on an arranged deal and the driver immediately wants to back out of it--this is already a shady situation. Why do you think he'll drive you …

I don't believe you. No offense, but it's easier to learn that the Earth is flat, or that a place called 'Australia' exists, or that reality is entirely a consensus affair and that…

How? Uber is a current-year tech company. Like Google, there technically is a support line that technically exists, but just forget about it. I called Uber 10 times, in Houston. Go…

c.f. https://github.com/deech/LeftPad/blob/master/left-pad.org , in particular "At the type level we have:" and "At the level of sorts and refinements:" Or take this silly code: ht…

2015 MacBook Pro, compiling his 'first cut at it' example: # time idris -o Foo Foo.idr real 0m31.683s user 0m30.646s sys 0m0.876s

Click the [-] at the top right of that doc page. You won't find it so overwhelming.

OCaml has a type-safe printf and isn't purely functional. ATS is essentially 'C with dependent types'. And optionally some other languages with dependent types. You can think of it…

I doubt that the svk guy had that problem either. His problem was, instead, "I took a year off work to produce a VCS and then saw the throne taken by git. My work has been forgotte…

Reminds me of the fellow that took a year off to create an amazing new version control system. He made svk, which was pretty good except for being followed too closely by git. Howe…

>Please be nice to each other, regardless of ethnicity without talking about ethnicities that dislike other ethnicities, I can't explain why this photo means that the media won't t…

That's basically how it works in the US, yes.