skysight-inc/HackerNews huggingface dataset:
I've also done both, and think BASE is way scarier. I know way more BASE jumpers gone than people who fly pistons IFR.

What are the odds of two instrument rated BASE jumpers on HN?
You can buy an airworthy legacy Citation 500/501 for $200K with a few hundred hours left on the turbines. It’s not the purchase price that gets you; it’s the operating costs. Fuel burns of 150+ gallons per hour at only 350mph cruise and regular five/low-six figure inspection/repair bills are what really puts a crimp in the plans.
I like to think that "a step in the right direction" and "a good thing" have conversationally subtle, but critically important differences.
Then got f* by p2p and piracy on movies, which killed blockbuster way before netflix et amazon prime, etc became a thing lol
> I can only hope that WireGuard is going to drive a solid piece of hardwood through every "commercial grade" VPN appliance out there

I'm not sure that will happen. I mean, we had multiple solutions very close to what wg provides already. They're not as trivial to configure, but it would definitely be easier than creating a custom java applet instead.

Whatever makes enterprise VPN so bad, it doesn't seem to be the availability of better tech.
Maybe intention is the difference here. The "normal" people are simply running on routine with no designs to stick to that routine should a disruption appear. By actively intermittent fasting, you are declaring your intentions, likely with a specific goal in mind.
The Only Solution You Need for Small Business Inventory Management
Having been at 3 companies that did this, I can say with certainty that our caching proxies (artifactory in all of them) were much more likely to go down than the public repos were.
> switching from drinking beer out of bottles because it "tastes better"

FWIW, that was never true, anyway. It's just that, once upon a time, cheap beer came in cans and expensive beer came in bottles, so it was hard for consumers to make a decent comparison.

When I was in beer judging class, we did an interesting blind taste test among various beers that are available in both bottles and cans. The cans consistently won. It didn't take too long to notice the pattern, either: At least for beers with a more delicate flavor, the bottled version tends to have a certain subtle hint of soggy cardboard that's absent in the canned version.
That is incredible, and I'm a little jealous.

I need to eat every two hours, maximum, whilst awake. If I miss one period then I'm basically unable to function normally.
Since there are folks here in the field, does anyone know what the feasibility of building something similar to the VLA, but with thousands of smaller satellites? If doable, seems potentially possible to cover a lot more sky at once with less terrestrial interference. No idea if this is practical or not.
Facebook ads push misinformation about HIV prevention, ‘harming public health’
I think the problem is the business models. EV manufacturers rely on the gas savings to make their product financially enticing.

The battery is the crappiest part of the vehicle. It will be the costliest and fastest major component to wear out. It will be the most toxic for the environment. If it can be recycled at all, it will not be economically effective to do so. If it cannot, safe disposal will be very expensive.

Any "swap the batteries" model would expose that EOL cost of EVs because the battery swap company would have to deal with those dead batteries. An EV also becomes a much less appealing financial proposition when the cost is upfront vehicle cost + lifetime monthly cost for battery swap service.
You can't control for your dependent variable.
I think you're underestimating the inertia of deploying beefier electrical grids with even more charging points, and the nuances of billing and metering.

It isn't as easy as just making an outlet or inductive charger every 6m. That infrastructure has to be owned, installed, upkept, maintained, and subsidized by someone. Unless you think that all that power grid interfacing is just going to be paid for by someone else.

The flippant optimism that things will all just happen and ignoring of the potential for underlying complications beyond those immediately apparent is incredibly grating to those who have to actually trouble themselves with working through them. The idea of a single charging point per 6m doesn't even account for the sudden logistic complexity where the entire extended family all piles into the place and realizes that oops, we all have to charge here, but the local node is already saturated most of the time by locals because the engineers didn't foresee the need to provision for that type of surge in demand.

In comparison, gasoline dispensing is a relatively straight forward affair that doesn't put any excessive new loading on already heavily loaded infrastructure systems responsible for running everything else in our lives in the same way battery charging does.

Unlike software, settling for "good enough" isn't trivially solved by an OTA update. Hell, software isn't always that great about that either once the level of safety-criticality gets high-enough. The joke that is self-driving system development aside.
Spark and dependencies are just as much of a tire fire and you’ll often want Hadoop as well.
And even for the stuff that does need new inventions or discoveries to make it work or work more cheaply/efficiently, you'll still probably not get enough scientists and engineers working on it until there is a market created for the output via the political and economic things you mentioned.
Sweden, and absolutely, for me things are without a doubt much better here. There will always be annoyances in life, but at least it's not death by a thousand cuts, which is how I felt about living in the UK.
The article says "the study found a correlation" and then promotes it to an assumption. One of their two sentences is wrong.
Non-commercial corporate aviation flying twin jets also has an excellent safety record.
For me the most important thing about graphql is composability.

Child component can communicate their data requirements to the parent and parent can include them in the query and feed the data to the children as it arrives.

Don't know if Datalog has anything for that.
You have make call the platform specific build systems.
Completely agree. People are sternly labelling this "a good thing" with no further consideration, almost like a preemptive challenge to any other viewpoint. The tone is disturbing.
Repo Blowup Was Fueled by Big Banks and Hedge Funds, BIS Says
There's 10 Km one between York (England) and Selby, a cycle path. I had a tyre puncture near Pluto...
Show HN: Cool algorithm to simulate ripple effect
First R in RRR is Reduce. Then Reuse. Lastly Recycle. Sounds like you're on a good track.
Why don't I execute my ideas?
I consider myself reasonably creative, I test high in openness, in high-school I started my own web development company, followed by an IT reselling business, I'm now 23 and I'm at a loss, I no longer start things or execute on my ideas, I have some things that I could start doing right now that will provide some fulfillment and possibly reward me financially, instead I procrastinate, and put them off, and off, and off. I have ideas, I start a folder and write the general idea out in a textile but then it just sits there.

I spend most of my time researching things I'm interested about, reading blogs or online articles on various topics, and I never do the work that could actually improve my life, let me give you some examples:

1. After getting diagnosed I found out I had an interest in maths, I want to re-learn as much as I can from scratch and go from there, instead of going home and setting out some time to learn it, I go home and procrastinate.

I have my suspicinons on why this occurs, one being that I think I am scared, scared of failure, I was diagnosed with ADHD recently and after long weeks of research and talks with my psych I've realized just how much of a negative impact it had on my life, it gave me some opportunities because I think outside the box and had personal interests that were valuable in the Job Market, but it also took those opportunities away from me in a very cruel way. I'm now on meds and I'm getting better, but I think those early childhood setbacks that could've been avoided affected me quite a lot, I want to explore this more with my psych.

But this occurs to people without ADHD to, the low unconsciousness idealist is a common trope, so I'm wondering, if you had to guess or make an informed decision, what would the main causes of this be? I'm leaning towards fear, but I'd like to hear your thoughts.

I realize this is a talk to have with a psychologist btw.
I've been flying small rec aircraft since ~2000 and fly commercial out of Dulles weekly, and I don't concur at all that there is a time savings over GA.

Depending on the airport and your timing, if you have TSA Precheck + Clear, no checked bag and a scheduled car service, you can get dropped off, through security and onto a United/Delta with basically no waiting.
I know 4 people that died flying their own planes. Some things are best left to professionals.
Serverless: I Sleep at Night
The point is that almost all of what people have termed "medical bankruptcy" has approximately nothing to do with healthcare costs. It has to do with income/career disruption associated with their health, so these issues play out to a similar degree in other countries for similar reasons.

While I can believe there is somewhat higher variance in the US system in terms of bills/prices/etc, which sometimes affects people meaningfully, it's also worth pointing out that out of pocket costs aren't unusually high in the United States. I mean, we might have a slightly larger problem with these, but that's much more of an implementation detail in terms of who pays and how much than the sort of top-down policy proposals some people seem to believe are necessary (because they've badly misdiagnosed the situation or are ideologically blinkered)
But its point updates will provide the option to update the kernel. https://wiki.ubuntu.com/Kernel/LTSEnablementStack
What is geoengineering?
>What exactly is a "simple diet"? Not eating certain foods? Limiting portion sizes?

Determine how much calories you get to eat a day to not gain weight. Not to loose weight but also not gaining weight. Once you are capable to hold your weight and understand what gets you how many calories, you reduce. Dont hurry, just get a bit under. Its a marathon not a sprint. No one martyred them self to death in a few month with 200 kcal less a day.

>Research shows that traditional diets have extremelly low compliance rates.

We also have an extremely high rate of jojo eaters. If you never learned to stick to your sustaining energy level when eating, you will go right back up again once you stop with something like intermittent fasting. Or do you really want to do that for the rest of your life? The sad reality is people get just enough motivation to try one of those mystic new fades and are emotionally wrecked when they cant handle the strict regime. Or they keep going and treat them self afterwards. There is no shortcut around learning to eat right, they would have been better off to slowly get their problem under control instead of a desperate hail mary. There is no short term fix for your problem you need long term change. Once you get a stable intake, sure try intermittent fasting to loose more quicker. But remember that you are not going back to before but to your sustaining level. That part isnt optional you arent just dieting you are changing your food intake permanently. If you never learned to just watch your calories and tricked yourself into loosing weight you are screwed. I dont see how intermittent fasting can be seen as a first go to. You need to introduce a diet before you can change your diet. In other words, not "just a few more month" but "Congratulations, this is the new normal now."
You can even avoid dockerfiles by using Ansible:
https://docs.ansible.com/ansible/latest/scenario_guides/guid...
IPSec is too (at least in tunnel mode).
I'm sure there are far fewer people on HN at the lower end of the global wealth scale, than in the global population.

But it takes a lot of money to buy a jet. I would not be too sure that the very top of the global wealth scale is well-represented here, either. Dicking around on a web forum seems like a waste of time for someone with the means to live the life they want.
Guess it's a good thing you're not a medical professional who prescribes medication to help with diagnosable issues, then.
Well, the problem with anecdotal evidence is that it is unreliable and often subject to bias. It is just not very useful to a reader because they are missing both the context of the experience and the political predisposition of the writer.

If you already have a certain mindset you are going to dismiss evidence to the contrary, too. You may just be confirming your opinion by only acknowledging positive samples. For example, you may not even know about the subset about psychedelic users who are perfectly normal and "un-hippy" because they do not tell you about their drug use. Likely, if you observe habitual and open drug-use you may also encounter a specific personality type.

>when neither the people writing the articles, nor those reading them probably know very many people with any experience.

I also would dispute that, drug use in the US is not that uncommon, especially under millenials and university graduates. So it is quite likely that both readers and authors are familiar with psychedelics.
There are a few reasons I think:

Battery packs are often now integrated into to structure of the car as well to save space, weight, and help with crash ratings.

EV batteries also require more than just an electrical connection. Most EVs (besides the Nissan leaf) have liquid cooling/heating so you'd have to manage those connections as well.

Many EVs have different size battery packs as well. It would be hard enough to manage all the inventory swapping one type of battery, let alone 50!
Yeah I made a serious go of Keto a couple years ago for about 4 months, and I had really good results with it, but there were a ton of drawbacks as well. Once I got adapted, I didn't have major cravings for carbohydrates, and I felt pretty good on a day-to-day basis, but every time I "cheated" and had a bite of cake for a colleagues birthday or something, I would crash and burn and basically go on a bender of compulsively eating carbs until I could get myself under control. Then it would take another week or so of willpower testing to get myself back on the wagon. Basically it felt like a very all or nothing thing.

There were a couple "weird" things as well. For instance, it affected my sleep, athletic performance and even though I was eating a ton of fiber and taking magnesium supplements, my regularity suffered to a massive degree. The other thing was that my weight rebounded fairly quickly after going off of it.

Basically, Keto seemed like I was doing something sort of extreme to my body, whereas fasting is just simply not eating sometimes, and feels very natural. Also you never have to order off-menu items, or explain why you can't take the cookie somebody baked for you.
Out of the examples I would take a look at the LogicBlox Stuff,
they gave join algorithm research a big push with their Leapfrog-Triejoin.

The following papers ascend in difficulty, and are based on each other, but offer a fascinating glimpse into the connection of DPLL SAT solving and Conjunctive Query evaluation.

https://openproceedings.org/2014/conf/icdt/Veldhuizen14.pdf

https://arxiv.org/abs/1310.3314

https://arxiv.org/abs/1404.0703

As for reasoning and decidability, I think we need to clarify the decidability we're talking about. Decision problems are decidable or undecidable, and when one talks about decidability for a logic one usually means the decision problem wether a given formula of the logic is valid or not.

Everything finite is always decidable, because you can just enumerate all possibilities.
And logics without negation (like Datalog without stratified negation) are generally (?) decidable because you can just construct a Herbrand interpretation accordingly.

However when we talk about correctness and formal reasoning there are other decision problems which are relevant, most of them revolve around stuff like "does this program implement this specification?", "does this program terminate?", "is this program keeping these invariants?", "are these two programs equal?"

Note that even if these problems are undecidable, it doesn't mean that they're always undecidable, just that they're not decidable in general, e.g. the halting problem is undecidable, but I can give you infinitely many turing-machines which always halt.

The pure side effect free fragment you describe is still at least as (?) powerful as FOL, even HOL if you include the meta predicates like call, thanks to the build-in predicates like forall. Heck I guess the build-in arithmetic alone will cost you decidability (of validity).

Datalog is even more restricted than what you describe and equality of two Datalog programs is not decidable according to
https://core.ac.uk/download/pdf/82609701.pdf

So the question is, how much reasoning a.k.a. how many decision problems can you actually do/solve on Datalog and Prolog. For Datalog, I'd say quite a bit, but not everything, and for Prolog I'd argue very little. But both give you a lot of power in return and that's the price you have to pay.

Edit:
And yeah, I don't envy you, on having to work with side-effectful prolog code. At some point it's just writing C with extra steps, ground through the Warren Abstract Sausage Machine. ^^'
Facebook’s powerful ad tools may imperil democracy. But politicians love them
Here’s the link to the Ink & Switch paper: https://www.inkandswitch.com/local-first.html

They also have a bunch of other articles that are great reads. The one on end-user programming is especially good, imo: https://www.inkandswitch.com/end-user-programming.html
For sure, and it felt wrong at the time but I took their reassurances at face value. While I'm sure there was some process by which I could reclaim the money, in the end I just gave up and wrote it off.
That doesn't work on SSDs, and the data might be even theoretically recoverable on HDDs :
https://security.stackexchange.com/questions/12503/can-wiped...
> Therefore, you should assume there is no reliable way to securely erase individual files on a SSD; you need to sanitize the whole drive, as an entire unit.

There's a reason why when security is deemed important, the storage is physically destroyed instead.
The title misses " and software". Isn't Linux "foreign"?
Mboscodictiasaur obviously.
Apple was very successful in the 80s and was more profitable than MS up until 1993. Teo things almost killed Apple in the mid 90s.

They didn’t focus enough on market share around 1988-1993. They focused on high margins. When Windows 3.1 came along, it was good enough. But even as late as 1992-1993, they were the number one or number geo computer seller.

Next was a high end product. Apple needed to be more mass market.

Apple did fall behind Windows technically from 1995 - 2003. But remarkably enough, they were able to sell enough Macs running pre OS X to become profitable.
Fresh water is a rather precious commodity and running a dishwasher just to dispose of stuff uses even more power (even the soaps used are generally not particularly friendly for the environment). A better idea is a 5-gallon bucket of rainwater and an old bottle brush. Recyclables need only have the large dirt removed rather than being germ-free like a dishwasher is designed for.
The “small remote airport” is often closer to the eventual destination/origin. Charters/private operator can and do, for the most part, use any airport (at least in the US) so any decision to use a satellite airport is driven by convenience or fees. Most charter buyers are fee insensitive (what’s another $500 ramp fee on a $12K flight?) and convenience/time sensitive.
Paul Volcker has died
Delays and cancellations aren't the norm everywhere.

What is the norm worldwide is long intervals between getting into the airport and the airplane departure and between airplane arrival and one getting out of the airport. As a norm passengers waste at a minimum 2 hours before departure and 30 minutes after arrival.
This is just a talking point promoted by the very same people that said:

It's not happening, the scientist are lying.

Okay, it is happening, but it's not man made.

Okay it is man made, but there's nothing we can do.

In fact, it's probably a good thing, CO2 is plant food!

Okay, it's bad, and there are things we can do, but I don't like the suggestions that other people are making.

We would have solved it already if people weren't so left wing <-- we are here

I will also strongly imply that the reason they don't just accept other solutions is that it's not a real thing (taking us back to step one).

And no, I won't implement even the right-wing, market friendly stuff I previously claimed I wanted, like a carbon tax or reducing subsidies on carbon generating stuff.

Honestly, listen to yourself. The current American president literally said it was a hoax and pulled out of the Paris agreement. He got the head of Exxon to be his embassador to Russia.

And you're claiming that the real problem is the democratic socialists who want to ensure coalminers get retrained and that poor people houses are insulated?
I mean the "higher-performing companies" part, I would assume any SP500 can buy a private jet if it chooses. Yeah, the article's obviously wrong.
I love the pfand system we have in the Netherlands and Germany. I read that about 90% of the bottles and containers are returned because there is an immediate financial incentive to do so.

In Asia, plastic bags are given for free, and I'm sure charging a few cents would have made a massive difference. Uber Eats, GoFood, and Grab Food all have made some changes so you can mark if you do not want the plastic cutlery. There is a company in India, Zomato, that even sends recyclable bags along the food. All of these changes should be appreciated by both media and consumers.

Recycling would never solve the problem alone. It's an illusion of a solution. Using less and less plastic and more alternative material would.
As i understand it, intermittent fasting is a lot more then a mind trick to let you stick to your diet. Its a plateau breaker. Once you are really far into your diet and hit a brick wall, despite the reduction, try a plateau breaker. They apparently actually work, and i am really interested in why. Differently put, I was hoping for medical research here, not psychological.
What is an "experimental theoretician"?
Before containers, I had sysadmins who ran our AIX cluster. Three nodes, not a single one configured like the other. There was zero consistency where it counted and these jokers would go on a terminal and manually configure Websphere and other components and screw it up constantly. We even tried to give them a terminal tool where you could type in one window and it would mirror on other boxes, but they refused to use it.

Puppet, Chef, Ansible, all led the way to something better. Docker and Kubernetes feel so far advanced from what we had in 2012.
Operations for Effective CEOs
Spark still depends on Hadoop for a lot:

- Using Parquet files = parquet-mr which is tied to Hadoop MR
https://github.com/apache/spark/tree/master/sql/core/src/mai...

- Using S3 instead of HDFS = Hadoop S3a connector

Even if you don't run HDFS and YARN, you aren't escaping Hadoop. And if some configuration goes wrong, and you'll probably need to look into the Hadoop conf files.

The original comment was about the mass of libraries that Hadoop brings in. Spark isn't a solution that allows you to leave the mess. If you try to dockerize spark, you'll still see that you have 300 MB size images full of JARs that came from wherever.