kthielen

8 ms·

31.
by kthielen 4y ago
You negated a lot of ideas but left off the part that summarizes what you're talking about.
32.
by kthielen 4y ago
Or maybe punitive retribution is also corrective.
33.
by kthielen 4y ago
Sure, seems like it's worth trying.
34.
by kthielen 4y ago
> That's the last I'll respond to you about this topic. I love it when this one gets pulled out. UH OH, NO MORE RESPONSES! Well I'm also happy to leave it here, that the 13th amendment absolutely outlawed slavery and that
35.
by kthielen 4y ago
Huh, seems like that theory isn't getting much support these days, with sympathetic DAs on the chopping block. Maybe it's actually wrong?
36.
by kthielen 4y ago
> Only China, Iran, Saudi Arabia, and Egypt kill more per year. So you're saying we could do better I guess. > You don't do that. You blindly follow some 20yr old colonials > who scribbled out a constitution 200 years ago
37.
by kthielen 4y ago
> I get the feeling we’ve read different history books. I get the feeling we've read different history. Forget books or opinions provided by other people many years after the fact, forget my opinion, just look at what the seceding s
38.
by kthielen 4y ago
While it’s true to say that some northerners had other interests in fighting the civil war, there’s no clearer evidence of the cause and purpose of the civil war than the reasons cited by secessionist states for leaving the union. Yes it w
39.
by kthielen 4y ago
You are right, except to the extent that “people SAY the 13th amendment ended slavery but it really codified it man” recasts what happened in the civil war and what purpose people had in fighting and dying to get it passed. Some people toda
40.
by kthielen 4y ago
In some places, criminals are killed much more quickly as punishment. Should we do that instead, because some countries do it? Or maybe we should figure out what we want to do by argument and consensus, instead of blindly following the old
41.
by kthielen 4y ago
Why should we be thinking that? Some people might argue that we should pursue even more extreme punishments, to dissuade people from committing crimes.
42.
by kthielen 4y ago
Sounds like an unjust law and/or an unfair enforcement of the law, rather than an argument that incarcerated people shouldn’t be forced to work. Freed slaves also were unfairly scrutinized for eligibility to vote. Does that mean we sh
43.
by kthielen 4y ago
If you’re not interested in fighting on the Internet, you wouldn’t have posted what you posted. You can say “it codified [slavery] in the above sense”, but obviously this isn’t the sense that people meant when they went to war to end slaver
44.
by kthielen 4y ago
Europeans and European countries have done all kinds of ridiculous things. Just because someone in Europe does something like you describe (if they even do, I doubt it), it doesn’t mean we should do it. People in the South after the civil
45.
by kthielen 4y ago
Huh, so what are you arguing for exactly? No justice system? What happens to murderers?
46.
by kthielen 4y ago
No I’m not changing my question, but I think this gets to the misunderstanding that there must be in rejecting the idea that the 13th amendment ended slavery. We didn’t fight the civil war to end the concept of incarceration for duly convic
47.
by kthielen 4y ago
But “slavery” for incarcerated criminals? What exactly do you want to do with them? Like, after you’ve convinced everyone that you’re morally superior to everyone else, do murderers get to walk free?
48.
by kthielen 4y ago
Right, but what’s the problem exactly?
49.
by kthielen 4y ago
Do you object to the “duly convicted” part? What do you think should happen to convicted criminals instead?
50.
by kthielen 4y ago
So the problem is that incarcerated criminals lose their freedom? That’s what you object to?
51.
by kthielen 4y ago
Oh really? How did the 13th amendment codify slavery? For some reason I thought that the civil war ended slavery but you must know better. Please explain.
52.
by kthielen 4y ago
Yeah, I had this type constraint system for doing that kind of thing, so I can load a file at compile time to get the type structure and then compile/evaluate to process data in the file or files. Same thing for network connections be
53.
by kthielen 4y ago
Very cool, this approach will inevitably catch on, I think. I built a similar typed PL and compiler for Morgan Stanley back in 2013: https://github.com/morganstanley/hobbes
54.
by kthielen 4y ago
I have no idea why you're confused. :D Does the concept of a recursive array make sense to you? A recursive(ly typed) function? Or do you think such things can't exist? Like "[[[], []], []]" could be an instance of &
55.
by kthielen 4y ago
It’s useful, but overspecialized for general use. There are common use-cases for recursive arrays and functions, for example.
56.
by kthielen 4y ago
You're right about term rewriting as a staged evaluation scheme. Similar to Haskell, I made this PL/compiler for Morgan Stanley where qualified type constraints (for e.g. type classes) are interpreted as stage-0 programs and rewr
57.
by kthielen 6y ago
lol this is not how interviewing works at Facebook, at least not as a general practice. I’ve seen fewer unthinking superficial snap judgements elsewhere than at Facebook.
58.
by kthielen 6y ago
People have made languages to address these issues (including me), and even put them in critical systems, but it is very difficult to get people to sign on to a new language.
59.
by kthielen 6y ago
Yeah static structural reflection is an important use-case. The main objection I’ve heard to standardization in C++ has to do with maintaining the mistake of conflating structs and classes and supporting C’s long broken unit type.
60.
by kthielen 6y ago
Yes similar things are done in hobbes, although with array comprehension syntax instead of SQL. Grouping and joins are done with regular functions. I think that this approach scales better than fitting it all into one query syntax (though

More ›