l'empathie mécanique @dpwiz@qoto.org
- Monad m
- m a -> (a -> m b) -> m b
- Previously
- https://mastodon.social/@dpwiz
- Making games
- https://haskell-game.dev
- Games made
- https://icrbow.itch.io
Toots as he pleases.
Joined Apr 2022
l'empathie mécanique
boosted
linux kernel configuration is a roguelike:
ascii graphics
turn-based
steep learning curve
permadeath
l'empathie mécanique
boosted
WHOA
First-ever Gitea comment on an issue from a remote instance!!! 🎉
https://git.exozy.me/Ta180m/Hello-world/issues/2#issuecomment-2914
l'empathie mécanique
boosted
degrees are new castes
What's in a name? That which we call SaaS
By any other name would smell as shit
l'empathie mécanique
boosted
Give Up GitHub - Software Freedom Conservancy
https://sfconservancy.org/GiveUpGitHub/
Couldn't match type `r0' with `p'
because type variable `p' would escape its scope
This (rigid, skolem) type variable is bound
In the Land of Mordor where the Shadows lie.
l'empathie mécanique
boosted
Decentralization isn't everything. It's not the goal in itself. There is a long tail of product design decisions that make or break a platform (which is why I find it kind of silly that Bluesky spent 2 years arguing over protocol design, though that's a different story). But that point is that decentralization is the foundation for a viable platform. Without it you're doomed to repeat the path of hundreds of social media apps of the past... Just a different paint on the same exact structure.
US cons.: delete and redraft
How the fuck it it is even technically possible for a bunch of unelected guys to strip bodily autonomy from 100+ millions?
Modus moving the goalponens
Нашёл лексер комментарии, а они ему как раз
l'empathie mécanique
boosted
Oh my, why most CLI apps in C++ suck *so hard* at parsing arguments? They don't can't call getopt() or what?
I see lots of crappy ad-hoc parsing that's as capricious as 2yo in a mall. High-level object oriented metaprogramming my ass..
#GNUnet doing it right
> Moreover, the DHT underlay mechanism is *general* and allows for additional underlay plugins to be defined. This will make it easy to run R5N over other P2P networks (like I2P) in the future.
- I'm a Correctness Dragon and this is my Hoare of triples.
On the current timeline, every day is Petrov Day.
l'empathie mécanique
boosted
The only humans who think "no" means "I'll ask again as soon as I feel like it and as often as I want" are toddlers, creeps and, apparently, some software shops.
> For the case of the exomoon candidate Kepler-1625b-I (Teachey & Kipping 2018) we showed in Fig. 2 that the largest stable submoon is Vesta- to Ceres-sized. The largest possible submoon would thus be roughly 5–10 km in radius. For much less massive, Solar system-like moons the largest stable submoon was ∼10 km such that the largest possible subsubmoon would be sub-km-sized.
Amazing! Add some trojan neighbors here and there and it would be a fun place to navigate around. Something like Interplanetary Transport Network, but crunched into a cisplanetary space.
- Monad m
- m a -> (a -> m b) -> m b
- Previously
- https://mastodon.social/@dpwiz
- Making games
- https://haskell-game.dev
- Games made
- https://icrbow.itch.io
Toots as he pleases.
Joined Apr 2022
