Skip Navigation
Posts
0
Comments
99
Joined
1 yr. ago
  • Assuming that it's just that person, that it's their actual name and that they're in the US...

  • Except there are no free lunches, literally.

    Parents still have to pay for part of the lunch.

  • 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.

  • That's an odd definition of non-public if the information is available to everyone. More like annoyingly public.

  • 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.

  • That's the case for many counties but that's only between the banks within that country because that's all that one government can require banks to implement. The EU has to do something to get things moving between counties, otherwise nobody is going to agree on anything voluntarily.

  • This is the crucial detail that everyone is missing.

    It's the same as with the Linux kernel GitHub mirror.

  • Now we know how much they're making with tracking and ads per user.

  • I might be the minority who was affected by this but how they handled the physical goodies last year was the last straw for me. Unlike all the spammy contributions that rush to it, I didn't rush creating some pointless PRs on the first day or whatever. My last PR finished its embargo period a few days before the end of October. They even sent out a congratulations email, but when I clicked the link and went to the website there wasn't anything there. Only when I checked their discord, I saw others with the same confusion and someone semi-officially saying they might've run out. It's obvious they didn't even ever consider running out and had no system in place to handle that.

    Other than that, some of the rules they introduced in recent years were also so detrimental to meaningful PRs even though they thought it'd motivate that, instead of spammy PRs. Clearly that didn't work at all and actually had the opposite effect in some cases. It was a lot easier to get spammy PRs counted than meaningful ones.

    I could rant in more detail about the latter if you're interested, but I'll refrain right now.