tgv's comments

On: Rethinking Syntax: Binding by Adjacency

[tgv]

I don't think this is useful in complex situations/expressions. Structure has to be encoded in the same place as meaning somehow. Natural language does it by using an extraordinarily large set of signifiers. That's not feasible for a formal language.

You could of course affix all lemmata with structural information, as free word order languages do, but that's introducing syntactic structure via the backdoor.

On: The Government Told Courts It Could Easily Refund Tariffs. Now It Says It Can't

[tgv]

Who cares about a few Uygurs, right? Or the Chinese Seas. Or Tibet and Taiwan. You can say what you want, but China is not a silver lining.

[Herring → tgv]

Would you rather live next to a domestic abuser or a serial killer? That's the math a lot of countries are doing right now. It's hard for Americans to understand because they've never been invaded or even credibly threatened with invasion. (And yes, the US does plenty of domestic abuse too.)

[soperj → tgv]

Who cares about undocumented immigrants, or Venezuela, or Iran, or Iraq, or Afganistan, or Iraq a second time, or putting Iran into it's current situation by overthrowing a democratically elected government in the 1950s, or Hawaii, or the Virgin Islands, Indigenous people of North America etc etc.

[tgv → soperj]

I'm not arguing the USA is a good guy. Just that that doesn't make China any better.

[raven12345 → tgv]

China cannot be compared to the two warmongers, the US and Russia, in any dimension.

[drecked → soperj]

Or Cuba…

Another brilliant humanitarian crisis caused entirely by the U.S. for no good reason at all.

[spiderfarmer → tgv]

How is the US better?

[expedition32 → tgv]

To be brutally honest here: no. Nobody cares.

What people want is stability. Not endless fucking wars.

People in my country don't give a shit about Moses-Jesus. They do care about how much their fuel costs.

[serf → expedition32]

>What people want is stability. Not endless fucking wars.

this of course true for Tibet and Taiwan, too -- you just don't care because that's not where you live.

...and with that attitude globally, we get endless war.

On: Living human brain cells play DOOM on a CL1 [video]

[tgv]

The saddest part: it's for the money.

On: Z80 Sans – a disassembler in a font (2024)

[tgv]

This made me smile. What an astonishing combination. The oddball application of a font as a disassembler works like a wonderful practical joke to me. Merging parsing, processing and rendering into a single step feels mad genius.

On: Uploading Pirated Books via BitTorrent Qualifies as Fair Use, Meta Argues

[tgv]

Even if the court accepts the argument, it can be undermined by pointing out that they knew it in advance, or could have known, and thus accepted it.

On: UUID package coming to Go standard library

[tgv]

There's nothing stopping you from doing so. You don't have to use strict UUIDs. Their form rarely serves a real purpose anyway.

But for exposed values (document ids, customer ids, that kind of thing), it can be awkward if a patient's id is suddenly "CRANKY-...-FART".

[kstrauser → tgv]

If I discovered that were my patient ID, I would laugh myself into unconsciousness and buy the staff a pizza.

On: Ada 2022

[tgv]

It's ok, but not more than that. I dabbled a bit in Ada, and while that link has a lot of information, it's far from complete. Unfortunately, there isn't much more information on the internet. It can be difficult to find answers.

One thing that document doesn't mention is alire, which is a rather complete tooling. If you want to try out ada, check out https://docs.adacore.com/live/wave/alire/html/alire/index.ht...

I also learned a bit of SPARK, and there the situation is much worse. The Adacore link shows less than the bare minimum: I couldn't get my simple programs (AoC) to the "silver" level, where it passes all checks, let alone "gold", where you actually prove correctness. The rest of the internet is practically barren when you search for SPARK. I got a second-hand copy of Building High Integrity Applications with SPARK; John W. McCormick, Peter C. Chapin. It contains complete examples, and explains the concepts pretty much in depth. Unfortunately, the book is expensive, and since I was just dabbling, I got the cheapest, which was the 2015 edition, which lacks later changes.

There's an Ada forum (https://forum.ada-lang.io/), but it is not very active, and questions may not be answered.

On: A standard protocol to handle and discard low-effort, AI-Generated pull requests

[tgv]

My best guess: to show on their resume, in the hope it helps to land a job.

On: Show HN: Rust compiler in PHP emitting x86-64 executables

[tgv]

nxtfari is a less than half a year old account...

On: AI-generated art can’t be copyrighted after Supreme Court declines review

[tgv]

It's not about image modifications, it's about creation. Furthermore, half a similarity on a small aspect doesn't undermine the argument.