Nintendo .DS_Store @sliminality@types.pl
I still want to talk to you about the affect and aesthetics of programming. https://slim.computer
I know that complaining about concrete syntax is a noob move, but I'm doing a whirlwind tour of "what's new in Web frontend" and I don't understand why everyone thinks inventing their own cybernetically-augmented HTML is better than what React does (just use JSX and quasi-quote to switch to normal JavaScript). Maybe it's because I'm just too used to React? Do software developers actually prefer these Handlebars-esque templating languages?
I thought I understood Rice's theorem, but I'm having trouble reconciling that with the Wikipedia entry: https://en.m.wikipedia.org/wiki/Rice's_theorem
The first sentence is "Rice's theorem states that all non-trivial semantic properties of programs are undecidable." I always understood Rice's theorem in terms of properties of functions, not the programs that compute those functions. As written, the statement seems too strong. Or is "semantic" just doing a ton of work here?
It really frustrates me that we somehow collectively decided type-level metaprogramming and codegen were "magic" and too confusing, but late-binding, dynamic dispatch, ad-hoc polymorphism, and a whole bunch of other stuff were totally normal and fine
Family in KL and extended family in HK……she's just like me only 100000× better https://twitter.com/variety/status/1635122069502590976
screaming crying throwing up bc of Michelle Yeoh and EEAAO Oscars sweep
What's your favorite graphical representation of a data race (broadly construed)? Looking for examples!
Now that @ivory is released, my temptation to switch entirely to Mastodon has redoubled…if only they could add the old Tweetbot themes :')
The problem is, so far, doing things my way and ignoring "the right way" has worked really well for me.
yes this is a cross-post but it seemed so apt for this server
(I)ntensional / (E)xtensional
(N)ominal / (S)tructural
(T)arski / (F)raenkel
(J)udgmental / (P)ropositional
it turns out that "having a TypeScript job" is just applying the Liskov substitution principle over and over in your head all day
george dantzig but instead you oversleep the part where the prof assigns you the homework and you assume it's an unsolved problem and get a zero
I still want to talk to you about the affect and aesthetics of programming. https://slim.computer
