HNHacker News
TopNewBestAskShowJobs

crvdgc

591 karma · joined March 13, 2019

submissionscomments
crvdgc··on Report: 90% of nurses considering leaving the profession in the next year
> They may 10x their profit by serving elderly clients but that is assuming x more elderly clients would want to suddenly come.

Or by cutting the cost.

crvdgc··on My Many Girlfriends
> In Japanese, he or she is called バッチリ日本人. (^_^)

I'm only a beginner in Japanese so I might be wrong, but I don't think that's correct. (Or am I missing a joke?)

バッチリ means "perfect" or "fully prepared" and it's an adverb; 日本人 means "a Japanese person". I can't find anywhere stating this phrase means an illeist.

One way to say that is just 一人称を名前で呼ぶ人, which means "a person who uses their name as their first person pronoun."

crvdgc··on New York City will make it mandatory for companies to post salaries on job ads
> I'm not sure I'd trust a company who thought that software engineer value creation only varied by a maximum of 20% either.

But hiring is not evaluating a software engineer in general, rather it's to find a person for a specific role and a specific set of work to be done, a tighter range could mean better estimation.

crvdgc··on Ligatures in programming fonts: hell no (2019)
Ligatures help to convey the intended meaning of the code, which outweighs the rare case when they go wrong.

Programming languages' operators like == are actually ASCII arts for the convenience of the machines, never the humans. It is encoding a concept that is not representable in ASCII, so it has to be encoded by a conventional combination of two characters. When reading your own or others code, you have to do this subtle mental labor of decoding the ASCII art back to the concept.

Programming ligatures, on the other hand, alleviate this burden. They conform the intended meaning of the author. It's not a typographical problem, rather it's a communication problem.

For most ligatures, you can guess the underlying ASCII codes, and if you can't guess, you only need to learn once. In an editor or on a webpage, you can copy the code and paste onto something that doesn't have the ligature font enabled to learn its components.

The idea case is Unicode programming like Agda, but it has its own problems like not easy to type and find out how to type, lacking some operators, hard to read with small font size, etc.

Ligatures are a balanced option between the ASCII art and the Unicode programming. Not hell yes, but neither hell no.

crvdgc··on Windows 11 Officially Shuts Down Firefox’s Default Browser Workaround
On Windows, apps can register URIs for them to handle. For example, steam uses steam://. The actual behavior is determined by the app.

According to Microsoft's documentation[0], the microsoft-edge:// scheme opens the edge browser and navigates to the specified URL.

If what is claimed in the article is implemented, it will provide a way to bypass the default browser setting. The system will launch edge even if you set another browser as your default web browser, bringing the problem of leaking MS account information that comes with the edge.

[0]: https://docs.microsoft.com/en-us/windows/uwp/launch-resume/l...

crvdgc··on Pixel prevented me from calling 911
Am I missing the joke or something? You quoted a sentence from just above the updated statement that Google has confirmed the issue and working on solving it.
crvdgc··on Fe – An emerging smart contract language for the Ethereum blockchain
I don't know if it's the case with this language, but in general it is possible to limit the expressiveness of a language to achieve decidability. The language cannot be Turing complete of course, but for example, we can have a language with the same computation power as finite automata, which is Turing decidable, and sometimes enough for the use case.
crvdgc··on Show HN: MathLingua – A Structured Language of Mathematics
This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.
crvdgc··on Why Co–Star Uses Haskell
Haskell is used in one "not real world" project doesn't mean it can't be used in "real world" projects. Here is an article titled 7 Useful Tools Written in Haskell: https://typeable.io/blog/2021-10-18-haskell-tools
crvdgc··on Apple Silicon Macs can't boot from external drive if internal drive failed
Isn't the case described here the exact reason to keep the separation? To prevent a single point of failure?
crvdgc··on Facebook's own data is not as conclusive about teens and mental health
The first research [0] mentioned in the article uses the following ways to measure "adolescents’ academic, psychological, and physical wellbeing":

> Academic achievement (n= 2,020) was obtained from administrative records providing the end-of-grade standardized test scores for reading and math for the 2014–2015 school year.

> School belonging (n= 2,104) was assessed with the six-item Psychological Sense of School Membership23 self-report scale of school membership (e.g., I feel like a real part of my school; People at my school are friendly to me; [0] Not at all true to [5] very true), α= 0.84.

> Conduct problems (n= 2,103) were assessed using the 26-item Problem Behavior Frequency Scale24 of behavioral aggression and violence in the last 30 days (e.g., In the last 30 days, how many times have you …skipped school; stolen something from another student; [0] Never, [1] 1–2 times, [2] 3–5 times, [3] 6–9 times, [4] 10–19 times, and [5] 20+ times). This scale was converted into a count of reported problems (binary for each item rated >1 then summed).

> Psychological distress (n=2,104) was assessed using the six-item Kessler Psychological Distress Scale25 to measure the frequency of participants’ feelings of distress over the past month (e.g., During the past 30 days… about how often did you feel worthless; about how often did feel restless or fidgety? [0] None of the time to [4] all of the time), α= 0.66.

> General physical health (n= 2,097) was assessed with an item from the Add Health General Health and Diet survey26 (i.e., In general, how is your health? [0] Poor to [4] excellent).

I find it not surprising that having a social media account is not statistically related to the results of these measurements. And I suspect for example, being exposed to online sexual contents will also not affect as well. When talking about these things, I tend to be skeptical of behaviorism and feel like a more nuanced methodology should be taken.

[0]: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7570431/

crvdgc··on Things I’ve learned in my 20 years as a software engineer
On the edge of possible/impossible, ratios will lose their meanings. In the same way, you can say "Einstein is a 10,000x scientist."

Continuing with this analogy and using Kuhn's concepts, maybe it's better to bracket out breakthroughs (paradigm shifts) when talking about everyday productivity (normal science).

crvdgc··on Conterintuitive facts in mathematics, CS, and physics
> 6. Causation does not imply correlation: https://arxiv.org/abs/1505.03118

And in the paper, from the abstract,

> We demonstrate that the Faithfulness property that is assumed in much causal analysis is robustly violated for a large class of systems...

In preliminaries,

> The Faithfulness assumption is that no conditional correlation among the variables is zero unless it is necessarily so given the Markov property.

So probably a more accurate laymam description would be "not all causations are observable as a statistical correlation relationship".

crvdgc··on Conterintuitive facts in mathematics, CS, and physics
I find a response video to it more enlightening. It's often found as the number one related video.

https://youtube.com/watch?v=YuIIjLr6vUA

crvdgc··on The NSA and CIA use ad blockers
The reasoning here is not the dissonance in behavior, but dissonance in belief.

A person can believe alcohol is not harmful to humans health without consuming alcohol, therefore it's morally acceptable if an alcohol producer does not consume alcohol.

But if they don't consume alcohol because they believe alcohol is harmful, while advertising (explicitly or implicitly by helping the alcohol company) that it is not harmful, then that is dishonesty. Because in this case, the person purposefully acts like they believe something for personal benefits, but actually they don't.

crvdgc··on Rouille
> fonction écrire(

I love how in the README, the syntax highlighter doesn't pick up letters with diacritical marks.

crvdgc··on Atomic Gardening (2017)
When China began their space missions, one of the experiments is to make "space seeds" which are seeds mutated from space rays.

It seems like this effort continues even up to now [0].

[0]: http://www.chinadaily.com.cn/a/202101/04/WS5ff25229a31024ad0...

crvdgc··on How do I manage an employee who doesn’t need the job?
Her negotiation power is beyond the control of the manager. Despite the contractual relationship, it is actually her hiring the company to fulfill her needs, since they are so dependent on her. The manager's job in this scenario, is not representing the company to her, but representing her to the company, i.e. adjust the company's policy to avoid losing her.
crvdgc··on Why is learning functional programming so damned hard? (2019)
Specific to the "jargons" the author talked about. I find recent introduction level Haskell books actually do a surprisingly good job covering all the concepts the author mentioned. And they don't suffer from the online learning material problems.

The two books I read and can recommend are Programming Haskell by Graham Hutton & Get programming with Haskell by Will Kurt.

Another source that helped me a lot is the video series Category Theory by Bartosz Milewski [0]. It requires basically no background on category theory and defines all the concepts along the way. Bartosz also uses Haskell code as examples. You only need to know the syntax up to type class to understand.

As for the awful experience people get from learning Haskell, I think it depends a lot on people's expectations.

Most people only learn one language from school or early career, and then migrate their experience from one language to another. You don't learn the concept of "stack" twice, you only "learn" how to express them with a different syntax. So people can "learn" new languages with significantly lower effort than they learned the first language.

And when they find Haskell or other ML-family functional programming languages, they can't find the corresponding concepts in their known language. This time people actually need to learn new concepts as they learned their first language.

The experience is very similar to learning algorithms or OOP design patterns. And I don't think it's harder to learn Haskell up to the level mentioned by the author than e.g. reading the gang-of-four book.

[0]: https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa...

crvdgc··on TikTok overtakes Facebook as most downloaded app
I went through some TikTok accounts that aim to be informational. Even for the basic type of people talking to the camera, the content density is indeed higher than some YouTube counterparts.

The problem I see is that there's an upper limit to the quantity of information even with this higher density. And that's a hard limit on the range of topics that this format can cover.

Furthermore, I don't think this can be solved by simply increase the time limit as well, since people can't maintain the same level of attention for a long period of time. Say the content needs 60s with max density. It usually needs to spread out to 120s with lower density for it to be understood better.

For the informational content I consume on YouTube, in a 10min video, the parts that can be removed are usually 30s of opening and 30s of closing. For the rest, though it has lower density than TikTok, I don't think it's possible to compress that much and the low density is in some sense necessary.

Of course, this is specific to how people use YouTube and TikTok. And though I am unlikely to use TikTok from this experience, I still appreciate your input.

crvdgc··on TikTok overtakes Facebook as most downloaded app
As a non-user, I am genuinely curious about what are some concrete examples of productive contents? From my understanding, the only format of communication on TikTok is videos with a short time limit. I'd imagine it is hard to convey much to be considered productive.
crvdgc··on Mozilla Common Voice Adds 16 New Languages and 4,600 New Hours of Speech
Thanks to the design of the language, each letter of Esperanto has a fixed pronunciation, and the stress is always on the second-to-last syllable. So after you learn the alphabet and some diphthongs, you are able to pronounce every Esperanto text in the canonical way (even if you don't know a single thing about the meaning). No exception. This is also a great feature for self-learning.

Of course, it takes time to fluently "read out" the words, and in practice, it's much easier if you just know the word and pull the pronunciation from your memory.

For the Common Voice project, there are usually two or three words in a batch of five sentences that I don't know. And there are unfamiliar places and names, since most of the text come from Wikipedia. In such case, I'll take my time to use the spelling to infer the correct pronunciation and practice it several times, until I can put it into the sentence. Then I'll record. And I know it must be correct.

If I am not sure about the meaning of the new word (you can usually guess from etymology or word formation), I look it up in the dictionary and learn a new word.

crvdgc··on Mozilla Common Voice Adds 16 New Languages and 4,600 New Hours of Speech
> Esperanto is a hobby language for upper-middle class people in developed countries.

I wonder what gave you such an impression of Esperanto. My personal experience of Esperanto is quite different.

I started to casually self-learn Esperanto about one year ago as my second foreign language apart from English. After about half a year, I was confident enough to join online Esperanto communities and it gave me a surprisingly much more diverse experience than any community I had encountered on the Internet.

For example, in an online chat group, active users mainly come from US, South America, and Russia. As an person from East Asia, there is little chance for me to get in touch with the latter two groups otherwise. And there are often new users from South America who speak only Spanish and Esperanto.

I myself do not identify as a upper-middle class person, and I don't know enough to assess other Esperanto speakers' class status.

The impression of Esperanto speakers being upper-middle class may come from the fact people learn Esperanto as a hobby. But people not in the upper-middle class can have other hobbies, why is Esperanto different? It doesn't come with the many benefits that people may expect from learning a "practical" language, but it takes significantly less effort. I'd say it's about as hard as learning a new instrument. So it is not that exclusive to only upper-middle class people.

After one year of casual learning, I am now able to contribute to the Common Voice project in Esperanto (175 recordings and 123 validations) and I actually use it as a source of learning material.

crvdgc··on Chinese breakfasts are almost beyond the imagination
The article mainly focuses on the south-eastern cities near the coast. There are many more choices in the western and northern China.

And nowadays, you can find all of them in big cities like Beijing or Shanghai.

crvdgc··on So you want to self-publish books and courses on programming
Issac Asimov wrote a similar essay in 1974 called The Ancient and the Ultimate.
crvdgc··on A YouTube chat about chess got flagged for hate speech
Scunthorpe problem [1] is used to describe the false positives for auto filters, which are often results of naive substring matching. In a way, the current problem is similar, but on the semantic level.

However, it doesn't cover other cases for other AI mistakes you mentioned, like self-driving.

[1]: https://en.wikipedia.org/wiki/Scunthorpe_problem

crvdgc··on Windows 365 Cloud PC
> Finally, encryption is used across the board. All managed disks running Cloud PCs are encrypted, all stored data is encrypted at rest, and all network traffic to and from your Cloud PCs is also encrypted.

That being said, this level of deep integration means that the moment you boot the cloud PC, all of the data are potentially very vulnerable on the software level.

crvdgc··on Beetle walking upside down under water surface filmed in Australia
I vaguely remember there's a science fiction story about an underwater civilization where the buoyant force servers like gravity for us. Since the force points outwards, for that civilization, the planet is "up above" their head and the space is "down below".
crvdgc··on Tencent deploys facial recognition to detect minors gaming at night
I don't know if it's deployed in this case, but some facial recognition process in Chinese apps like Alipay requires the user to turn their face left and right to a certain angle, and the whole continuous movement is used for verification.
crvdgc··on Many people don’t want to work unless it’s from home
One downside of remote (only) work is that the employer is less likely to sponsor a visa. I encountered this problem recently, but after I get the residency permit, I'll be glad to work remotely.
← PreviousPage 6 of 7Next →