Assuming that it’s just that person, that it’s their actual name and that they’re in the US…

That was fast.

The company didn’t abandon, Microsoft bought them out indirectly and killed the competition. Nothing to see here.

ANTLR is for writing parsers. You don’t need a new custom parser, just use an existing XML parser.

There are IDE extensions that show the diff of the entire PR locally without having to squash anything. So yes, it’s weird to reinvent a square wheel.

I am currently writing a C compiler, with my own backend (and hopefully, frontend) in OCaml.

But why write your own C frontend? It’s much more of a pain than people imagine. I maintain a C frontend implemented in OCaml (the project itself goes back 25 years) and it’s still not on par with GCC or Clang.

For any other language, sure, but C has so many “wonderful” features, starting with the lexer hack. Your grammar conveniently overlooks this issue but it’s something you’ll have to deal with to actually implement it. So it simply won’t be as nice as theory suggests.

Yes, but with things like syscalls it’s easier to do this than require every high-level thing building on the syscall to be modified and recompiled. Very few people need to use such low-level APIs.

keep mum about energy use

Whose mum?

Sometime HSP just stopped working so now I have to do calls with my laptop built-in mic.

Also, some programs like Zoom just fail to use the right output device no matter what I choose in settings. I just have to make headphones the fallback device for anything to work.

But the most annoying thing is Linux somehow stealing the playback when my headphones are connected to multiple devices. Even when nothing plays on the computer but does play on the phone, there’s no audio. I have to disable/disconnect my computer to use headphones with phone when my computer is in range.

Visit takeout.google.com and select Google Podcasts to export your Google Podcasts data in OPML format.

I wonder when that became a thing. I migrated at the beginning of the year and had to manually add all subscriptions because Google Podcasts had no way of exporting anything.

I guess someone made a GDPR complaint.

The proof of work is the commit content itself! Unlike some arbitrary brute force task of no value.

Because text is text and all } are the same.

IT can look up the original (including all headers) based on the forwarded content. It’s on the same mail server.

It’s likely not financially viable to have separate teams for their many products that all have similar features.

Clearly Google doesn’t follow that logic because they have numerous competing chat apps. Even Google Maps has chat…

I switched to AntennaPod and am satisfied so far. No risk of getting stuck on a proprietary platform.

I thought that might already be true but luckily not. It also has arcs.

Sequential downloads are bad for torrents.

Also Chevron.

And she was just running random exe files from emails.

Why is this news? duome.eu has scraped this data and a lot more since forever.