Hacker News Reader

The difference is that 32bit x86 is old tech becoming obsolete, whereas risc-v is on the rise.

yau8edq12ion Deutsche Bahn introduces "MetaWindow"

Nobody outside of tech circles actually cares about how facebook's parent company is called this month. It's still facebook, it's still google, it's still twitter. Not meta, alphabet or x.

yau8edq12ion Raspberry Pi Ltd is considering an IPO

Uh? All the time??

yau8edq12ion Translation of Rust's core and alloc crates to Coq for formal verification

> But cock is as universal a swear word as you will find on this planet.

It's not, though. Come to France, say "coq" - people will wonder why you're talking about roosters all of a sudden. Holy Anglo-centrism, Batman...

yau8edq12ion What went wrong with UniSuper and Google Cloud?

A press release isn't an academic document, though. I don't really see how academic style is relevant here.

yau8edq12ion Translation of Rust's core and alloc crates to Coq for formal verification

I am extremely skeptical about the idea that 10% of the population has a phobia of serpents severe enough to avoid learning a programming language named after a kind of snake.

yau8edq12ion Translation of Rust's core and alloc crates to Coq for formal verification

"Coq" is also the first letters of the creator's name (Coquand).

yau8edq12ion Raspberry Pi Ltd is considering an IPO

Completely different beast. Raspberry pis are full blown computers. Arduinos are microcontrollers with a little supporting circuitry. Even a pi zero beats a standard arduino out of the water.

yau8edq12ion Protecting your email address via SVG instead of JavaScript

That's a different thing, though. Not sure why you'd make this point.

yau8edq12ion Becoming an Amateur Polyglot

You do realize that B1 is lower intermediate level...? This isn't exactly the flex you think it is.

Besides, learning a language isn't about exams or certifications. It seemed to me that we have very different ideas of what learning to speak a language means, and your answers confirm it. That's fine, but I'm not sure what there is left to discuss, then.

yau8edq12ion Becoming an Amateur Polyglot

Words that start with a "è" sound typically have an "H" as a first letter.

yau8edq12ion Becoming an Amateur Polyglot

No, you're not a "polyglot".

yau8edq12ion Becoming an Amateur Polyglot

Really? Try to pronounce "ecole" (I'm omitting the accent on purpose). Does it sound like the end of "café" or the first sound in "mère"? It's impossible to confuse the two. I'm really curious as to how you manage not to distinguish them while claiming to speak the language. That's what I meant when I said I thought you are mostly communicating in writing - if you actually speak the word, you'll never be confused about it...

yau8edq12ion Becoming an Amateur Polyglot

I must say, I'm really skeptical of all these apps. I've tried pretty much all of them (well, not literally all of them, but a lot). I've had to move/travel quite a lot in my life, and I tried to get a "head start" on learning the language, with a different app. Every time, going to the country, I quickly realized that I could not speak the language. At best I could read it and produce with effort some sentences that natives have trouble understanding themselves. And then, after immersing myself in the language for a couple of weeks, I was much, much better than anything I could have achieved with the app.

Most apps focus too much on impeccable grammar (even if they usually restrict you to a few tenses/moods) and rote, non-contextual vocabulary learning. Both are, well, useless. Having perfect grammar but not knowing when to use which verb in which context won't get you far. It's like trying to learn how to code in some programming language by studying the formal syntax and rote memorizing a bunch of core functions from the standard library. You miss out on everything that actually makes a language.

All in all, it feels like this post was written by someone who mainly communicates (or learns to communicate) in foreign in writing.

> Forget intonation if it’s not entirely necessary. Especially in French, there is no need to learn if a word takes a ` or ‘.

I can't let that one go, sorry. You don't need to learn perfect spelling, but it's going to be obvious most of the time if it's é or è when you hear the word. And if you pronounce it weird, you will get confused looks. In English, do you "need" to learn if a word takes "o" or "u"? People who were raised with certain native languages cannot even hear the difference anyway, so why bother, I guess? I hope this makes my point clear.

yau8edq12ion Avoiding the soft delete anti-pattern

Why give the possibility to the user of deleting a customer, in that situation? Having orders pointing to inexistant customers sounds rough.

yau8edq12ion Scientists Find an 'Alphabet' in Whale Songs

Where did you learn this definition? It's the first time I hear something like this. I very much doubt that it's a generally accepted definition.

yau8edq12ion The derivative of a number (2014)

In an informal conversation, the equivalent of a forum like HN but with my real name? Sure, I would have no problem saying out loud and unanonymously

> "it wasn't on Wikipedia" is hardly an excuse when it comes to ethics

which is what I actually wrote, in a post where I'm not even talking about the particular situation. I expressed dismay about a failure to properly attribute ideas, and then I explained that I don't care about what was written in 2014 on Wikipedia, experts should know better anyway. If you've decided to read an accusation in what I wrote, that is absolutely on you. The most negative thing I wrote about the author was:

> You'd expect an emeritus professor to have enough time on their hands to check their sources...

And, again, I would have absolutely no problem saying that in public with my real name. I've said much "worse".

yau8edq12ion The derivative of a number (2014)

You don't need to reply twice to make your point.

> Would you have found out about those earlier sources without Wikipedia?

I'm not an expert in this domain. The author is.

yau8edq12ion The derivative of a number (2014)

Look, I'm a professor of mathematics at a research university. If I decided to use Wikipedia as my sole source for deciding who to credit for what, my papers would get rejected when they inevitably become wrong. "it wasn't on Wikipedia" is hardly an excuse when it comes to ethics. What is known by the average Wikipedia editor is not what is known by experts in the field.

yau8edq12ion The derivative of a number (2014)

I'm talking about the author of the article, Lipton. Not Barbeau who is the subject of the article itself, not its author.

yau8edq12ion The derivative of a number (2014)

No, that looks wrong. Take c = 2, for example. You seem to be saying that p^2 ought to be a solution. But D(p^2) = 2p (because D(p^2) = D(p) p + p D(p) = p + p = 2p).

yau8edq12ion The derivative of a number (2014)

It is, indeed, not differentiation in the sense you're used to. Here it just means a map that satisfies the Leibniz rule, (fg)' = f' g + f g' or D(fg) = D(f) g + f D(g). Maps with this property are usually called "derivations".

Although you might also want to consider that "integration" (really, indefinite integrals, AKA antiderivative) is only defined up to a constant. So why couldn't it be the same for this "number derivative"? Perhaps the "antiderivative" is only defined up to something. It'd be a fun exercise, if you're interested. Can you figure out under what conditions do you get D(a) = D(b)? Put differently, given an integer c, what are the solutions to D(x) = c?

yau8edq12ion The derivative of a number (2014)

The article also contradicts Wikipedia, e.g., the article claims that Barbeau introduced the derivative in 1961, but Wikipedia gives several references to Shelly's definition of the derivative in 1911. You'd expect an emeritus professor to have enough time on their hands to check their sources...

yau8edq12ion Jim Simons has died

Memorial service? What are you on about? In all likelihood, nobody here had met the guy, and HN would hardly even be on his radar. Picture yourself at a coffee place discussing some celebrity's life event and maybe it won't be so weird anymore.

yau8edq12ion Jim Simons has died

https://en.wikipedia.org/wiki/Jim_Simons_(mathematician)#Pol...

> Since 1990, Renaissance Technologies has contributed $59,081,152 to federal campaigns and since 2001, and has spent $3,730,000 on lobbying as of 2016.

Let's not kid ourselves, people at this level of wealth and power can very much make their voice heard by the people who make policy. He's definitely not the only one in this position, but to frame him as a "better casino player" who is "not really dictating anything" is naive at best.

yau8edq12ion Caniemail.com – like caniuse but for email content

You must be joking. I write and receive emails containing lists, hyperlinks, or blockquotes all the time. I don't need the last flexbox technology, but some formatting is important.

yau8edq12ion ESP32-S3 has a few SIMD instructions

Nobody said that espressif steals IP from ST.

yau8edq12ion AM radio law opposed by tech and auto industries is close to passing

I literally quoted the conclusion of the linked snopes article.

yau8edq12ion ESP32-S3 has a few SIMD instructions

Without the builtin radio it's really hard to justify the use of an ESP32 over, say, an STM32. The integrated small package with "everything" to make a fun project is the whole appeal.

yau8edq12ion AM radio law opposed by tech and auto industries is close to passing

That conclusion?

> Whatever the case may be, the available evidence behind this tale appears to be purely anecdotal and not verifiable at this point.