skysight-inc/HackerNews huggingface dataset:
The Nextcloud Windows desktop client is very poorly written. We needed an in-house file hosting solution to replace really old Samba shares and Nextcloud seemed like a great option because we also were looking for a non-Google alternative to Google Docs/Drive (one of our clients has anti-Google policy).

After moving all files to Nextcloud server everyone (company of 20+ people) installed Nextcloud Windows Desktop client and connected to it with only virtual files option set (nothing is transfered until opened/edited). The initial "sync" after first seup took about 2-3 days to complete for everyone. Reason? Probably too many small files. The share contained about 300+GB of data in around 500k files (not sure about that number only a guess). Nextcloud checks every single file with server which computes hash for it which is stored locally. You can find threads on their community forum or reddit by people experiencing same slow behavior when they have a lot of small files. There were some promises from devs to resolve it with the latest client update but we didn't verify it yet.
> The author wants to reduce demographic disparities in grades by making grading easier.

Can you point out where this is expressed in the transcript? I am missing it.
Unpopular opinion time: I'm not convinced people should be reimbursed for this so long as the bank have warned them in writing and in the app.

No one should keep big chunks of cash just in accounts.

Everyone should be well aware by now of the scams.
We already know proof of stake has weaker security properties than proof of work, such as its vulnerability to “grinding” attacks.
> it is already the case that you are being cutoff from regular life / the economy without one.

it's true that you can't easily buy stuff online while on the move, but _life_ is happening outside and without a phone.
Price of food, fuel, lumber, metals, stocks, houses, rents, electronics, etc. all goes up: increased demand, supply chain issues, increased money supply/inflation.

Price of electricity goes up: Bitcoin's fault?
My impression is that this is just one guy's website, not backed by an actual group (whatever that would be...). Am I right?
Barring a revolutionary new material that effectively eliminates current levels of latency, cloud gaming is not happening anytime soon.
Ironic that you identify (but don't evaluate) a possible flaw in mixing up correlation and causation, then turn around and refuse to even read something because of a bias that you simply assume.
"While the residential and small business rates are among the five most expensive in the country, the industrial rate is much lower, ranking right in the middle among the states."

There's an obvious solution here. Residential rates went up 10% because the local utility has a simplistic demand pricing program that allows cheap industrial demand to drive up expensive residential rates.
Good thing there are no data leaks or compromises! /s

That my bank insists on using essentially now public information now to verify (and refuses to use anything else, even after being repeatedly asked!) is also infuriating. Last 4 of SSN and DOB? Really?
"Entitled to ask"?

I think freedom of speech allows for it.

Can I have a million pounds, from you personally, please?

Also, that might be the small nudge which potentially has a user actually contribute in some circumstances.

I'm not sure your question is fair.
There was a period of extended school holidays last year due to the pandemic. Also some schools did suspend after school care and extracurricular activities during the states of emergency. The details probably vary widely across the country and no doubt people have been impacted, but remote schooling hasn’t really been a thing (as far as I know).
Chinese actually just passed a bunch of data privacy protections. I'd say they're to protect chinese users from western and private companies, whereas the government is free to influence and access.

It's conceptually similar to the protections in the west. Protect users, but share data with the 5 eyes. It's just that they won't block you from searching for Uyghur or Winnie the Pooh or something similar in the process.

It's kinda interesting because this concept seems to work fine in China for the simple reason that they have so many domestic services. Other countries that just try to copy the China model without the domestic information services(i.e. Iran) have a huge mess on their hands.
Or it could mean that a wing might fall off next time plane is under stress. We don't know, and since it's our life on the line, we do deserve to know
I didn't read the whole thing but I had the same impression. I have no idea how it ties into equity, apart from "more accurate scores might help anyone who would otherwise be disadvantaged by the scoring system", which is several leaps removed from "equity".
I agree that validation is important (e.g. avoid optimising things which shouldn't exist https://youtu.be/t705r8ICkRw?t=1022 ).

It's all about bang-for-buck: a formal proof can give me lots of confidence about some aspect of a system, but might take a long time and have a maintenance burden; if that time and maintenance could give me more confidence when used to write masses of tests instead, then it's probably better to go with the tests.

My go-to approach is property-based testing, since that can exercise edge-cases more effectively than hand-picked examples, whilst taking about the same amount of effort to write.

A couple of things in favour of "proper" formal methods (in niche circumstances):

- Sometimes the effort calculation tips in favour of a formal methods; e.g. reliably testing concurrent, distributed systems is notoriously hard, and might require even more effort than doing some proofs instead.

- Proof objects themselves, and the act of writing them, can be useful for understanding a domain or system, and why certain things are/aren't true. This doesn't apply so much for "yes/no" solvers, like SAT/SMT/resolution/etc. but is often the case for "interactive" systems like Coq/Agda.
While I agree that Boeing should tell us which specific part it is, they are making the claim that it’s not an “immediate flight safety concern”. The fact that their PR team felt the need to include the word “immediate” indicates to me it’s more important than a kitchen part, but that whatever it is likely has redundant systems that can handle a failure of this part.

I do think Boeing is being a little too tight lipped on this. I think a decade ago, many would have let the questions end at Boeing’s statement, but their trust has really been harmed over the last 10 years, and I’d like them to provide more information.

> "While our investigation is ongoing, we have determined that this does not present an immediate safety of flight concern for the active in-service fleet," a company spokeswoman said in an emailed statement.
How much of the world’s energy do you think the petrodollar system consumes?
This file does not exist on my rather plain ubuntu 20.04 LTS.

I tried finding similarly named files, to no avail. Knowing the notorious ADHD of the systemd developership, I wouldn't be surprised if this file is moved, renamed, and uses a different format every six months.
I think what they're talking about is using one Lambda to persist, handling many crawl requests. That doesn't make a ton of sense, as each Lambda has to make sure to push all its results and shut down before the max timeout is up, but it would technically work and be more efficient than what I described. Much better, though, just to use long-running spot instances, though, or just a regular instance running something like Scrapy.
> As a good CTO you shouldn't have anything to do.

Is this for real? I mean, yeah, I don't think a CTO should be debugging build scripts, but hiring a great team, mentoring, aligning teams with a common technical vision, meeting with other company leaders to ensure the technical direction meets the needs of the business is an immense amount of work.
Even if it's 56%, that's still 44% non-renewable sources for something that uses about as much electricity as the Netherlands.
I've found benefit across all areas of life. When dealing with other people, I find it helpful to at least be cognizant of the main emotional category, but it's easier to feel the specificity in yourself than in others.
I was referring not to the content of the comment, but the wording of its delivery.
> To kick off the flamewar: is discussing any treatment but vaccines still == "spreading anti-vax misinformation"?

Why?
To Rust's credit, 90% of the time I find I don't need to dereference much at all. For example, when you make a method call on a reference, you don't have to dereference first, and there is no -> operator in Rust. The only time I ever really have to dereference manually in my experience is if I'm matching on some struct reference, and I want to take some field and put it in a new place.

e.g.

match &foo {
Foo{bar} => Baz{quux: *bar},
_ => (),
}

(not valid Rust but you get the point)
In the less distant future, our grandchildren will read the wikipedia on the NFT mania of 2021 and exclaim "I can't believe you guys were that dumb" At that moment I'll point to the framed screenshot of my reply to your comment and say "There's evidence I stayed out of it kiddo"
Until this case, yes. From what I can gather, the goal of it is to allow for more abstract research that may draw criticism; a way to say "this person has been reliable and known reputable in this field for X time". Imagine a medical professor with tenure who wants to do research surrounding umbilical stem cells, or fetal research. Tenure, from my understanding, would give them some understanding or forgiveness for the controversial nature of their research topic.
I think crypto mining is dumb, but it might actually help the ERCOT situation when combined with demand-response electricity pricing. Miners are gonna throttle back mining if electricity costs more than the mining output and they’ll mine when electricity cheap, supporting the price which helps the fiscal solvency of electricity producers.
I don't think there is for premium devices. If I wanted to buy an upmarket car there are a lot of choices but for phones it's just Apple or possibly a high end Samsung.
Apple does, which is why they're planning their next moves into XR.
these whistleblowers are going to turn every company into a surveillance operation

every company will soon adopt mandatory spyware, bossware, keyboard logging etc etc just to prevent the next Haugen

hope it was worth it
Yea but kind of a dangerous game to continue playing - does China want to have factories and suppliers close down and relocate out of China? Where will those people work?

It may happen anyway but these scenarios are never easy or clean-cut.
Be curious; learn it. Figure out pros/cons for yourself. You'll have more breadth of knowledge, more depth in specific areas, and will likely make better architecture choices in the future because of it.
We worked a fair bit with the police, and I never got the impression we were frustrated with their inaction. They devoted a lot of resources to it, but it's part of the nature of the beast that there just don't need to be as many officer hours per victim as there would be for a rape or murder.
Before the internet you needed a fully stocked library with excellent organization and archive retrieval, top quality professors who could (because of technology) teach at-most an auditorium full of people, and the ability to meet in person with other people knowledgable of the subject which previously required a centralized meeting place (the university).

All of this is now provided with superior quality by the internet. Now the only advantage of a university is signaling where you got accepted, networking with similar people for future jobs, becoming socialized by a culture of university-types, and showing you have the discipline to jump through 4 years of fairly arbitrary hoops. There is value to this, but is it worth $200k+?

Additionally, the cost of education is so high that students are customers now. Expelling too many students is simply infeasible given the enormous debt issued by universities for their massive capital expansions (buildings, gyms, stadiums), and huge bureaucracies. Students are dictating the terms of who and what is being taught, and schools must cater to it or risk reducing their flow of new applicants, which is the death-knell of so many smaller liberal arts schools in recent years. Tenure threatens the ability to shape the school to match customer expectations.
I get anxiety shopping on amazon now. I just can't deal with 50 pages of options, all from "different" brands, selling the same mass produced chineese shit. Will not be renewing prime.

There is a real opportunity for focused web stores out there. Selling only 1 type of product, filtering out crap, having good search, etc...
That’s just a fig leaf for the real reason. Both the administrators of colleges and certain political groups have been waging a political fight against tenure for at least my entire life, probably longer. It seems like they’re pretty close to winning and professors are pretty close to losing.
One of the more interesting parts of this piece relates directly to software:

The "default" for most grading software is to average the score of all homework throughout the entire class. The result of this averaging is that people who actually learn the most might end up with a worse grade than people who learn the least. Why? Because people who struggle in the beginning, get their poor results put into their grade, even if they have complete mastery of the subject by the end of the class. This is clearly not ideal. A grade should be based on the level of mastery of the subject at the end of the course, and not at the beginning, when you haven't yet had the chance to learn the subject.

This, of course, could be changed by simply changing the default behavior of grading software. Most people use the defaults, so the software developer really does have quite a lot of influence.
Bitcoin miners may actually make ERCOT more reliable, since they pre-buy a steady stream of electricity and can sell it back (or be paid to use less) during crises like their snow storm[1].

I still think the negative externalities of Bitcoin mining outweigh the positive ones, though. (Full disclosure, I'm short a company mentioned in that article)

[1] https://www.washingtonpost.com/technology/2021/07/08/bitcoin...
Walgreens to Close 5 Stores in San Francisco, Citing ‘Organized’ Shoplifting
Begs the question of if one would rather sell the most but make just a moderate amount money or sell moderately but make the most money? In the short-term I could see that being a good thing as you build up your war-chest and invest. But long-term your marketshare will erode and you'll be making a lot of profit on fewer sales. I'm no economist, so I have no idea which is the better position to be in.
When your data is in someone else computer, it is a big mistake.
In the 20th century, Germany has twice experienced what it can mean to your life when your privacy is constantly undermined. Of course, this does not mean that every time data about you is collected it automatically and immediately means harm to you. But it raises the potential for it.
But to be fair fossil fuels are used to produce the food you eat, the computer you're typing on, and probably the electricity/gas you use to keep yourself cold/warm.

Meanwhile, bitcoin is used to produce... what? A speculative asset some people can invest/gamble on?
Keep an eye out in general. Streaming is not always a deal. Physical media is quite often cheaper, and if you know how to rip, much more convenient as a result because you can get a DRM-freed copy.

Streaming does seem to be slowly getting higher quality, better codecs are probably helping, but I've still noticed there are times when a good DVD encode will still beat an "HD" stream, because even if the "HD" stream has a "higher resolution" the DVD can afford a higher enough bitrate to even compensate for its now quite-out-of-date codec. Streaming companies are still motivated to trim their stream quality as far as the customer will bear, and your fellow customers will bear quite a lot, it turns out. And if you can get a bluray it'll certainly beat any stream anyone will serve you. I haven't compared many 1080 Blurays to 4K streams, I think I've only gotten to do it twice, but the 1080 Bluray won handily both times. (I don't have a 4k bluray player.)
Define "competition". Apple has a minority of the actual handset market, but they have a majority of the profits.

You can speculate as to why they can wring so many extra dollars out of their customer base, but it's not clear to me that the overall handset market, itself, is structured in a way that gives Apple an unusual advantage.
The people smart enough to build that are smart enough not to build that.
If the damn FAA hasn't issued a AirWorthiness Directive, you'll be fine.

99.999999999999% of people have no idea what any of this info actually means or how to process it.

COVID has proven this fact
You say "just" as if it wasn't important. I understand why you say that, but you clearly don't realise how much % of airplanes crash ends up being caused by maintenance skipping a beat. Shorter beats means a lot more skips.
Thank you for the reply and clarification. I think I understand what is being said. Initially, I parsed the statement to mean that only a small fraction of schools closed.
There are several good books like: https://www.amazon.com/Stylish-Crafting-Elegant-Functional-C... and https://www.amazon.com/Get-Programming-guide-NET-developers/... and also some courses on Udemy like: https://www.udemy.com/course/fsharp-from-the-ground-up/ and https://www.udemy.com/course/hands-on-f-application-developm...

Also there are lots of learning resources here: https://fsharp.org/learn/ some for guys coming from scripting languages like Python. As a matter of fact, F# can be used for scripting, too.
How do you capture more then 100% of a market?
There are two phenomenal pieces of writing that lend great insight to what's going on at Boeing (that is, if you believe the two authors):

How Boeing Lost Its Bearings: https://www.theatlantic.com/ideas/archive/2019/11/how-boeing...

Out-Sourced Profits -- The Cornerstone Of Successful Subcontracting: https://s3.amazonaws.com/s3.documentcloud.org/documents/6974...

I've worked with Boeing spaceflight engineers, and several acquaintances of mine have worked for Boeing aviation. I have never seen or heard of any Boeing-branded organization putting out a single well-organized, quality piece of engineering or IT infrastructure since I entered the job market in 2017. From what I can tell, it's practically a state department at this point.
...with only a 13% share of units.

That is, all other vendors together sold 87% of units, but earned only a combined 25% of industry-wide profit.

The vast majority of those other vendors are companies headquartered in Asian countries with a long history of promoting market share, access to information, and knowledge transfer at the expense of short-term profit. They might be making less money willingly to grow/maintain volume, grow/maintain access to a large volume of user data, and acquire/maintain expertise.
If time had no beginning
> In Q2 2021, it captured 75% of the overall handset market operating profit and 40% of the revenue despite contributing a relatively moderate 13% to global handset shipments

So they charge a premium for their phones, that's all. Android completely obliterates Apple if you count number of units shipped.
Your analogy is laughably absurd. Poop on the street is a public health hazard, someone shoving poop down your throat is assault. Comparing such things to free open-source software is borderline trolling.
Life on Venus may never have been possible
I think kind of baked into the first principle is the expectation that these are "top of the maslow pyramid" kind of aspirational ethics. It's like this: we are going to fuck up. Given that we're going to fuck up, what next?

The way to judge, I think, whether you're in good shape is whether or not you have a culturally ingrained mechanism for atonement and forgiveness, and whether or not that mechanism recursively 1. doesn't treat people like things; 2. seeks to uplift and empower; 3. is fundamentally grounded in love.
Hey all. I posted here yesterday (https://news.ycombinator.com/item?id=28851167) but got flagged down because people felt the licensing was dishonest. I heard it and we've rectified. We're entirely Apache 2.0 licensed, so hopefully this isn't something that comes up again.

Another thing I want to mention. M3O is not a like for like comparison to AWS. Its a next generation cloud. The idea being, AWS was started in 2006 with a set of primitives that made sense during a datacenter/rack servers era. On demand VMs, storage, etc made sense. I think today those building blocks are moving higher up, especially for modern day development with the Jamstack. So core things are a DB (database) API and Functions, along with many other things.

M3O is entirely open source, the core services live in a vendor neutral org https://github.com/micro and we build a developer experience on top for a cloud hosted version of those services.

We look to reuse third party public APIs and fully managed infrastructure wherever possible. Rather than trying to replace the operational expertise of existing API providers, we're looking more to standardise the API experience with a uniform well thought out set of APIs and a clean simple dev UX. All of which can be accessed in one place.

Hopefully people are receptive to some of the ideas. We haven't rebuilt AWS, we're at the start of a journey and attempting to build Cloud 2.0 for a next generation of developers.
I apologize heartily for offending you, that is not my intent.
iPhone Price Index – Rising Price of iPhone
This situation began with a market gap in the late 2000s: the need for "web scale" apps capable of handling tens of millions of requests per day.

This gap spurred the creation of tools with a lot of bad practices (e.g., Mongo, etc., which sacrificed ACID). Relational databases, like Postgres, were just not ready for the kind of scale we would see with popular web apps.

These new "do anything however" tools (like Mongo) lower the barrier of entry into app creation, because you could just turn them on and start loading data into them; even basically just JavaScript objects could be dumped into the database. As a result, a whole new cohort of developers joined in the creation of full web apps.

Now, developers, accustomed to styling drop down menus and creating picture slideshows, were directly engaged in things like data modeling, business logic, and security. As you might imagine, all of those things were tossed out the window. As such, many of the JavaScript frameworks didn't even bother with many of these... niceties.

"NoSQL" as a concept has since lost relevance, because all of the RDBMS have solved the scaling issues. And for folks who got used to using unstructured data, RDBMS like Postgres added support for unstructured data, and in a manner that even outperforms purpose-built "NoSQL" tools like Mongo.

In other words, the gap that created all this bad stuff has long been filled by the existing tools, but the new tools and bad practices that come with them will persist for a generation; just as PHP is still used for new projects today.
Maintaining Urgency