Show newer
R. A. Dehi boosted

#TypedRacket has just got way more powerful. The following code gets typechecked as is:

(: eval-with (All (a) (-> (VariableMapping a) Any AnyValues))) (define (eval-with ht expr) (parameterize ([current-namespace (make-base-namespace)]) (for ([(x val) (in-hash ht)]) (namespace-set-variable-value! x val)) (eval expr)))

Six months ago I spent a couple days trying to get eval-with to typecheck, only to get the answer on the mailing list that Typed Racket couldn’t do that. Well now not only can it do this, it also has dependent types!

I’m extremely excited 😍

R. A. Dehi boosted

cozy in a mac rom scarf. specifically this is a slice of the ROM from a Macintosh IIsi. here's how it was made. i used @th 's script github.com/osresearch/prom/blo and the mac roms on archive dot org archive.org/details/mac_rom_ar

if you have ImageMagick already installed:

$ perl hex2png.pl -y 1280 -w 32 mac_rom_archive_-_as_of_8-19-2011/36B7FB6C\ -\ Mac\ IIsi.ROM \ | convert - maciisi.png

Then a slice four columns wide was taken of the resulting image and knit into a scarf. The scarf is 1280 pixels/knit stitches long and therefore wraps natively in the columns of the scarf. if you want to make your own, you'll need a hacked consumer knitting machine or an industrial knitting machine or someone with a setup to machine knit it for you.

@smari Maybe more details? Allowable languages, performance requirements? Assuming you're budgeting a few hundred to a few thousand dollars.

R. A. Dehi boosted

Absolutely incredible that large groups of people have decided to spend their time hating on:
1) making sure your charitable giving is doing the most good possible, and
2) extending the number of healthy years of life

@DM_Ronin I think poorly functioning E2EE (E2EE that loses your keys, or sometimes fails at opening a channel, or something) is very different from E2EE with a backdoor or no E2EE

@lxo Many people are driven by hate, especially now that we've had 16 years of Twitter.

R. A. Dehi boosted
well, there is that, but really, if there might exist facts that would make one think an action one is considering taking that would cause irreparable harm if it turned out to be wrong, maybe you shouldn't take that action before checking the facts very very thoroughly. I find people often react to accusations by assuming the accused is deserving of punishment, as if being accused was proof of wrongdoing. malicious players have found this to be easily exploitable.
R. A. Dehi boosted

@DM_Ronin sabotage the E2EE implementation so that is so unreliable people try hard to avoid using it

@allinone0@fosstodon.org I would use a desktop machine if those were my only two choices on a laptop.

R. A. Dehi boosted

1/7 With all the talk about moderation on mastodon, most of the discussions I’ve seen have centered on the work and experiences of paid commercial content moderators. But volunteer community moderators have done this work for a long time! I’m going to share some of my favorite papers about the experiences of community content moderators. Apologies to the authors if you’re on Mastodon and I didn’t tag you! And please share your favorites!

@lxo @freemo Also, because other people prevent them from having access to the facts.

Twitter 

@allenholub Maybe those people want to be Twitter-style soldiers in an ideological war rather than investigating what they might learn from another person, so maybe avoiding them is beneficial.

R. A. Dehi boosted

@freemo Will do that. Too bad GitLab doesn't support authenticating against Mastodon with OAuth?

@rmerriam @freemo But still needs some cell padding for readability.

@kate Hmm, sounds like you're talking about the doc comment needing to refer to the arguments by name (if talks about them at all) instead of simply putting a comment beside them as in your example? (And having to repeat the type.)

I thought you were talking about the particular comment text in your example being redundant with the function and argument names.

@freemo Typos:

"alongside" for "along side"
"don't" for "dont"
"let's" for "lets"
"it's important" for "its important"
"It's been" for "Its been"
"it's right" for "its right"
"isn't" for "isnt"
"changed; excited, I" for "changed, excited I"
"Gab" for "GAB"

You need to correct these if you want journalists to take you seriously.

Arguable but still probably style improvements:
"swastika-wielding" for "swastika wielding"
"genocide-wanting" for "genocide wanting"
"old, and" for "old and"
"drama, and" for "drama and"
"prejudice, this" for "prejudice this"
"STEM-oriented" for "STEM oriented"

Is this useful? I can do it for the whole article if you want, but will be a lot of work, so I don't want to do it if you'll just ignore it.

twitter 

@rmerriam if this were twitter surely one of us would be calling the other a Nazi by now

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.