Ryan

@[email protected]
0 Followers
2 Following
15 Posts
Show threadRyanDec 16, 2022
@BartoszMilewski who's to say we're not at an extreme now, in our market-liberal capitalist world? Where when a muskrat shuts down a big piece of daily life and public safety, we just say "he shouldn't do that" and move on? In feudal times they believed themselves to be between the extremes as well, but now we would easily say serfdom is extreme.
Show threadRyanDec 14, 2022
@zerology @BartoszMilewski Wittgenstein and Kant had theories about how our world is only the internal one. This is obvious if we think about how color and sound aren't properties of the world, just human constructs for paying attention to particularly useful frequencies of particle vibration. In Kantian terms this is the "transcendental illusion" iirc, the Real that we cannot experience. Wittgenstein developed this in the philosophy of language, which often finds itself dealing with this stuff.
Show threadRyanNov 29, 2022
@BartoszMilewski why did you dream a Hearts of Iron IV playthrough lmao, the uranium change could definitely be a real HOI4 mod
RyanNov 29, 2022
Sheril KirshenbaumNov 28, 2022

Having now been on #Mastodon for 1 month, a few observations:

- Mastodon makes me realize how much the #Twitter algorithm maximized user outrage to boost engagement for profit. Gross. Here, my feed is interesting & supportive.

- There's a culture of kindness - at least so far. It's extremely appealing & should be normalized on & offline.

- Beyond reactions to toots, people share songs, poetry & ask great questions. I can't remember the last time I found social media to be fun.

Show threadRyanNov 28, 2022
@BartoszMilewski Awesome, I agree completely. Effects systems and the like, and yes I love linear types as well!
Show threadRyanNov 28, 2022
@BartoszMilewski I actually like the Koka style of everything-is-in-a-monad, though of course that's an effect system, not actually monads. I think logging and transactions (and security typing/information flow control, to add a more niche example) are important for anything nontrivial
Show threadRyanNov 28, 2022
@BartoszMilewski I think of it as imperative. I mean this code even mutates state. I don't think it's wrong, to be clear, but there's definitely a notion among fpers to look down on it. Conal Elliott comes to mind, with attempts like tangible values and FRP to make typically monadic code more functionally idiomatic. I think it's impossible to avoid imperative code though.
Show threadRyanNov 28, 2022
@stux I love this!
Show threadRyanNov 28, 2022

@BartoszMilewski this is cool! However, I feel like any functional code that does anything useful (non leetcode basically) is monadic, which seems unfortunate for the functional idiom. Do you have any thoughts on this?

Also I only learned haskell a year ago, self taught, (mostly via your category theory videos which were awesome!) so I'm no expert in any of this :)

RyanNov 27, 2022
Tucker TeagueNov 26, 2022
If you enjoy someone's post on #Mastodon go ahead and click the star. If someone tells you that's meaningless because there's no #algorithm, ignore them. Sure, boost the post too if you want others to also see the post, but don't think telling someone you like what they posted is somehow unimportant. In real life I don't tell someone, "good job," or "well said," or "I love that," for the sake of some algorithm, I do it because I'm human and they are too. It's fundamental to being truly social.