skysight-inc/HackerNews huggingface dataset:
>I think that's just laziness. If you need to memorize a number it just takes a few minutes of work, and then some reinforcement later.

Actually it's been well documented that human capacity in working memory is 7±2[1]. This is why phone numbers were initially 7 digits.

It certainly is possible to memorize long strings with sustained repitition, but this is usually meaured in weeks or months even if practiced every day.

It's not "lazy" to be unable to perform at the far right of the bell curve in terms of recall.

[1] https://en.wikipedia.org/wiki/The_Magical_Number_Seven,_Plus...
> Europe needs to get their shit together and start accepting and issuing the same card as the ROW.

No they don't - there is no reason for a country to accept the payment system of another country. Priority should be to pay using local currency or using the local payment system.

Control over one's monetary system is essential to maintain the sovereignty of a nation. As is the right of a citizen to pay (or accept) cash or do transaction using other legal alternatives.

(That said, I understand your frustration as we are all complaining about the same thing).
> this is why there tends to also be a hard upper bounds of intelligence and why we have such a significant amount of people in the middle of the bell curve

This is true by definition for any randomly-generated trait which can be measured on a single dimension.
Electric cars are already cheaper to own and run, says study
by using vim-sneak and pressing any 2 characters of the word

wow, that's pretty cool!
> Without proper oversight, they were able to operate these vice apps that blatantly flaunt Apple’s content policies.

Good.
It's only theft if the money winds up someplace else. Expedia's competitors don't count.

"The first Googler who fixes it can genuinely claim to add billions of dollars of value to the internet." If by "the internet," he means Expedia, then I suppose I agree.
From your use of vocabulary, I'm guessing you're from the UK as opposed to the valley?
One habit I picked up early with writing was to use hard line breaks at 80 chars.

IMO, this makes it a lot easier to work with. You always know where your line ends because it matches up with the break.

You can even configure Vim to input the breaks for you so you don't need to worry about micro-managing them as you reword and edit sentences.
Student debt didn't cripple 50 million people. Fifty million people crippled themselves with student debt.
Show HN: YugaByte DB – Open source DB for large-scale, widely-distributed apps
They plan to sequester the CO2, not "unburn" it back to carbon and oxygen. The CO2 reaction you posted has nothing to do with the cost of capturing CO2 and sequestering it.
> [citation needed]

Watch Xavier Leroy's talks.

> IMO, sel4's really cool part isn't that it just was formally verified, but it's total design specifically for verifiability.

Well, they were very selective with their algorithm choices, so that only very simple algorithms were used. Whether that's cool or an unaffordable restriction depends on your perspective.

> The argument reminds me of all the people in the late 90s talking about how unit tests would never take off because they tried to introduce it in their legacy spaghetti codebase, and it wasn't amenable to testing.

Except that I've been both practicing and evangelizing formal methods for some years now. I argue in favor of using them, not against, but as someone with some experience in that field I want to make sure people's expectations are reasonable. Unreasonable expectations all but killed formal methods once before.
What's the advantage?

None
This reminds me of the book "Black Box Thinking" that basically says it's more important to learn from mistakes so we don't repeat them than to assign blame. The commercial aviation industry does this better than any other industry, even medicine.
I'm sorry: learning the basics of vim isn't hard, and it never will be, provided you have the right education (I suppose that's true for anything but in this case it's a platitude that I viscerally experience to be true).

The right education is: vimtutor (type it in your CLI and within 30 minutes you're done).

I deleted my rant but I dare anyone to take my challenge: do vimtutor for 30 minutes and then answer the following question twice (before vimtutor and after it) in a comment.

I perceive vim to be difficult:

(1) strongly disagree, (2) disagree, (3) agree, (4) strongly agree.

Once you know the basics of vim, then it won't slow you donw.
I used Pidgin for years, but while it may be actively developed it has been stagnant. It's ugly and very difficult to customize to make it less so, and Unicode has always been broken (at least on Windows). Compared to mobile or even web versions of Messenger and Hangouts Pidgin is terrible, which is why I eventually gave up on it.
Ghost Desktop 2.0.0: Fedora X64 RPM
Funding ESLint's Future
Drunk drivers and people that don't wear seat belts are still worth reviewing. While there are rarely engineering solutions to the fatalities that result, it can help inform education programs and initiatives. Amazingly, buckle-up and don't drive drunk advertising can make a difference.
I used Franz for over a year, but had some annoying issue with Slack where I couldn't copy anything with a keyboard shortcut. It was filed as an issue on github but with no activity, so the project looked dead-ish. Has the activity picked up?

I ended up going to an alternative called Station (https://getstation.com/), which I've been happy with. Still an electron app, so if that's not your thing, it's not a replacement for Franz.
It's a pity that this interesting research into changing customs in science and publishing is so driven by a predetermined narrative.

They found women accounted for 59% of acknowledged programmers -- so 41% were men and got the same treatment. The obvious conclusion would be that programming wasn't acknowledged the way it is now, but instead they push the narrative that they weren't acknowledged because they were women. Giving overlooked women in science some due attention is perfectly fine, but unwarranted conclusions about the causes for various situations aren't, in my opinion.

And the same with their explanation for how it changed. They state that it's in part because the work started being done by graduate students and postdocs, but then still conclude "Programmers, essentially, only became rewarded with authorship when they started becoming male." (and this "when" here is clearly intended to be read as a causal when). Of course there is a more plausible explanation, namely that men started becoming more interested in programming when it started presenting better opportunities for high-paying and high status jobs. Fully what is expected based on evolutionary psychology.
In this case, however, the problems were already recognized. What this crash did was to provide the impetus to stop arguing and finally do something effective about them.

In "Fate is the Hunter", Gann lamented that the airlines had to be forced by regulation to adopt as straightforward a safety measure as the rotating beacon (flashing red light), a change that pilots of the day had to lobby for.
I think this hits close to home for a lot of people. It's not about the small amount of money to pay for the app, mostly what stops me is that I don't know what I'm getting for that $5. It feels like I'm potentially throwing money down the drain.

I've also paid for games apps (the most was around $20, I would pay more). I'd like to pay "premium" $ for a premium product on the app store, but I generally don't see that as an option. Periodically, I'll glance at the games available on the iOS store and the quality is night and day compared to PC/console.

Maybe people think apps are not worth buying because they're charging pennies? What happened to making a solid product and not being afraid to charge for it?
Amazon has a big advertising business. Walmart wants one too
The name doesn't show up anywhere

Also, there is too much focus on the least important of the two scenarios: wanting to increase the version number with no meaningful changes. The actually important scenario is the opposite: when the major version SHOULD be upgraded but people don't want to give the impression that this is a "major release" (in the colloquial sense). This is why the name is irrelevant: this is a situation where you'd want to "keep the name the same", and we already see that not working.

Perhaps you'd be happy with making the vanity portion I suggested a "name"? mojave.1.0.3? This is 100% equivalent to what I was already proposing (the vanity section is pure vanity and is meaningless in package resolution), but seems to also satisfy your concern that it would be confusing if it were a number. Does that satisfy your concerns? My concern is simple: unless he "name" shows up in config files, it will not have the power of the "major" version and will thus inevitably result in people not properly upgrading the major version when necessary.
As a self-proclaimed "slight smarter than average" human being the biggest challenge I face on a day-to-day basis is a tendency to become jaded. I have no idea how to fix that but it makes daily life suffocating in many ways.
Absolutely agree. I don't know how much this particular proposal would help them, though; I think catching those people would require a wholesale overhaul of the educational system: universal free pre-school, standardizing school funding nationwide (and specifically decoupling it from property tax revenue), fully subsidized university education for anyone who wants it...and then lotteries to get into elite schools.

Otherwise, I suspect this would primarily benefit middle class students who can afford to pay for test prep and tutors, but not for a month-long volunteering stint in Nepal, and primarily hurt the relatively-sub-par-but-well-off legacy admits (which, who cares) and students with a lower SES that currently get a boost from consideration for that status/the follow-up effects of growing up and going to school in poor areas (which I do care deeply about).
I'm still not entirely sure why Apple cares about porn, they have people credit card information, that should be sufficient for age verification, in most cases. Gambling may provide Apple with some legal issues in most countries.

It's clearly a large market, and with 30% percent cut of subscriptions, it could be a lucrative business for Apple.
Allowing people to "sign" away their 7th amendment rights, in some cases in order to simply maintain already paid for services, is ridiculous. Arbitration should be between equal parties (i.e. businesses, you and your neighbor) or you should only agree to it with advice from a lawyer.

These clauses are just more corporate abuse.
Sorry for entering pedantry mode, but I think you mean the median joe.
Ha ha! Wonderful. Just by chance, happened to catch it as the top the hour rolled over, so got to hear the full station ID. Great fun. But what do you do about propagation and weather announcements? :)

My favorite WWV story: Was helping set up a ham radio station with a rather low-end transceiver (I did not select it...) anyway, there was this one multi-band antenna we were tuning up, and every time we got it close to matched, the receiver went nuts -- crap all over. I needed a signal that I knew would be reliable and where I knew what I would be hearing, so I tuned in 10MHz WWV. When the antenna got close to a good match, I started hearing Mexican polkas.

I quickly dismissed the possibility that WWV had changed its programming.....

As it turns out, our station was about 4 miles away from a local AM station and we were right in a major lobe of their pattern. The crappy front end on our receiver got totally crushed by overload from the AM station, which of course caused IMD products in the first mixer from "DC to daylight", as they say.

Solution: Quickly knocked out a high-pass filter that we could transmit through at 100W. The Polka-Be-Gone(TM).
Or even in Iceland, which was notable because they allowed their banks to fail for the role they caused in the recession?

https://en.wikipedia.org/wiki/2008%E2%80%932011_Icelandic_fi...
"Asking people what they’d pay for and how much rarely works."

Yes, asking a person about what he or she is willing to pay _hypothetically_ doesn't work. But there are numerous scientific studies that show that using a Vickrey auction, similar to Google's ad auction mechanism, can elicit a person's maximum willingness-to-pay. In fact, it's one of the reasons why William Vickrey won the Nobel Prize in Economic Sciences. The primary reason why you would reveal your maximum willingness-to-pay in a Vickrey auction is because you know beforehand that if you win the auction, you won't have to pay your own bid——you always pay less than your own bid as a winner. How much less is up to the auctioneer but in all cases it's less than your own bid. The pay-what-you-want mechanism cannot reveal how much a person values a product or service because there's such a strong financial incentive to simply state a low amount.

Disclaimer: I'm the co-founder of Veylinx, a platform to measure maximum willingness-to-pay of users using Vickrey auctions.
I feel like the answer here is simple: Apple removes the apps and monitors this stuff more strictly in the future. The creators of the apps make progressive web apps.
You do realize that non-inflation was one of the main causes of the great depression, right? Are you telling me that you would spend your money on consumer products and employing people if you knew that it would be worth more if you left it sitting in your bank?
The part where he writes off East Asia as not really counting, somehow, while acknowledging its success, is rather strange:

"As it happens, the economic success of China and the East Asian tigers – as scholars like Ha-Joon Chang and Robert Wade have long pointed out – is due not to the neoliberal markets that you espouse but rather state-led industrial policy, protectionism and regulation (the same measures that Western nations used to such great effect during their own period of industrial consolidation)."

It's true that many of the countries there are state-led. (Some also have lots of corruption and many have extreme inequality.) But they also had spectacular growth via export-led economies.

I don't know what "neoliberal" means other as a term of disparagement, but there's clearly a lot of capitalism and international trade going on. Participating in the global system has been a huge win there.
I think modern society suffers from a lack of life philosophy. I don't think it gets much better than ancient greek philosophy. There are no new fundamental insights into the human condition in 3000 years. Epictetus talks a lot about tranquility, which is neither happiness or sadness, but staying centered. It doesn't matter how you feel, feelings are just an appearance in consciousness. What matters is that you move forward with your purpose, something you define outside of the day to day grind.

Happiness and sadness are fleeting for most people. If you chase happiness to the exclusion of boredom and fulfilling a greater purpose there will be a reciprocal crash where there can be no happiness. This is why Epictetus cautioned us to always view happiness with just as much skepticism as sadness. Not to become boorish, but to maintain a state of being that you can rely on every day.

To that point, intellectuals have always had this struggle. When you value mastery over purpose and you don't find a point of tranquility in your life there will always be a struggle. Intellectuals and smart people often spend a lot of time worrying on externalities they can't control. It is the curse of high awareness / intellectual capability. There is only so much you can possibly change and influence. This is why being a billionaire doesn't drastically alter your happiness. Even with billions of dollars you are still stuck in a mortal shell with the same brains and bodies as the rest of us.

Also, MENSA is a self selected group and I have never held a high opinion of it.
Progressive web apps which unfortunately don't work on iOS.
Lufthansa sues passenger for not taking booked flight
Bitcoin is for rich people or poor people trying to get rich and failing

How is a currency unavailable to poorer countries considered empowering to the people is beyond me
>the government will helpfully tell them what to correct.

>the government

There is no 'the government'.

The government is an entity of elected and unelected people. They have their own bias, their own friends, their own wants.

I have stopped using Facebook because it sucks, but if the government sucks, I am forced to use them.
> It [says] all data is to be written, not merely all data written since the last call to fsync.

No it doesn't.

The spec† says: If the fsync() function fails, outstanding I/O operations are not guaranteed to have been completed. That clearly permits the Linux behaviour; There is no "data" that hasn't been sent to the "transferred to the storage device" at this point. You can see it from the perspective of the Linux kernel:

write() = success
fsync() = error: outstanding I/O not guaranteed††.
fsync() = success: no outstanding I/O

†: http://pubs.opengroup.org/onlinepubs/9699919799/functions/fs...

††: It would've been a different story if the spec said, If "the fsync() function fails, all future fsync() to the same file descriptor must fail." but it doesn't say this.
http://bastianborn.de/radio-clock-hack - I thought this was very cool, emulating the signal emitted by a time signal station, to alter radio clocks, using just a speaker.
When I first saw the headline I was thinking it was this Komet :-) https://en.wikipedia.org/wiki/Messerschmitt_Me_163_Komet

Also an interesting aircraft.
Many of Microsoft Window Mixed Reality\Hololens apps are made in Unity also, so it makes sense there.
Lots of crashes in Hell's Kitchen. That area is full of people going out to bars and restaurants, tiny sidewalks, and lots of impatient drivers trying to get through Manhattan to New Jersey.
And I strongly believe that, as much as tapping into neurological structures is beneficial and important, mathematics is mostly about overcoming them and thinking in the large.

If I could explain that, I don't feel my brain is stronger now that I know about combinatorics over program spaces / trees compared to me a 6. It's just how things are approached that changes everything.
/u/karmanaut was the original proving ground for this. It was known that it was a used account
They like to tightly control the message with regards to their brand, and that's one of clean, white, bleached happiness.

This stance has also hurt them with original content. A lot of great original content on other networks has had graphic violence or nudity, and they've stayed away, instead pushing bland shows that nobody seems to care about.

Maybe that'll change. But I'm not holding my breath, because I think this is a core value coming straight from Tim Cook.
The problem there is the lesson numbers need to be displayed in the course platform's UI.

I can't have my course's lesson numbers be increments of 10. It's too confusing for end users, and they also can't be different than what I have on file because then it would be a nightmare to maintain (as the person who created the course).

Using gapped numbers is a great way to solve certain ordering problems though. That's a common thing to do with database position columns for ordered content.
Yes indeed. There was a time in life, when parents were worried about what their kids would get exposed to on the internet. Right now, this has swung the other way. Now as grown ups, who understand technology, we worry how to educate our parents about what to believe and what to ignore. Strange how the world works!
I wonder whether the following result stems from that sample bias (Mensa membership, rather than random sample from >= 98th percentile IQ):

> Their most striking finding was substantially diminished levels of meaningfulness and subjective well-being among the giftedness as potential group compared to both the giftedness as achievement group and the control group

EDIT to add: Note that the author addresses the sampling bias in a footnote:

> Of course, a major limitation of this study is the preselection of the gifted populations. It's likely that members of MENSA have their own unique struggles that motivate them to seek out membership and connect with like-minded individuals. While this is a real limitation of the study, at least it's a real attempt to look at the understudied population of intellectually gifted adults, a population that is hard to study because they are statistically rare in the general population. After all, for a non-preselected sample, you would have to administer IQ tests to 5,000 people to attain a modest sample of 100 people in the top 98th percentile!
I'm not sure what constitutes a "collision", but in 2015, I lived on Lexington between 121 and 122 and saw the investigation of a Hit and Run of a homeless man. I talked to a couple of the witnesses who saw it happen.

This incident was at Lexington and 123rd. In the data, I do not see this incident.
Tesla Powerwall shines in Sydney blackout by keeping house cool despite heatwave
> Ideally the IT department would take a step back, assess what the users (you the stakeholder) needs are, and provide the solutions.

This approach was taken with Lotus Notes. The ivory tower decided who could create and control a database. All it does is throw up bureaucratic barriers people will work around. How much of your company is dependent on bespoke Excel databases? What better tools can you empower the employees with to mitigate that risk?
Hack layered a sane type system on the existing runtime, but the changes above are all about runtime logic. These type coercions lead to many subtle bugs in PHP programs.

What this demonstrates is that one can have a much safer programming language while keeping the key attributes of PHP that make it great: each web request having isolated state, concurrency model, and programmer workflow (ref. https://slack.engineering/taking-php-seriously-cf7a60065329).

Yes, I'm not necessarily advocating for any web developer to start building in Hack now -- mainly because it lacks PHP's rich ecosystem. The good folks working on the PHP language may be interested in these changes though.
"Not always—some pilots have 1500 hours, and others have the same hour, 1500 times in a row—but there can be a huge difference."

This is an excellent statement emphasizing the importance of concepts like deliberate practice and a varied curriculum/experiences. I think this idea applies to all learning.
I think maybe it's also a simpler device to understand end-to-end, a bit like 8-bit micros were when I was a kid?
Safari supports them now. Not the full API, but enough for a porn or gambling app to get by (but then, so is a non-progressive web app, I'm not sure what they're doing that really warrants a native app)
I know many US universities correlate the admitted student high scool GPAs and high school attended with how they performed at university, and then use that to handicap new applicants. i.e. Candidates from Public School A with a 4.0 GPA tend to graduate with a 2.9 GPA whereas candidates from
Private School B with a 3.0 GPA tend to graduate with a 3.3 GPA
Once again the government trying to control what consenting adults do to/with their body.
I've seen at least one company use the Enterprise program to circumvent paying Apple 30%. One company I know preloads their app on an iPad, resells the iPad and associated hardware, and charges a subscription to use the app.
> They might hire a lot of smart people, but not very many that are actually good at developing quality software.

This. They seem to hire people who are excellent Computer Scientists, but that DOESN'T make you an excellent software engineer!

The result is what we often see from Google: A product with an impressive/complex algorithm (whether it be AI or efficiency) wrapped in terrible software prone to tons of bugs and breakage.
SGX malware PoC released