Jons Mostovojs @jonn@social.doma.dev

According to #Wikidata there are 18,218 universities worldwide.

I've worked out ( https://w.wiki/65$4 ) that 37 of the Wikidata entries have Mastodon accounts associated with them (not including bot accounts and sub-department accounts).

I'm confident there are more. 😀

Can you share this appeal widely, please, to either add Mastodon addresses to Wikidata items by editing directly, or letting me know of others and I'll add them.

#BoostWelcome #Boost
[Edited to add missing bracket]

#MastoAdmin #Abuse Is there a way to recover a post that a user has deleted? Or a way to set a user deleted post as not visible but still in the database? After poking around the database and doing some tests it looks like an erased post is removed from the “status” table and no longer exists anywhere else I can find. That leads to a way for abusers to post and delete as well as no easy way to investigate abuse.

Shared by my Daughter
"I need privacy, not because my actions are questionable, but because your judgement and intentions are"

In response to "if you have nothing to hide you have nothing to fear"

Announcing Bumblebee: from GPT2 to Stable Diffusion neural networks for Elixir. And - with Livebook v0.8 - all it takes for you to give it a try is three clicks.

Watch the video announcement: https://www.youtube.com/watch?v=g3oyh3g1AtQ

Read the news: https://news.livebook.dev/announcing-bumblebee-gpt2-stable-diffusion-and-more-in-elixir-3Op73O

[1/4]

"Excuse me," said the robot.
"How can I help?" the librarian asked.
"I have just been manufactured. My training includes everything I need to work, and to navigate society."
"That's nice."
"But..."
"Yes?
"Is there more?"
"Yes!"
#MicroFiction #TootFic #SmallStories

a debugging manifesto

If you're in the business of writing research languages, you can do a lot worse than compiling to Chez Scheme. It is, in some sense, an already existing fast implementation of the lambda calculus. You've got to know your target though!

Which is another way of saying, today I made a one word edit that makes Idris run twice as fast.

Okay I've never made one of these posts before, but here goes.

I'm looking for a job, starting early to mid January! My main area of experience is web developement, both back and frontend, but I'm always interested in learning new skills. I'm currently a cs student in college, so my availablility is limited to somewhere around a 25-hour workweek.

You can find my resume here: https://mineralexistence.com/resume/

Please boost for visibility! (right? that's how this works?)

1/2

"Woke" literally means anti-racist

"Antifa" literally means anti-fascist

If someone is "against" these what does it say about them?

#antifa #woke #racists #fascism

WHAT!?… the facemasks supplied by the Michelle Mone-linked PPE company cost 38.5p each from them.

They were 14.5p from other suppliers. THE SAME MASKS FROM THE SAME MANUFACTURER.

And our govt bought nearly 50 million of these items with our money - without competition.

The Times are reporting on this and it’s looking bad —> https://www.thetimes.co.uk/article/michelle-mone-masks-from-firm-linked-to-tory-peer-cost-double-6ctlhmjpx

Today is Pearl Harbor Day in the U.S., a “day that will live in infamy” for the unprovoked attack by the Empire of Japan upon U.S. forces stationed in Hawaii. But it also marked a dark turning point for Japanese Americans, who overnight became the “enemy.” (1/4)

In 2020 at the height of the pandemic experience, I painted my wife shopping at the market.

The painting process was looser and more improvisational than usual. Watch the video at: https://youtu.be/yludQY_rvdw

I'm constantly surprised at the number of people who are looking for lists of people to follow. There's no shortage of fascinating breadcrumb trails here.
Pick a toot that resonates with you and open it up. See who commented, or retooted it. Look at those people's profiles. Follow them.
Look at their older toots and follow the people whose comments on those toots pique your interest.
I've been here a month & have a global circle, not one of whom I knew before coming here. #IFollowTheCrumbs

That's it, I've spent too much time with no good results on this today, and I feel I have better things to do.

I've hit the limit of what I could accomplish with Rust without actually investing time learning how to think in it and how to structure solutions to fit its model adequately.

This experiment ends with me getting 8 days further with Awk than Rust in problems that have an advent-of-code shape.

Whatever that means.

A new release of my in-progress book on using Lean 4 as a programming language is out at https://leanprover.github.io/functional_programming_in_lean/