 |
Post AwCEkQgbBZkre4q5XE by [email protected] |
 |
More posts by [email protected] |
|
Post #AwC6qix7NwOqOz3Yyu by [email protected] |
|
0 likes, 1 repeats |
|
|
|
thoughts? https://happyfellow.bearblog.dev/programming-language-theory-has-a-pu… |
|
|
|
Post #AwCEf1fykFCwd8yMYi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch "Problem 1" feels demonstrably false? Every big new lan… |
|
|
|
Post #AwCEg0llbL5C6l9LY8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch Someone told them that they should start with reading "The L… |
|
|
|
Post #AwCEg0ud4OAiYFIQMa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jj @koronkebitch the problem with reuse is imo that in a lot of cases it requi… |
|
|
|
Post #AwCEg11ie1qKuEc5Pk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@justinefrank @jj right, and maybe this is what you're referring to Justine… |
|
|
|
Post #AwCEg18SEzENF7lSue by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch @justinefrank @jj yeah, I feel like we just had this discussion. … |
|
|
|
Post #AwCEg4CopDVKlWpUdE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch (on a meta-level, when i clicked on the article i was a bit disap… |
|
|
|
Post #AwCEgN0kuI915cKcy0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch I don't love the framing. I mean, does antenna design have a … |
|
|
|
Post #AwCEgN8CSc6DShoZZQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @koronkebitch is making theorems/proofs novice-accessible even a sensib… |
|
|
|
Post #AwCEgNFe0w3PpnIWAq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch @atsuzaki @regehr i feel like this is an asshole thing to say but… |
|
|
|
Post #AwCEgNMjaZj2BmcBE0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@atsuzaki @koronkebitch @regehr I’m not telling medical researchers they shou… |
|
|
|
Post #AwCEgNSlEAXuUTQzcO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone @atsuzaki @koronkebitch @regehr I totally want programmer inform… |
|
|
|
Post #AwCEgNaujr4GtlFVKL by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lindsey [unchecked everyone else to avoid derailing the thread too much but] h… |
|
|
|
Post #AwCEgQskW07J5wcI2i by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch @regehr @atsuzaki (maybe a better analogy than patient informatio… |
|
|
|
Post #AwCEjymIwlgL5fIFXc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch I think that the author makes some good points, especially in ter… |
|
|
|
Post #AwCEjyt2Xj4NQYRd2W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pamorim yeah it just takes a long time for our ideas to get adopted, mostly bc… |
|
|
|
Post #AwCEk4oeUx7nogRD28 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sainati ☝️☝️☝️ |
|
|
|
Post #AwCEkQgbBZkre4q5XE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch i haven’t read all the replies but from skimming i think no one… |
|
|
|
Post #AwCEkQnKmX8tyxzT28 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone ☝️☝️☝️ |
|
|
|
Post #AwCEkRt2inIrMxfXZQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch investing significant time on education, outreach, making things … |
|
|
|
Post #AwCEkT8K5T7VEdpG1g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch nonetheless that work does happen. i confess I am immediately pig… |
|
|
|
Post #AwCElImU3uY3Py0YCm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone @koronkebitch wait it is?? i've been saying "programmin… |
|
|
|
Post #AwCElIsVhVMviepMbA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch @justinefrank to my ear, “programming language theory”, (espe… |
|
|
|
Post #AwCEqgOxfWBo7jZTua by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch I saw this before, what do you think |
|
|
|
Post #AwCEqhVNZ8uvXva7YO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch my feeling is that some of this is true but it's not really t… |
|
|
|
Post #AwCEqtbqYvDl5ShSIi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone @koronkebitch @justinefrank https://types.pl/@sliminality/112455… |
|
|
|
Post #AwCEtMJinadGhYOdn6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch I've seen SO many articles of this form (about PLT, Haskell, … |
|
|
|
Post #AwCEtMQSOY1J2RY1I0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@byorgey @koronkebitch I agree, 100% |
|
|
|
Post #AwCEz2Z9987hBKJvhg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch So we should both develop abstract theory so we can actually reus… |
|
|
|
Post #AwCEz2fAmiwZU18k64 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew LMAO |
|
|
|
Post #AwCEzr6tDwp7wSUaEy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch pretty accurate I would say. For example, there are so many ideas… |
|
|
|
Post #AwCEzrDGqDvaGFTgBc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@Andrev @koronkebitch but scheme/racket being far away from TT is just a conseq… |
|
|
|
Post #AwCF4ZNIahS0NuPoMC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitchI agree PL in general have a PR problem, but completely different … |
|
|
|
Post #AwCF5DJ67jrEESl1MW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jj @koronkebitch lol same |
|
|
|
Post #AwCF81RcgW44JI5Ho8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ionchy @koronkebitch though this is unrelated to the article it seems most dis… |
|
|
|
Post #AwCF9SvTzhpdpfjtCq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@byorgey @koronkebitch To me, the bigger concern is that it is fairly hard to f… |
|
|
|
Post #AwCFB99EV4cr4QyL4q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@krismicinski fair, it's probably more broad than PL for sure |
|
|
|
Post #AwCFENcDAQdsoE4J0q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @lindsey @atsuzaki @koronkebitch it occurs to me there’s another rese… |
|
|
|
Post #AwCFHWXKSFbPLYHeyW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@koronkebitch there’s some stuff here but a lot of this just feels wrong. the… |
