David Smith is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

David Smith @emallson@octodon.social

David Smith boosted

"Unfortunately, Haskell has no currying, so we’re forced to build our own tools for partial functions" aphyr.com/posts/342-typing-the

I'm tempted to propose setting up a slack for our lab, but it would actually 100% be for slacking so I don't think that its a good idea?

David Smith boosted

FOSSbros rant thing Show more

Damn. I look at rewriting this evaluation section and lose all motivation to work. Having updated figures that look like this don't help.

octodon.social/media/hNj0XJQub

So much noise. Writing about this is going to be FUN

David Smith boosted

CWs aren't "censorship" or putting your toots behind some kinda wall, they're basically equivalent to lowering your voice so only the intended people can hear you in this crowded bar, as you talk about stuff that's potentially upsetting, TMI, or whatever.

People don't want CWs on "politics" (which really means "the news") because they're oversensitive and afraid of seeing the news, they read they news, they just don't want it to be a 24-hour punditry vortex in here.

Do not ask me how I made this figure for I truly do not know.

octodon.social/media/mT5EKNrRi

Doing multi-threaded stuff in Java and holy shit I miss Rust already.

Send/Sync may be frustrating sometimes, but at least thats better than debugging why 5 peers agree everyone is done but one thinks peer #2 is still missing pieces.

Listening to the DOOM16 OST at work is making me just want to go home and play it.

This may have been a poor musical choice.

David Smith boosted

:bird: something is wrong and Twitter should do something to fix it

:elephant: something is wrong and oh I guess we need to work through this complex problem and come up with a solution as a community that works for us and if other people prefer something different they can do that too

David Smith boosted

The real value add of Mastodon is giving everyone an excuse to finally put something on all the weird domains they've been squatting

David Smith boosted

@Rasgueado that's my impression. it's like email: you can be bob@gmail.com and I can be bob@yahoo.com. The host is part of specifying who you're referring to -- username alone isn't enough.

David Smith boosted

The Ruby library for interacting with the Mastodon client API is in dire need of completion. If you're looking for ways to contribute code, I think that's a good starting point github.com/tootsuite/mastodon-

A bit of fun procrastinating on my Rust CPLEX wrapper this morning. Rewrote my constraint macro to be recursive so that you can mix atoms and summations in the same expression. Before, if you wanted both you'd have to do:

let con = con!("foo": 0.0 >= sum &xs);
con.add_wvar(WeightedVariable::from_idx(y, 1.0));

Now, you can do:

con!("foo": 0.0 >= sum (&xs) + 1.0 y);

Unfortunately, still haven't figured out how to get rid of the extra parens...

David Smith boosted

It's kinda weird to think about a social network where businesses own their own presences, rather than relying on a capricious third party service like Twitter or Facebook. Imagine NBC or The Verge running a Mastodon instance for their reporters to toot from, or Bethesda operating an instance for PR and customer support. No more lost business when Facebook changes their algorithms again because they need more money from boosted posts.

Weird, right?