Pinned toot

All the idioms you need to be productive in while writing safe scripts.

doma.dev/blog/get-things-done-

Jonn boosted

"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

Jonn boosted
Jonn boosted

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.

Jonn boosted

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: mineralexistence.com/resume/

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

1/2

Jonn boosted

"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

Seems like "inside" and "lake" are the same in Maori.
Not surprising, given their history, but it's kinda epic!

Jonn boosted

Michelle Mone 

Jonn boosted

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)

Jonn boosted

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: youtu.be/yludQY_rvdw

Jonn boosted

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

Jonn boosted

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.

Show thread
Jonn boosted
Jonn boosted
Jonn boosted
Jonn boosted

The state of game development. Type-set the martial artist card yesterday.

Many more combat moves coming soon!

Squeezing "core combat rules" to the other side of the "moves" cards is going to be the next big challenge.

Jonn boosted

There's a lot of talk about Black folks coming to Mastodon and finding that mods on some of the big servers aren't always willing to step in and moderate, even if their rules say "No racism".

I want to be clear: Black people are WELCOME on retro.pizza and WILL be defended. And I will NEVER try to tell you what parts of your experience you can and cannot talk about out loud. #RPAdmin #BlackMastodon

Show more
Doma Social

Mastodon server of https://doma.dev.