skysight-inc/HackerNews huggingface dataset:
Real thorough math right there (quotations from your article):

> "[IQ] ends up selecting for exam-takers, paper shufflers, obedient IYIs (intellectuals yet idiots), ill adapted for “real life”."

> "It is at the bottom an immoral measure"

> "If you want to detect how someone fares at a task, say loan sharking, tennis playing, or random matrix theory, make him/her do that task; we don’t need theoretical exams for a real world function by probability-challenged psychologists"

> "Only suckers don’t have that instinct."

This is just a trash article by a bitter science denier. IQ-deniers are for me not much different from anti-vaxxers. Yes, you are free to criticize aspects of the test but there is no denying that people have different thinking speeds, as "immoral" as that fact might be.
That's your intuition, but in practice we find that this is not how it goes down. The truth is these videos work on many impressionable people that can't see past the (thin) veil.
> There's no democratic principle that forces you to listen to all opinions

Not listening to an opinion, and declaring it invalid without actually addressing it, are two very different things. Reducing the visibility for others so they don't even get to make up their mind is a step beyond even that.

> To hold different opinions and to be aware that other people think differently on the same issue shields us from Godlike certainty which stops all discussion and reduces social relationships to those of an ant heap. A unanimous public opinion tends to eliminate bodily those who differ, for mass unanimity is not the result of agreement, but an expression of fanaticism and hysteria.

-- Hannah Arendt
The environment which could produce that synopsis is covered in the article pretty thoroughly though. There was always going to have to be some face-saving historical reconstruction of what happened. If the Gibson’s were frequently racially profiling, then this was a case of the students being morally right, if strategically incorrect, even legally. They were outmatched and outwitted, but remember we fought the right fight etc.

It’s not the most unfair historical maneuvering ever, there is at least some culpability taken though. But for people outside of the distortion field...
It's about time that people stopped regarding declining population as a threat and started treating it as an opportunity instead.

As my former boss often says, we don't have problems only challenges.
Just pick one that does not need much research to get properly installed. It’s about learning the concepts, especially in the beginning.
At uni they made us learn two programming languages that have no use in real wold jobs to teach us concepts, one was even a functional one.

Python seems to be easy enough to begin with and useful enough with its libraries and frameworks to be the language for data scientists. That’s a good point to start at.
As are ruby or java or JavaScript.
This problem is solved by better education, not censorship. I know for a fact we currently don't teach people how to tell whether a youtube video is bullshit in school or not, teach it. People are agents, not pawns to be controlled into thinking what you want. There will always be bad apples.
What Car? Real Range: which electric car can go farthest in the real world?
Will censorship apologists claim this isn't censorship, because "no-one is owed a job", or "they're private companies that can do what they like", then link to this 'insightful' comic https://xkcd.com/1357/ ?

I know this comment may seem shallow and argumentative, but these arguments regularly show up when the speech is unpopular, to explain why it's "not censorship".
It is concerning. I've seen spanish keywords there and I can't wrap my head around the reason they are filtered.
You could consider Iran a case. Iran decided that it wanted to "default" on "buying" BP & co.'s assets.
1. I mentioned why dependent types are not as good, in my opinion, as other verification methods. They are not flexible in the choice of verification method, and the method they're tied to is the worst default a programmer could want.

2. It's not a very precise statement, I mean that you can fully describe and understand what it is they do. After all, when you verify a program, you want to check certain properties that are of interest to you (because they're requirements). So you can ask and answer questions like what it is that they do, are there values of p for which foo always returns false? Values for which it always returns true? Values for which it sometimes returns true and sometimes false? And yes, your question, too, "there exists n such that `bar m == False` for all m > n?" The answer is no, and it was proven by Euclid: https://en.wikipedia.org/wiki/Euclid%27s_theorem

In other words, if two different programmers were writing foo and bar (as is often the case in software), each would have thought -- without knowing of the other component -- that pretty much any property they want to state about their component could be rather easily proven.
OAuth2 can handle this; you authenticate the mail client with an offline token that's valid for a long time. The mail client can refresh their tokens regularly and use a short-live token to authenticate their JMAP requests.

OAuth2 doesn't particularly care how the token is obtained, so it can handle any arbitrary authentication flow, including WebAuthn.

And it's a widely supported protocol; there are libs for C++, Java, Go, JS and others, so it should be easy to integrate.
It’s still a fair point to wonder whether that’s +0.05F +/- 0.001F or +/-0.07F

I suspect it’s more like the former, but I also wonder.
Buddhist temple in Japan puts faith in robot priest
The alternative is having a giant corporation heedlessly promote lies which will get people killed.

"You shouldn't be able to poison the well" is not invalidated if the well is owned by a corporation.
And they wonder why the people that need mental health help the most never get it, and why we have such a growth in extremist violent events.

(Bonus:"They" don't actually wonder it. Extremist events are great excuses to amass more power to the powerful).
it’s just a bit funny that you included the parenthetical about your own experience, which mostly just serves to make sure you are also labeled as “very smart”. your whole
point could be made in general without signaling this to the reader. :)
Vue.js Revised Composition API (Revised from Function-Based API)
Anti-sex toilets to spray users with water jets
Burnout perhaps ?

I think depression can cause color perception loss (not complete, but colors fade out).

Also when getting used to a second or third language (i.e. french _ english) one can temporarily get overwhelmed and have difficulty to switch to either of them. I never came accross literature on this, but personaly experienced periods of a day or more where I felt I just couldn’t speak anything. Asking friends moving to foreign countries some of they hit the same issue.

At that time at least in France “specialist” would tell the most random diagnostics with a straight face and it was pretty normal to go get a second opinion for anything more than a cold. Nowadays they know patients have at least googled symptoms and try to ecplain more of their thinking behind diagnostics IMO.
It's not a hypothetical at all. This is bound to happen sooner or later. You don't want it to happen even once. Food reserves only go so far - and if you use them for this very foreseeable problem (you just don't know when exactly) you leave yourself more open to the unforeseeable catastrophes.

And yes, there is a very good point talking about hypotheticals on such literally vitally important topics.

> People in the US die because they cannot afford medical costs, the US is perfectly happy with that.

Maybe the difference is that sick people don't riot? If I remember the already mentioned "The Omnivore's Dilemma" correctly the current agricultural policies among other factors mentioned there also were created because of civil unrest due to food shortages, to prevent it from happening again. I can find plenty of sources for food riots, I have not read about anything similar caused by medical costs.
For IMAP already, there are three main approaches to logging in that get used: use your main password for the service to access IMAP, use a separate token for each client (“app passwords” is the most common term of art, and what we call them at Fastmail), and OAuth, which can then have whatever restrictions you like, 2FA or whatever. IMAP providers each support one or more of these techniques. (At this time, we support the second. Gmail supports the third and, if you have “less secure apps” turned on, the first.)

The JMAP core deliberately doesn’t express opinions about authentication technique, because that’s a divisive topic where there is no clearly right answer. We shall see what happens there; conventions will rise.

For Fastmail’s internal JMAP usage, we have our own authentication flow, which will entail 2FA if you have that set up on your account. I cannot remark at this time about what our plans are around authentication for public JMAP access.

But this is my conclusion here: look, I love JMAP, but I don’t believe it actually changes anything on this front over existing email protocols.
> People are agents, not pawns to be controlled into thinking what you want.

I have some bad news for you about the world's largest advertising company.
Yeah, they'll let anyone with a couple hundred bucks sit for the FE. The chances of getting a PE or even an EIT, though, without a degree are... slim to none. But that's not really my goal? (I mean, it would be if it were just tests) Mostly I just want to know those 'absolute basics' of which you speak, and I like to have a test to study towards.

I'll check out that edx class, thanks, that sounds like my thing.
Why Your Developers Should Support Customers
Startup Hablo
HI everyone !!!!
I am Mousser Rahmouni cofounder of startup HABLO. I would like to share with you our solution that will be launched on October and i would like to have feedbacks.

HABLO is a device placed near babies that detects crying. It’s connected to a mobile application that analyzes, decrypts and alerts parents through an algorithm of AI

What do you think ? Any suggestions ?

Thanx ;)
It's nice to see this comparison, but what do these ranges look like after 5 years of use on those batteries?

The temp was set to 18C (64F). What about -18C (0F)? What about 38C (100F)? The worse case is far more determinitive and important.
You say that, but there are plenty of people with books and spots on TV that say the exact same things about 'culture' and they mean 'white' (and say it explicitly). It's a way for people to make an argument about something that doesn't need numbers or data, since immigrants rapidly become a net positive on the economy and commit less crime.
Thanks, your and the other replies left me better informed than before.
How those alerts work technically? They are SMS with special header or entirely separate message type?

(eg. in Poland alerts are sent as plain old SMS)
And it will take decades more to bring everyone up to western levels of consumption so there will be plenty of unsatisfied demand for a long time. Long enough to think up responses to this challenge.
Por que no los dos?

Seems like it’s a threat for countries that depend on a growing work force to pay pensions for retirees. But a benefit for a strained planet.
> Partial function is a standard mathematical term, not a programming language (PL) one

Like many things in mathematics, the term has been borrowed and changed. Look, for example at "function". Do you think "function" in programming (even in Haskell) means the exact same thing as in mathematics?

In general, partial functions mean that for some values, a function is undefined. But in a PL nothing is undefined. In some cases there would be an exception; in others the subroutine would loop forever. But a language like Haskell, because it wants its "functions" to resemble mathematical functions, declares that those perfectly normal computational behaviors correspond to "undefined". In imperative languages, where subroutines don't try to correspond to (partial) functions, throwing an exception does not correspond to undefined.
Yes. That protocol is effectively part of HTTP now.
Intelligence is orthogonal to financial ambition and work ethic.

There's no particular reason why someone with a high IQ would (e.g.) want to build a startup or any other kind of business, or would necessarily have a talent for corporate politics.

It's just as likely someone with a high IQ would consider corporate culture pointless - even stupid.
There is a lot of money and power in shaping what is considered to be true.
'We’ve got all these tech companies filled with very young, very inexperienced, often white boys...'

Wow. I got a taste of this attitude studying my MSc in early 2000s. We were forced to attend a couple of men-bashing lectures because the programme had apparently been criticised for being 'too technical'.

It was an Info Science masters; technical was what I was after when I signed up :|
Lazyness.

As someone who did coaching for lonely high-IQ guys, I know firsthand that there are lots of self-absorbed lazy pricks that feel like they deserve to be successful and loved just because they're intelligent. And the advice I hand out is always the same:

This world is run by normal people. Learn the ways that normal people use to express their emotions.

That regularly incites complaints, like the usual platitudes that they just want to be loved for who they are or that true love should just happen by itself. But the simple fact is that many of these intelligent guys feel like it's either too much work to learn about how normal people talk, or they are too arrogant to do it.

Especially when you use a lot of brainpower in one area of your life, it is very tempting to slide into intellectual laziness in other areas of your life. Lowest common denominator slapstick comedy is quite popular with my high-IQ friends. Nobody is super clever all of the time.

Also, I find it fascinating that the article presupposes that high IQ should lead to success, as pure intelligence is mostly just useless. Being rich is obviously helpful to your friends. Having good genes or being athletic is also obviously helpful for many tasks. But for intelligence, the skills that you derive from it are the important part, not the intelligence itself. And if you use your intelligence and your superior learning abilities to learn a useful trade and become a good communicator, you will most likely end up being successful. So this article is similar to asking: "People with strong biceps, why are you still unsuccessful?"

And lastly, I don't buy the concept of a communication range. Most deep connections are made by sharing emotions. There's no reason why your talking partner would need to understand the specifics of your mathematics problem, in order for him/her to be able to relate to you feeling frustrated about it.
Thanks, I should have researched the HVDC interconnections, I didn’t expect them to be this relevant. Very interesting!
Not really. Most cameras don't have the dynamic range needed to either full see where the beam is pointing, or cope with near objects.

Infra-red cameras work, but RGB not so much (well not in the <$400 per CCD price point)
I thought it was going to be about speakers that send out some kind of noise to keep the whales away. It's not: it's about microphones on buoys that listen for whales, send alerts to scientists, who then alert ship captains in the area to voluntarily slow down.

However, the article also notes that ship captains are already ignoring warnings to slow down, and there are no penalties for going fast and hitting whales, so...
Contains predictable reddit comments of never working a millisecond of unpaid time.

That’s certainly a choice; there’s nothing wrong with it.

OTOH, if you enjoy coding (as I do), there’s also nothing wrong with coding at home or doing the occasional extra work from home (and conversely, dicking off in the office now and then when there’s an opportunity).

Many find that being flexible like this yields a better outcome for all parties.
Ok, point taken on underwriting and excluded risks, both of which are closely regulated and create legal commitments which insurers scrupulously honor by paying claims.

I think in any organization when management constantly is trying to squeeze costs there will be instances of incompetent conduct (which folks on HN will quickly note is often indistinguishable from malice). That said, if an insurer denies claims where liability and damages are reasonably clear, or abuse legal processes-- both of those are torts, legal fees are often available for the successful party, and if you feel you've been wronged by an insurer in any of those ways by all means go speak with a bad faith insurance attorney and good luck.
Sounds like embellishment, but Scott Adams in a semi-popular known case lost the ability to speak... but could still sing. It seems like the brain somewhat partitions off language abilities and in cases of loss, one or the other can still be used. IIRC people have lost ability to speak one of the 2+ languages they're fluent in.
another option is to take advantage of Gitlab's shared CI runners for small side projects
Its a lot of work. Its useful if you want to merge platform with other departments.

However for a small team, I don't think its a great fit, yet.
Not sure I understand the question. What's your threat model?
> orders of magnitude fewer defects (in terms of the code not doing what the programmer intended; the programmer not understanding what some other human intended is still as big a problem as ever) in practice.

I don't see that, and I'm not aware of any report that reports that.

> It's interesting how little value that actually brings in ordinary commercial development, but the correctness techniques will be there when the industry is ready for them.

Except that in some cases it's already true. Companies like Amazon and Microsoft are seeing great value in using TLA+ and other formal methods, and now management encourages engineers to use them. I just don't see it for Haskell. Facebook is a good example, as they invest a lot in correctness research (both formal methods, like Infer, as well as inductive methods for automatic bug fixing and codegen[1]) and they also use some Haskell. But they're pushing hard on formal and inductive methods, but not so much on Haskell. I don't think correctness is a problem that cannot be addressed, and I believe there are techniques that address it. I just don't see that Haskell is one of them.

> Development cost is much harder to measure; I'd argue that some systems developed with Haskell-like type systems would simply not have been possible to make without them, but that's the sort of question that's very difficult to answer objectively.

You cannot claim that your technique is important and at the same time that it's effects are hard to see. I addressed that here: https://news.ycombinator.com/item?id=20718734

[1]: https://youtu.be/9QvcUNBPw4A https://youtu.be/2WIwx02t4PQ
We already got one. It’s called cash Money
Welfare recipients spend every penny they receive so it contributes to the economy by keeping money moving.

It's not a zero sum game.
Per capital growth is also not sufficient. Such a metric could easily be achieved by slowly reducing the population to 1. I might propose some analog of total output minus population growth as a better metric.
The word "rape" in this context is taken to mean abduction. This is then followed by the integration of the abductees into the abductor's society.

From the article: "At the festival, Romulus gave a signal, at which the Romans grabbed the Sabine women and fought off the Sabine men. The indignant abductees were soon implored by Romulus to accept Roman husbands".

That the second phase may have employed carrots as well as sticks does not detract from the fact that the Romans have thereby managed to expand their reproductive capacities while simultaneously contracting that of the rival Sabines.
If we don't want the entire earth to looked like mumbai, i'd say it's even the only way to go.

Space is not going to save us any time soon, people suck at restraining themself and given our current situation we can approximate our planet to a close system with finite resources.

So yeah, I'd go with less babies. Or more deaths, but one is more pleasant.
I would gladly accept lower pay at a startup than working at a megacorp.
In my view, the fact the megacorps offer better job security and still have to pay a premium for employees, just show that the jobs aren't that attractive/enjoyable etc.
Let's say an event occurs and you know a particular stock will go up 20% but you pump enough money into the stock to make the stock go 30% and then you let others chase the stock and publish news about this market move through media houses / content spamming / fake accounts. Then you short the stock once you get the desired movement and finally you remove the money from this stock so it goes into free fall and all people start selling. Finally, you close the short position when you notice there is no room for stock going further down. Now let's say stock ended up at 10% so you buy more stock so it goes 15% just below what you initially predicted.

Assuming you've billions to move the stock.

Why such strategy will not work?
Perhaps it is not the taste but the shape/size and consistency of the boiled grain. For those who don't know, it looks like Kellogg's Smacks, but more chewy, and it can feel a bit strange to chew or to swallow.

I like it as well, nevertheless.
The slow mail client issue you’re describing is very probably an artefact of how IMAP IDLE is designed; JMAP fixes this design, as explained at https://jmap.io/#push-mechanism.
Blender has a solid history of having paid development. If they need a feature really bad, they can pay someone to implement it. This is not an option when using closed-sourced applications.

Instead of paying X dollars per year in licensing costs, you can spend that money on getting features you really need.

Check out https://www.blender.org/press/industry-support-for-blender/

Several companies have paid devs working on specific areas of the program that they want improvements in.
Its a strange thing how co-incident "optimizing for the majority" is with "killing open standards" and "Google specific features"

A real strange thing...

Not to worry though, I'm sure Google is just doing it for everyone's best interests, like the charitable organization for humanity that they are.
Nowadays Python is a good start, but you can't really go wrong with any of the most popular ones like Javascript, Java, C/C++ or C#.
GraphCast: Follow the Money
Chrome addons are not capable of doing FTP.
Plea deals are usually a reduction in the severity of the same charges.

Causing the death of another person typically comes in the "accidental but negligent", intentional but not premeditated, intentional and premeditated.

Or in final fantasy terms
- Manslaughter
- Homicide
- Homicidaja
- Homicidaga

A plea moves you from Homicidaga to Homicidaja.
Sabbath: The Least of These
The confusion is about a word that I didn't use. I said that both subroutines "terminate". That is a word with a precise meaning in computation -- every possible trace is finite. Someone started arguing about whether or not they "diverge", and I said that that's language-dependent (https://news.ycombinator.com/item?id=20723623). Both foo and bar always terminate, and that is both precise and a common meaning.
Did a bit of contract work there over the years, they were one of my favorite customers. The town is sleepy and the campus is quaint with some absolutely beautiful buildings. The staff there were always a joy to collaborate with, I was pretty surprised the first time I heard about this issue and just wanted to say that it definitely doesn't reflect my experience there or represent the folks I met.