@sellout@mastodon.social
@sellout@mastodon.social avatar

sellout

@sellout@mastodon.social

Freediver, skier, rock climber, programmer. Turning cool ideas into terrible programming languages. Twitter early-abandoner (https://mastodon.social/@sellout). Thought Mastodon would be more metal.

http://pronoun.is/they

In a former life, I was a composer and classical guitarist.

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.

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).

sellout, to linux
@sellout@mastodon.social avatar

Not that I need to buy something new, but I think I want a tablet … or, really, more of a Linux laptop without a keyboard (because I’ll use an Atreus).

So, what’s good hardware in this space? I don’t need awesome specs (I mostly dev over SSH). Touchscreen is totally optional, but I would love a good collapsable stand that holds the screen up off the table (more like a Roost than a kickstand).

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.
BlackAzizAnansi, to random
@BlackAzizAnansi@mas.to avatar

I'm watching Adventures in Babysitting because I'm a grown man.

sellout,
@sellout@mastodon.social avatar

@BlackAzizAnansi Adventures in Babysitting is one of the first movies I shared with my now-wife. Either that or Ghost Dog was first.

I feel I was very up-front about who I was 😆

mcc, to random
@mcc@mastodon.social avatar

I put it off but time to open the box.

Last time I bought a MacBook I promised myself that it would be the last time I ever bought an Apple product. I am so sad right now.

sellout,
@sellout@mastodon.social avatar

@mcc I am very curious about your KVM, because I’m not thrilled with mine. What is it?

sellout,
@sellout@mastodon.social avatar

@mcc Well, one is just that it’s been getting flaky – not always recognizing when computers are connected, or not sending keyboard input to some devices. But other things that are just different than I want – e.g., every computer thinks it’s connected to an external monitor, but I want the unselected computers to think they don’t have an external display.

sellout,
@sellout@mastodon.social avatar

@mcc I can see how it would be a feature, but for me, I have a laptop either side of my monitor that are connected to the KVM as well as two headless machines that are also connected. So while I might be “focused” on one computer, I need to be able to access everything on the other ones. Synergy is set up so that the selected machine on the KVM knows which other computers have adjacent screens. With the phantom monitor that breaks, as there’s extra distance to cross the screen that doesn’t exist

mcc, to random
@mcc@mastodon.social avatar

So to be honest: The thing that's been scaring me about Threads is less that they'll eat the Fediverse and more that by existing they'll schism the space around Mastodon so hard that pervasive defederation will make the whole non-Threads fediverse unusable, and Blue Sky winds up winning the hearts & minds war. Like I was worried Eugen might take a actively pro-Threads stance and the few remaining servers that haven't defederated mastodon.social yet would finally do so.

sellout,
@sellout@mastodon.social avatar

@seldo @mcc Hrmm, I haven’t noticed being defederated.

I’ve been meaning to jump servers, and figured mastodon.social being defederated would be what finally made it happen. I guess I should make the switch …

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • anitta
  • everett
  • magazineikmin
  • hgfsjryuu7
  • vwfavf
  • mdbf
  • ethstaker
  • Youngstown
  • slotface
  • ngwrru68w68
  • rosin
  • PowerRangers
  • kavyap
  • DreamBathrooms
  • normalnudes
  • khanakhh
  • thenastyranch
  • osvaldo12
  • tacticalgear
  • Durango
  • cubers
  • InstantRegret
  • GTA5RPClips
  • tester
  • cisconetworking
  • modclub
  • Leos
  • provamag3
  • All magazines
    •