Replies

This profile is from a federated server and may be incomplete. Browse more on the original instance.

mcc, to random
@mcc@mastodon.social avatar

Unpopular opinion: A lot of y'all are describing your (neurotype / algorithm / chord / biohazardous rocks) as "spicy" when what you really mean is some other taste qualia such as "tangy"

sellout,
@sellout@mastodon.social avatar

@mcc @xgranade Plus, it draws the connection to the, uh, quite festive, Fiestaware.

18+ sellout, to random
@sellout@mastodon.social avatar

How did distributed systems get the “concurrent”/“parallel” terminology completely backward? Is there a paper that mixed up the definitions of these terms and now we have to suffer for all time? Despite programming my brain to understand this years ago, I still cringe every time.

I get that consistency is helpful, but nothing (including introductory material) ever seems to acknowledge this cognitive dissonance.

18+ sellout,
@sellout@mastodon.social avatar

@kalt I like Haskell’s incidental “right” punning, but it does color the perception of Either, which can be confusing when the “right” (well, final) value is in Left for non-local return semantics (which I seem to use a lot these days).

For non-local return in Rust, I suppose you could switch from and_then to or_else instead of putting the “right” value in Err, but it’s much nicer having a Monad 😁

18+ sellout,
@sellout@mastodon.social avatar

@kalt Ohh … interesting. I had his book until a few years ago (got rid of most things when we moved for a year). I didn’t recall him having it the right way round. I should have held on to that!

sellout, to haskell
@sellout@mastodon.social avatar

I made a thing in case you were starting to think programming is too easy.

https://github.com/sellout/no-recursion – a plugin to remove support from

(I have multiple use cases for this, I swear.)

sellout,
@sellout@mastodon.social avatar

@boarders This is one of my use cases. The great thing about recursion schemes is that they don’t require recursion. And all streaming can be done with recursion schemes, so also no recursion.

But currently it’s pretty basic. You can use recursive functions from other modules … as long as they don’t get inlined. And there’s no way to restrict imported recursive functions. But please, open issues with stuff you’d like to see.

mcc, to random
@mcc@mastodon.social avatar

Finally learning to use the "Profile" system in Firefox and it interacts so badly with the Ubuntu/GNOME app switcher. I guess what I want to do is edit the JSON file for my start bar so I've got separate menu items under Firefox for each of my profiles?

sellout,
@sellout@mastodon.social avatar

@mcc I have 3+ Firefox profiles, and all I want to do is unify them.

Maybe after that I’ll find a good use for them, but for now they are accidental partitionings caused by upgrades or something that I didn’t do intentionally.

b0rk, to random
@b0rk@jvns.ca avatar

what problems do you run into with git's staging area? right now I'm feeling like the staging area is one of the least confusing parts of git (merging, branches, and remotes seem to cause people a lot more problems) but I'm very open to writing about it if there are problems

sellout,
@sellout@mastodon.social avatar

@b0rk If I understand #2 correctly, I think git reset —soft HEAD@{1} will fix it.

ZachWeinersmith, to random
@ZachWeinersmith@mastodon.social avatar

Hey math/logic/compsci geeks - do you have a sense of why Hilbert might have believed in decidability? I guess I feel like if you can always just get a procedure, the world should be a lot more magical! But, maybe that's only obvious once you have the idea of a computer?

sellout,
@sellout@mastodon.social avatar

@ZachWeinersmith And yet a lot of people think markets are efficient. https://arxiv.org/abs/1002.2284 – consistency is not one of our strong suits.

mcc, to random
@mcc@mastodon.social avatar

The SystemVerilog compiler writes a mantra

sellout,
@sellout@mastodon.social avatar

@mcc If James Joyce were a programmer.

mcc, to random
@mcc@mastodon.social avatar

Last night I had a dream that somebody let me hold their pet rat

sellout,
@sellout@mastodon.social avatar

@mcc Yesterday my 9yo was arguing for a pet rat. Her argument hinged on the differences between domesticated rats and “sewer” rats.

sellout,
@sellout@mastodon.social avatar

@mcc Don't worry – she's not getting a rat. We already have guinea pigs (which she adores), and every day is an argument for some new animal. Before the rat was a hamster, and during the rat advocacy, she made a point of saying why they're better than hamsters. If we wait long enough, I'm sure she'll reach the final ideal pet (which is hopefully guinea pigs).

mcc, (edited ) to random
@mcc@mastodon.social avatar

IT WOULD APPEAR THAT 20 MINUTES BEFORE MY STREAM, UBUNTU PUSHED AN UPDATE (edit: not true, it's even more ridiculous than that, see end of thread) THAT BROKE GDM ON THE LAPTOP I WAS GOING TO BE STREAMING FROM, EFFECTIVELY BRICKING THE LAPTOP

I AM VERY, VERY DISAPPOINTED IN MY ONE MONTH OF USING UBUNTU SO FAR

sellout,
@sellout@mastodon.social avatar

@mcc @aeva I use one of these and it’s a great feature[^1], but I find I sometimes don’t notice something I would like to roll back until much later. Thankfully, the distro also makes it easy enough to write unit tests that run before flipping the switch to the updated system.

[^1]: It’s also neat that the snapshot/rollback feature is exposed so you can apply it to anything you want ( e.g., code or some build artifacts or whatever).

dgar, to random
@dgar@aus.social avatar

If GH can stand for P as in Hiccough,
If OUGH stands for O as in Dough,
If PHTH stands for T as in Phthisis,
If EIGH stands for A as in Neighbor,
If TTE stands for T as in Gazette,
If EAU stands for O as in Plateau,

The right way to spell POTATO should be:

GHOUGHPHTHEIGHTTEEAU

sellout,
@sellout@mastodon.social avatar

@dgar Is this a lemma along the way to proving the correct pronunciation of GIF?

chris__martin, to random
@chris__martin@functional.cafe avatar

Always take beer bottles back to the brewery. Either they'll reuse them, or you're lodging an effective protest against them not using them. And if you don't live close enough to the brewery to do this, well then you need to quit buying drinks that are shipped so far.

sellout,
@sellout@mastodon.social avatar

@chris__martin I’m with you on the drink local, but I’m just realizing … I don’t think there are many breweries in CO that even have bottles? I wonder if it’s strictly the outdoorsiness or if there’s some other reason to prefer cans.

chris__martin, to random
@chris__martin@functional.cafe avatar

People always think you know what you're doing when you take something apart. I don't know anything about computers, man, I just know there's about a dozen components in there that come apart easily, and I can swap one of em out if I need to

sellout,
@sellout@mastodon.social avatar

@chris__martin This is true, but I have also definitely taken apart more computers than I have put back together.

I’m sure my parents loved the C64 graveyard I had upstairs.

chris__martin, to random
@chris__martin@functional.cafe avatar

If your application has a settings editor, it's extremely cool to allow two settings files: One that the editor doesn't modify, and one that it does, and the latter settings are overlaid on top of the former

sellout,
@sellout@mastodon.social avatar

@chris__martin Ooh, how about an idempotent group?

  1. having identical settings in two files shouldn’t do anything different than just having it in one of the files and
  2. you should be able to undo anything done in a previously-applied file.
  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • everett
  • rosin
  • Youngstown
  • ngwrru68w68
  • khanakhh
  • slotface
  • InstantRegret
  • mdbf
  • GTA5RPClips
  • kavyap
  • thenastyranch
  • DreamBathrooms
  • magazineikmin
  • anitta
  • tacticalgear
  • tester
  • Durango
  • cubers
  • ethstaker
  • cisconetworking
  • modclub
  • osvaldo12
  • Leos
  • normalnudes
  • megavids
  • provamag3
  • lostlight
  • All magazines