Show newer

@Jerome That's true. All I know is that stuff "finished" and unmaintained now breaks because of Java...

@souldessin actually that does make me wonder if it had something to do with the hour -- perhaps the email service on free tier isn't 24/7?

@zulip and... it's back now, and all my queued messages went through at once 😂

Show thread

One of the big downsides to being a hosted language like is that, regardless of how awesomely stable the ideology with the language itself, you can't avoid problems if your host decides to make breaking changes. I am still doing damage control on the painful 9+ , where they decided it was time to shrink Java's core library and various dependent packages broke.

We are excited to announce that
@zulip will be participating in the
Google Summer of Code program for the 8th time this year. Anyone new to #opensource development can apply -- we'd love to see you in our community! #GSoC2023

summerofcode.withgoogle.com/pr

@zulip is hosted service email down right now? My zulip is neither receiving nor sending from my hosted instance right now.

I remember seeing some research about productivity and remote work--they studied both telemarketers and customer service reps handing inbound service or support calls.

The employees taking inbound calls did better working remote, but the telemarketers did better co-located (because they could pump each other up in between getting hung up on or yelled at)

Anyone else remember this and have a link?

@icedquinn social things that report "online status" of users really bug me. I'm always hidden on Discord and Battle.net, except when it actually breaks functionality

The problem with the @username syntax is that, while the functionality is as common as emojis, it depends on the implementation of whatever host -- so what you write on Mastodon will not be treated the same on Twitter, or Instagram, or Telegram, or wherever else you are @ing. So hashtags are a much more universally portable way of communicating, and don't require linkage to a particular account or service. Also, a pity it doesn't have a formal name, like "octothorpe".

I guess that's the story of Google. And possibly FaceBook.

Show thread

Data-Powered proprietary software betraying the ideal of open information that birthed it

@Suiseiseki Here I thought that both png and webp were lossless formats. I tried with optipng, cwebp, and Gimp, with no noticeable differences to the file size

@fndriven at 70% quality webp are smaller than the alternatives from the camera. I thought this was a big enough boost to go with webp as a "sometimes better" format

@cosmin just tried this. Actually it made the png larger by a few kb :blobfacepalm:

Does anyone know how to convert my images from webp to small-ish png? Right now when I run dwebp, the resulting png is at least triple the file size of the webp. But when my camera saves directly to png, it's same quality but much smaller filesize. What's with this?

@souldessin Thanks! Baby and mom are great, emails haven't been touched yet

You take one weekend off to have a baby, and 450 emails are awaiting... well, at least it stayed in low triple-digits.

One power of the Personal Development Environment (): the ability to jump to my notes files from any place in my work. orys.us/uG

Show older
Qoto Mastodon

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