skysight-inc/HackerNews huggingface dataset:
The 2nd point really resonates with me. I was reading this book called “Ultralearning” and feedback was one of the biggest points mentioned there. People who get prompt feedback can immediately use it to learn from experience. People who don’t have to keep guessing of what they’re doing is right or wrong.
To be fair, you have to have a very high IQ to understand the inherent superiority of Apple products...
Whenever I read about SAT solvers I think of Prolog and Minikanren and friends. Is there a relationship there? Do they use similar algorithms? I know that backtracking (mentioned in the article) is a thing in Prolog at least.
And here is the root of many problems, the assumption that someone is "right wing", or "left wing", or whatever, just because of one view or idea known. With the following assumption that their personality, behaviors and thoughts can be predicted.

It's usually associated with come kind of bigotry and used as put down describing someone as being in another camp to the writer.

There are people in the world who have opinions based on critical thinking that are individually arisen at, per item.

Many are just pragmatic.

Some just don't have the ability to form a different view in some cases because they have not witnessed or experienced various forms of prejudice, persecution, being exploited and so on.

And that doesn't make them privileged, at most it makes them luckily ignorant.

There is no "side" or "group" that holds the entire high morel ground in anything.

"What if I told you that a bird needs both wings to fly?".
The usage has changed over time. Go back 15 years, and I'd expect people would more commonly associated "VM" with the language VM. Of course, that historical development fits well with the high-level claims made in the paper.
I'm not talking about the contents of his presentations.

What SpaceX/Tesla/Elon Musk accomplished is truly awe-inspiring.

His delivery makes it really hard to follow, that is all.
How sure are you your TV isn't joining open/sponsored wireless networks anyway?
Seems like it could replace the current infrared headphones/headsets.
The natural state of man not participating in an economy can be seen on the YouTube channel Primitive Technology.
No doubt there are marginal professors who are just barely capable of doing research by virtue of intense effort by the people who taught them, applying the techniques they learned in grad school for their entire careers. Everyone else ends up reinventing themselves and their research multiple times. Even something resembling explicit education in research is unnecessary. The average medical school teacher is a physician who never got a Ph.D. and most teachers at law schools have the same degree they end up teaching (in the US), the JD, which has no mandatory research component.
ICBMs can't be reusable.

Due to thermonuclear evaporation issues.
This is why I pirate Windows Server and KMS activate with an instance of vlmcsd on my home router (with the DNS SRV wizardry set up to allow automatic discovery). You can pay and pray, or you can vote both with your dollar and wits!
“Apple penalizes fifth graders...” should be the headline by this logic. Apple permitted the app to do this.
Text Rendering Hates You
Navkriti-Investors Pitch, Mumbai
> 2019's Stackoverflow report for OS usage put Windows at 49.3% for "Professional developers" with MacOS at 29.2% and Linux at 25.3%.

Now expand that over the years and you'll get a clear downward trajectory:

2013: 60.4%
2014: 57.9%
2015: 54.5%
2016: 52.1%
2018: 49.9%
2019: 47.5%

That's 12.9% less market share compared to just six years ago.

Note that they haven't asked about the OS in 2017 and that the numbers I've found here[0] for 2019 are a few % smaller than yours. I've also used "all respondents" instead of the professional ones because they didn't make the distinction until 2018, but quite frankly, that works in Microsoft's favor since professionals are relying on it even less.

[0] https://insights.stackoverflow.com/survey/2019/#technology-_...
Ah. I interpreted it as meaning removing the option was magical. This seems like just an increase in the dark patterns that were already present around local accounts, not a qualitative difference. Microsoft has been pushing back against local accounts hard in the setup process - you already had to carefully jump through hoops to make one.

Trying again without network access is actually one of the first things I'd try, but yes, it's undiscoverable for most people.
Sysadmin folks can transition into security

No more easily than they can become developers. There are a hell of a lot of really crappy cybersec guys around who think the job is just the access control subset of sysadmin...
The 1939 World's Fair vision of the future, or at least the GM version, "Futurerama", was mostly achieved by the 1960s.[1] (Skip ahead to 7:45).

The 1964 World's Fair had a similar GM exhibit, but almost none of it happened. Undersea cities. Large space stations. Moon colonies. Moving sidewalks.[2] No.

Shanghai 2010 was the biggest world's fair. [3]

[1] https://archive.org/details/ToNewHor1940
[2] https://www.youtube.com/watch?v=2-5aK0H05jk
[3] https://www.youtube.com/watch?v=BX_Wsh3MUpk
Agree, a simple VPN is not enough. You need to know how to use the more advanced security tools like using bitmessage for e-mail/messaging, signal with end to end encryption, TOR etc. Everything needs to be encrypted directly on your computer before it is sent and using super strong passwords on everything. All big companies and tech companies provide zero protection for their customer's. It is your duty to do it if you want true security/privacy.
It will also work with Linux though.
> I think most developers don't understand how amazing PHP was compared to the competition and just how fast it acquired new features during those early years.

The only competition in those early years was Perl iirc.

I'm not entirely sure if PHP was fast at acquiring new features.

PHP didn't have classes until version 4 iirc. Namespace in 5.4? And 5.x is around NodeJS early days where RoR and Python Django/Pylon/Pyramid was around.

I think how easy it is to pick up the language to do things contributed to its success. The template is built-in and 1000 functions in the global namespace.
> has to go without.

if the current patient is only considered as an out-patient because their bed is needed, then i say the hospital doesn't have enough beds, and should either charge more per bed, or invest in more beds.
It's a form of the tragedy of the commons. Any given individual generally has little to actually lose by allowing themselves to be surveilled by corporations. In aggregate, however, that increasing surveillance has a deleterious effect on society.
Never trust a tech company to give you privacy. Big mistake.
There is WSUS. Group Policy is a very powerful tool. Get control of your updates!
yep, same. got a good quality Sony Bravia 4K that stays offline except occasionally for firware updates and on an isolated vlan.

built an HTPC that's connected via HDMI that i can use for youtube, netflix, plex/kodi, NAS, etc.

basically a dumb display.
Great, the way out of capitalism! Time > money.
"I don't need programmers. I write programs to write programs."

I call BS. I'd be impressed if you could even write metaprogram to answer your own interview questions.
Would you please stop posting in the flamewar style like this to HN? It just degrades this place even further. I'm sure you can find substantive ways to make your points, or simply the discipline not to feed egregious comments.

https://news.ycombinator.com/newsguidelines.html
Hm. I'm open to something like that, but it sounds like he wants me to hand it over and walk away from it. So it's like a "his way or the highway" kind of thing. That's the vibe I get anyway.
Windows 10 Server supports Store, LTSC does not.
You could always try to land the boosters. It's only the payload that evaporates along with the target.
Where do 3.14 and 2 come from?
I think it depends of your scale. On most cases the real hosting cost for a dedicated barebone is administrating and managing the server. So if you need 100 dedicated 20 core server it is most likely cheaper to do that yourself, but if you need just one it is much much cheaper to use some cloud service.
Can anyone please comment on the book as a learning material for practical functional programming? All of the comments here are going on tangents (which is ok, but please also comment on the source material).
What is the standard today in Canada? Less than 30 years?
Price appreciation alone isn't enough to force people to sell - they can take out home equity loans, and the appreciation is more than enough to cover the increased taxes and interest payments. "Doubles in value every 8 years" means something like 9% appreciation, HELOC rates are 5% and property tax rates are below 2%. Starting with a paid off house, you can take out home equity loans to cover property taxes forever with that rate of price appreciation.
if they at least knew what terraform was

Any real, experienced DevOps engineer will reply “a steaming pile of shit”.
incongruity between the actual result of a sequence of events and the normal or expected result

Orangutan is granted rights, and as a result is moved to a jurisdiction where the rights do not apply.
I remember reading about a guy who wrote a neural network to solve FizzBuzz in an interview which is as close to metaprogramming as it gets, I think.

He didn't get the job though.
I recommend taking a look at TOML [1] as an alternative to YAML for many situations.

Objectives:

TOML aims to be a minimal configuration file format
that's easy to read due to obvious semantics. TOML is
designed to map unambiguously to a hash table. TOML
should be easy to parse into data structures in a wide
variety of languages.

A reddit thread titled "YAML vs TOML" has some merit [2].

YAML downsides:
- Implicit typing causes surprise type changes. (e.g.
put 3 where you previously had a string and it will
magically turn into an int).
- A bunch of nasty "hidden features" like node anchors
and references that make it look unclear (although to
be fair a lot of people don't use this).

TOML downsides:
- Noisier syntax (especially with multiline strings).
- The way arrays/tables are done is confusing, especially
arrays of tables.

Rust uses TOML to configure its build system, Cargo [3].

[1]: https://github.com/toml-lang/toml

[2]: https://www.reddit.com/r/devops/comments/6f82nu/yaml_vs_toml...

[3]: https://doc.rust-lang.org/cargo/getting-started/first-steps....
> It’s arguable that the typical BS could be abbreviated a bit or focus a bit more on “job-ready” skills. But I think the time required for most people to get there is much closer to a 48-month BS than a 4-month Nanodegree.

A US Bachelor’s is not 48 months, at most 9 months a year is spent officially studying, the rest is holiday. That would be 36 months. If we pretend the average student treats it as seriously as a full time job, ignoring all research on how students spend their time, we can still cut that 36 months in half, because half of the average US Bachelor is general education with no professional impact. That’d be 18 months.

If we want to look at the real world for examples we can see the UK, where most Bachelor’s are three years, with the extensive breaks and holidays you have in the US, but two year, full time, non stop degrees exist, or at Lambda School, which takes nine months to turn people into software engineers. They also demand more and more consistent work than well over 90% of university courses.
This is a good question.
I suspect part of the answer is that his children want to go to an Ivy League college.
>> getting worse and worse at an alarming rate

That's because Windows Division does not exist anymore as a separate business unit within MS. It's now a part of Azure. And Azure doesn't really care all that much about making desktop excellent. It'll just keep it good enough for you to buy more Azure, but not more than that.
It's great, but...good lord, that name.

If your hope is to appeal to the masses, there are in my view two cardinal sins in OS naming:

1) Don't put "OS" in the name. It's an automatic "nerd alert." macOS is an exception because you don't have a choice to install it, and Apple is...well, Apple. They're often an exception to many things.

2) No punctuation marks, symbols, etc. Just letters.

Pop_OS! breaks both of them, and one of them twice, and it drives me nuts, because it's a nice distro.
Schema-on-Read vs. Schema-on-Write
Yes, there are strong connections: In Prolog terminology, SAT is called CLP(B), constraint logic programming over Boolean variables, and several Prolog systems provide dedicated libraries to solve SAT instances efficiently.

For instance, SICStus Prolog ships with a nice CLP(B) solver:

https://sicstus.sics.se/sicstus/docs/latest3/html/sicstus.ht...

This particular solver uses Binary Decision Diagrams (BDDs) to model and solve SAT instances.

CLP(B) blends in seamlessly with Prolog in the sense that Prolog variables and predicates are used to ask questions and obtain answers about satisfiability. For instance, we can formulate a Prolog query that asks: “Are there any X and Y such that the (X∧Y)∨X is satisfiable?”

?- sat(X*Y + X).
X = 1,
sat(Y=:=Y).

The answer tells us that yes, the expression is satisfiable, if and only if X = 1. Moreover, we see from the answer that the truth value of the expression is then independent of Y, because Y is only constrained to be a Boolean variable (by the tautology Y⇔Y) and not involved in any other constraints.

To obtain concrete assignments that make the expression true, we can use the library predicate labeling/1. On backtracking, all solutions are enumerated:

?- sat(X*Y + X), labeling([X,Y]).
X = 1, Y = 0 ;
X = Y, Y = 1.

There are many different ways and approaches to implement SAT solvers, and this diversity is also reflected in Prolog implementations that provide them. For instance, in GNU Prolog, SAT solving is provided as a special case of integer constraints:

http://www.gprolog.org/manual/html_node/gprolog061.html

The SAT solver of B-Prolog is so strong that it can compete with some dedicated SAT solvers. For a nice overview:

https://www.cs.nmsu.edu/ALP/2013/03/the-sat-compiler-in-b-pr...

A very nice SAT solver implementation in Prolog is explained in the paper A Pearl on SAT Solving in Prolog by Jacob M. Howe and Andy King:

http://www.staff.city.ac.uk/~jacob/solver/flops.pdf

The paper shows that 20 lines of Prolog code suffice to implement an elegant solver for—as the authors put it—"solving some interesting, albeit modest, SAT instances".

However, SAT is a quite low-level way to encode combinatorial tasks, and for this reason, CLP(FD/ℤ), i.e., constraint logic programming over finite domains/integers is typically used instead of SAT when solving combinatorial tasks with Prolog.

Conceptually, we can think of CLP(ℤ) as a generalization of SAT solving, where variables can range over the entire integers instead of only 0 and 1. Strong and fast constraint solvers over integers are a major attraction of commercial Prolog systems, and often the key reason for buying one.

From a logical perspective, propositional logic can be regarded as a special case of first-order predicate logic, so a language rooted in predicate logic, like Prolog, is also related to SAT solving in this way.
It didn't have a source, but it's not pseudoscience.

The switch to anaerobic glucose metabolism is part of the evolution of cancer as it progresses. This is because oxygen diffusion into a solid tumour is a limiting factor upon its growth. Cells which switch off aerobic metabolism will be selected for, since only they will survive and proliferate in an oxygen-free environment. You'll find this in most cancer textbooks. It's not new; I was taught this in undergraduate lectures two decades back. This switch is actually one of the key control points which holds a brake on the progression of a cancer past ~1mm in size, which is basically the limit of passive oxygen diffusion into the mass.

It's fairly logical to keep glucose levels minimal to reduce the growth of this type of tumour, and removing sugar from the diet is a simple and effective way to do so. A diet which is based upon fats will do this, since fats can be converted to the minimal levels of glucose the body needs via beta-oxidation. This will reduce the metabolites available to the tumour significantly, compared with the huge spikes you get when you absorb it directly from the gut.
To note - very small city airports don't have security to pass through. Of course, at those population densities, trains don't make sense anyway.
Reminds me of Firefox evangelists.
>this is a product targeting a market that normally spends over $40,000 on a monitor without any mounting gear or stand to do the same work. Apple's display a bargain in context.

Sure, the cost of the stand is peanuts to the overall cost, a pro will buy it without a blink - but that doesn't mean it's not overpriced. Same thing happens in every industry where professional tools come with extras and accessories not worth the price, but not worth the time to shop around either when the cost is a tiny fraction of the total
Orwell's telescreen is here for years but has a different, more pleasant packing and features because the world we're living takes the best from both "1984" and Huxley's "Brave New World" mixing it together.
My understanding of LiFi : it's absolutely great apart from when the test room has bright natural sunlight.
Their loss. Think of all the programmers he could have replaced!
What's the similarity to iCloud?
> If you come to me looking for a job and didn't go to college, why?

There is an obvious and common answer to this: college is expensive, both directly and in opportunity cost of not working. It's an expense that few people can easily afford without significant family support or loans.

Filtering by college degrees is filtering by family wealth more than anything else (or otherwise someone's willingness to get into debt).
I don't think you ever "just need one", for me one is always two : staging (and ci, by extension ..) and production.

Provisioning an EC2 instance or a dedicated server just has the same cost in terms of manhour: running some automation in deployment pipeline, is something that you'll have to setup and maintain.

Be it updating a docker-compose file over ssh with ansible or something else: you have to do it anyway. If you want to cut that cost perhaps try with a starter project from OpenShift or Heroku, but that will also have a bigger cost even than an EC2 instance, and you will still have to take time to ensure your deployment is properly automated, with automated backups as part of the process.
As someone doing cancer research and running a clinical lab, diagnosing cancer every day, I read the accounts of folks with cancer with a certain degree of lachesism. I want to know what this is. I know chickenpox and a broken leg and I know what it's like to have a loved one with cancer. But the thing itself, I do not know.

I spend every waking moment thinking about how to hunt cancer. It used to be reflex, now it's been so long it's somewhere between habit and addiction. My cognitive self knows I don't want cancer. But there's definitely a weird, fucked up interest in what it's like.
I have a feeling that there is going to be a big community of DIY hackers that are going to figure out ways to just disable those features. For example, I am sure the TV could be opened up and the camera could just be disconnected. Most of those little cameras are simply connected via ribbon cable anyways.
I'm sure you did have that intention and that's a good thing. But mental health is a complex thing and publishing comments like that can have strange side effects. It's really best not to go there.
Check this app https://lutris.net/ .
There's a patched version of Chromium called chromium-vaapi (in Fedora's RPM Fusion repositories) which supports GPU acceleration.
https://www.bbc.com/news/business-48630656

"This week's Paris Airshow saw the launch of the world's first commercial all-electric passenger aircraft - albeit in prototype form.

Israeli firm Eviation says the craft - called Alice - will carry nine passengers for up to 650 miles (1,040km) at 10,000ft (3,000m) at 276mph (440km/h). It is expected to enter service in 2022."

"Eviation has already received its first orders. US regional airline Cape Air, which operates a fleet of 90 aircraft, has agreed to buy a "double-digit" number of the aircraft."
We detached this subthread from https://news.ycombinator.com/item?id=21096033 and marked it off-topic.
This is a bit hard to understand for young people, I know :-)

Older people have already spent so much time on learning new stuff that they feel spending even more time to learn something they already know how to do is a waste of time. I'm slowly moving into this category myself. Why do you have to redesign something that works just fine? Just because you want to get paid more is not ok reason.
Quite long but it's the wrong question to ask. The reason that huge jets that cost in the order of hundreds of millions and burn tens of thousands of liters of fuel per flight are interesting at all is that their scale adds up to a reasonable fuel cost per passenger.

Electric flight does not have this problem and nor does it have the scale advantage. Flying smaller electrical planes is more efficient on a kwh per passenger basis. It's also easier to build them technically.

The SF to LA route is well in range for the Eviation Alice that should hit the market in the next few years. The variant they are advertising carries 9 passengers + 2 crew or 1,250kg of useful load for a bit over 1000 kilometers (including the required extra range) using 900kwh of batteries. This thing is supposedly entering certification after next year and should start hitting the market in a few years.

This is obviously not a jet but the economics of flying this thing are very different. It completely destroys the business case for that. You charge it with cheap electricity. The unit cost is in the order of 3M$, it can fly in and out of any small airport, and it makes a lot less noise. One full charge would cost about 50-100 $ depending on how cheap you can get your electricity. Probably lower than that given improvements in cost of e.g. solar.

For the price of 1 737, you could buy a few dozen of these. It can do a lot of things a big noisy jet can't do while being cheaper at it. Imagine a fleet of about 10000 of these flying back and forth all over California to any of the dozens of small airports. Deploying that amount of planes will take a few decades probably. Over that time you can expect improvements in range, battery efficiency and economies of scale. So, bigger, faster, cheaper happens as well.

I'm not sure it will ever make sense to cram hundreds of people in an electrical plane. But why would you want to when the small ones eventually drop in price to a couple of tens to hundreds of K each and fly you from A to B autonomously for the price of a cup of coffee?
If you have airplane preferences, it's best to fly on airlines that only use planes you like, or never use planes you dislike. That means avoiding the largest airlines, as they are most likely to mix and match.
Telegram channel about React Native from a fellow lover and enthusiast
Hey guys, my name is Andrei. I am a Co-Founder/React Native Developer at Bravrr Inc.

Building React Native apps for the last 2 years made me go through some challenges that tough me a lot of good lessons that I think might be useful to share with the world. I think React Native community is one of the biggest reason why it is doing so well and I want to contribute to it.

That's why I created a telegram channel where I will be posting React Native, React.js, JavaScript and any relevant news. Also, I will share some of my thoughts on common problems that most of us face and some advice s on how to solve them.

Feel free to join here: https://t.me/React_Native_Status