Readit News logoReadit News
stefncb commented on Petition to stop France from forcing browsers like Firefox to censor websites   foundation.mozilla.org/en... · Posted by u/Raed667
maxwell · 2 years ago
Petition? Mozilla should just ban usage in France if they pass this merd.
stefncb · 2 years ago
And what would that do, exactly? The government wouldn't care. In fact, they would probably be better off for it because everyone would simply switch to Chrome and there's one less browser to deal with. The only thing you'll do is make the problem worse and take away choice from the French people who want nothing to do with this bs.
stefncb commented on How should I read type system notation?   langdev.stackexchange.com... · Posted by u/mpweiher
agalunar · 2 years ago
This seems like maybe a right place to evangelize [1] the only hill I've decided to die on: the formatting of type annotations that use a colon in their syntax. Specifically, there should be an equal amount of space on both sides of the colon. I keep meaning to write a proper essay, but this is the essential argument.

I think of it this way: there are two symbols that by coincidence are written the same (two aligned dots). I mean that genuinely (as in, I actually think of them as separate things), but it also helps as an explanative device.

The first I'll call the prefatory or label(ing) colon. Its usage matches usage in English [2], where the text preceding the colon introduces the text after the colon, or the thing on the left is a label or name for the thing on the right. For example, it is used to start a block (as in Python), or to define a key-value pair, or define a name-value pair in a struct (as in C or Rust).

The second is the type annotation. This syntax is borrowed from mathematics. It is a binary relation, and binary relations are written with equal space on the left and right. Just as you'd never write "x= 1" (another relation), "x> y" (relation), or "x+ z" (operator), you'd never write "x: X". Instead you write "x = 1", "x > y", and "x + z" or "x+z" instead.

Whenever I see "a: b", I immediately think labeling colon. Despite having seen it thousands of times, I always have to perform an additional mental step (however trivial) when it turns out to be a type annotation; it takes a small amount of mental energy to dismiss each instance of syntax that looks wrong.

[Truthfully, I'm somewhat baffled how it would ever even cross anyone's mind when designing a language to write type annotations like "x: X" given the long-established, pre-existing precedent in mathematics and the way its semantics seem backwards (if you had to use a labeling colon, "X: x" would make much more sense to me).]

edit: I should be explicit that I'm referring to programming language syntax, and that I much prefer "x : X" over "X x" (there are good reasons I think for the type to be on the right-hand side, but other people have already written about that).

[1] "Evangelion" is a really lovely word, from εὐαγγέλιον good news = εὐ- good + ἄγγελος messenger, the double gamma pronounced even in ancient Greek as "ŋg" ("ng") rather than "ːg" ("g").

[2] https://en.wikipedia.org/wiki/Colon_(punctuation)#Usage_in_E...

stefncb · 2 years ago
Interestingly, the labeling colon is written with spaces on both sides in French.
stefncb commented on Ravenchord – A Radical Redesign of the Piano   whipsaw.com/2023/06/05/un... · Posted by u/anjel
NikolaNovak · 2 years ago
We'll see where it shakes out when it comes to art.

Even in myself I'm finding curious emotional responses: I'm now growing less interested in some of the more synthesized / formulaic types of music, and more interested in live performances / recording with real instruments. For visual art that is art, that to me usually needs some human emotion, message, story, path. For "art" that is placeholder or functional, yeah a lot of that may get replaced by AI.

My point to this particular article is though, if their sum contribution to the world is the analogue of:

1. Short one-sentence prompt to AI that's basically "piano, but tear-shaped"

2. 37 paragraphs of self-aggrandizing meaningless prose that actively deceives on the accomplishment and status of the thing

Then it's not "human creativity" as far as I'm concerned, or at least not one that I want to actively encourage (and in fact, as I mentioned, I want to actively discourage / not partake in).

In other words, I'm not saying AI should be doing the kind of things exemplified in that article rather than humans. I'm saying I don't want to see / partake those kinds of things [if not quite "they shouldn't exist":], and it's partially because they don't contribute any human creativity, as far as I'm concerned. That's very different from "not seeing value in human creativity", so I think we may have misunderstood each other there?

stefncb · 2 years ago
I find myself feeling some of the same things you describe. I don't really relate with the synth/formulaic music part, to me that's just another interesting form of human expression. But I guess that just goes to show how we all see the line in very different places; I think even my own opinions on this are sometimes inconsistent with each other.

But you're right, we probably misunderstood each other there. You definitely won the argument though :)

stefncb commented on Source code for Quake 2 rerelease   github.com/id-Software/qu... · Posted by u/steveklabnik
ramranch · 2 years ago
In case you were unaware, the source code of the original is included along with the re-release in this repository, as stated in the first sentence of the readme.
stefncb · 2 years ago
I think Zambyte just wanted to let the GP know that the code for the original had already been released before this one. No need to be mean.
stefncb commented on Banks hit with millions in fines for using Signal and WhatsApp   cnbc.com/2023/08/08/regul... · Posted by u/ikue
bombolo · 2 years ago
Never heard of it. Perhaps not in the entire europe?
stefncb · 2 years ago
I've lived in both eastern and western Europe and it's used a lot almost everywhere. As far as I can tell, the more Russian-influenced countries tend to use other services.

It's still crazy to me how people use Viber en masse in a lot of those places. The UX is abysmal and it's full of manipulative ads. Habits are hard to change.

stefncb commented on Ravenchord – A Radical Redesign of the Piano   whipsaw.com/2023/06/05/un... · Posted by u/anjel
NikolaNovak · 2 years ago
Not the op, but perhaps to put more charitable interpretation:

- if you're going to try to solve an actual challenge, improve on something, truly consider the design and purpose and limits and compromises and propose a different approach, brilliant

- but if all you're going to do is make a random somewhat pretty twist on existing thing, without actually considering the use, the purpose, the engineering, the what's and how's and why's, then... I'm kinda with him. What value did you add,that prompt to midjourney "create a spiral piano" wouldn't have?

stefncb · 2 years ago
I do understand the sentiment. I personally see value in human creation but I sort of get why others wouldn't.

I'm somewhat shocked by this overwhelmingly positive reaction to AI replacing human creativity so I may be overreacting? It just doesn't sit right with me — trading human subtlety for raw efficiency — but to each their own.

stefncb commented on Ravenchord – A Radical Redesign of the Piano   whipsaw.com/2023/06/05/un... · Posted by u/anjel
yieldcrv · 2 years ago
for me its even worse to imagine someone actually did this instead of prompting Midjourney

like if you’re going to waste everyone’s time, don’t waste your own too

just embarrasing

stefncb · 2 years ago
Even worse is implying that we should replace all creative processes with AI. I honestly don't understand what world you'd like to live in. One where humans do almost nothing interesting and instead ask computers to do it? That sounds depressing.
stefncb commented on Ice core scientists in East Greenland reach bedrock   news.ku.dk/all_news/2023/... · Posted by u/giuliomagnifico
adolph · 2 years ago
It responds to the comment "I only clicked on the article because I thought it was the age of the samples too." Age is "The length of time that a person or thing has existed." AD and BC are both absolute values from a zero point, both positive ("1 BC is year 0, 45 BC is year −44" [0]). A relative chronological dating by some phenomenological method such as radiocarbon or thermolumenescence might establish a negative date relative to some other known benchmark [1].

How might something dated from the future be found? I'm not certain, but maybe it has to do with aliens that are all the rage nowadays.

If I were 12 years old, I would have been born 12 years ago.

   2023
  -  12
   ----
   2011
If I were -12 years old, I would be born 12 years from now.

   2023
  - -12
   ----
   2035
0. https://en.wikipedia.org/wiki/Anno_Domini

1. https://en.wikipedia.org/wiki/Chronological_dating

stefncb · 2 years ago
Yeah, makes a lot of sense. Hadn't even thought about the difference between age and year when I wrote that.

Thanks.

stefncb commented on Ice core scientists in East Greenland reach bedrock   news.ku.dk/all_news/2023/... · Posted by u/giuliomagnifico
adolph · 2 years ago
If something has a negative age, does that mean it is from the future?
stefncb · 2 years ago
I can't tell if you're joking, but negative numbers are used to represent years BC.
stefncb commented on I claim Rich Hickey is wrong about non-null arguments to functions (2020)   blog.jonstodle.com/in-whi... · Posted by u/Capricorn2481
estebank · 2 years ago
The GP is referencing cases where inference can't figure out what the T is in Option::<T>::None. This can happen in the body of a closure without an explicit return type, for example. To solve it you have to specify the type either earlier in a place that helps inference (in the example, add a return type) or in the expression, like None::<()>.
stefncb · 2 years ago
Yeah sorry I apparently can't read, it was pretty obvious. Thanks.

u/stefncb

KarmaCake day237January 17, 2023
About
stefan@stefncb.eu.org
View Original