I feel like although for nerds like me putting more types in a language is a cool thing, what would be much more important as a topic of research, in practise, is reducing the syntactic overhead of type systems. I recently heard so many complaints about this, I feel like we’re not there yet; I do agree. #haskell
@mangoiv Interesting. I feel that you can probably get a similar level of conciseness if you're doing everything structurally and rely on inference everywhere, but I wouldn't want that? To me, it often helps to just write down types in order to understand a problem, or understand it better. If you want to introduce nominal types, then Haskell syntax already seems nearly optimal. I think these are extra lines well spent. If you make any of that implicit, then the benefit is gone.
@kosmikus the issue I see here is that for “trivial” things, the overhead is not justified; I’m not talking about the cases where types do actually help solving an issue (and I’m of the strong opinion, they do solve problems!).
To refer to the example again; think about writing Python in script-ish settings; most times you don’t need any types to oversee the situation, in these cases you probably don’t want to deal with their overhead, either; this starts by having to use fromIntegral, T.(un)pack, explicit lifting into monadic contexts, dealing with ambiguous types, and so on.
Another example is effect systems for that matter, every time you just “propagate” constraints, you end up with a flat record of effects that are mostly just syntactical noise, there’s no actual benefit in them, you’re just wrangling with the compiler. (Surely this is also a matter of design, think small functions with many effects and large functions with almost no effects, but this is something that exhibits in practice)
I’m playing this first-person open-world game called ‘Life’, and it’s so hard it’s almost unplayable. The character classes are really unbalanced, and you don’t even get to choose one: it’s just assigned when you start playing. They introduced some assists to make things easier (if you can find them buried in the menus), but the elite players complained and they’re being patched out again. Accessibility features for those with disabilities are severely lacking. And it only has permadeath mode.
I just received some fruitcake, and I'm happy! It's just the Festival brand fruitcake, which you can get at any supermarket, but actually that's my favorite kind - boozy but not crumbly. My friend's aunt works for Festival and so they get a lot of extra fruitcake every Christmas and he sends me a couple every year because he knows I love fruitcake and we're like siblings.
#RomanceReviews 7 is some more #ChristmasSmut , Eat My Moon Dust by Etta Pierce. I'm going to keep reading these things until I get sick of 'em or it's 2024.
I'm hoping this will be a good palate cleanser. We have aliens, we have my favorite trope (grumpy & sunshine), and we have Christmas.. FFS, what else could one ask for!
I think this is going to be straight-ish with some creative anatomy nonsense. Here for it.
Eat My Moon Dust was the #ChristmasSmut I needed. We had found family, we had romance, we had hunky single dads (Hallmark, natch), and what Christmas romance would be complete without alien tentacle sex. Obviously.
I liked both of the main characters, which is no surprise because I. Love. Sunshine/grumpy. Grumpy quote of the book: "no one would ever measure up to my little cyclone of chaos and rainbows." D'aww.
Do recommend for those interested in consensual alien relationships and not averse to steamy creative anatomy scenes. I would read more by this author.
The author has content warnings here: https://www.ettapierceromance.com/content-notes and I would add that puberty is also a minor theme, there is an incident where a tween crosses touch boundaries with another tween but it is resolved, and somnophilia.
A common refrain is that the web is turning into garbage because of LLMs.
But that's not really true. It's just that the garbage is drowning out everything else, especially in search engines that themselves have decided to go into the garbage generation business.
What can we do? We can promote the #IndieWeb right here. Highlight the good, perhaps obscure websites and blogs you come across, especially the ones that aren't loaded with ads & trackers.
Night-time helicopter flight with The Icelandic Coast Guard gathering info and estimating the extent of the lava field in the early phase of this eruption.
Steven Jackson, @stefan_laser_, @sister0 and I invite abstracts to the panel "Planetary Data Infrastructures" at the @stseasst and @4Sweb 2024 #conference.
The panel explores expanded engagements with networked infrastructures, both concrete and speculative, that help foster more response-able, aesthetic, cooperative, and sustainable planetary relations.
> With the concept “planetary data infrastructures”, the panel explores expanded engagements with networked infrastructures, both concrete and speculative, that help foster more response-able, aesthetic, cooperative, and sustainable planetary relations. We invite conventional and experimental formats.
I cannot for the life of me come up with anything useful or interesting to contribute to this hashtag (I’ll keep thinking!). However I’d love to hear anything my friends might want to share - you are all so clever and interesting!
See linked post for more information.
(If you share something, don’t forget to use the hashtag and set visibility to public so others can find and enjoy it too!) 😊
Teach me something insignificant and simple that seem obvious. I might not know it and be glad to learn it.😉
I'll do one.
On Windows, if you are in a text area (text curser blinking), if you press and hold the Windows key :windows: on your keyboard then press the period, an emoji keyboard pops up so you can insert an emoji into what you are typing.