skysight-inc/HackerNews huggingface dataset:
Oh, so you publish in logic program synthesis then? Your field and mine (Inductive Logic Programming) are practically neighbours! :)

The paper looks interesting, I'll have a look.

(Although I guess your work is more on the "transformation" part of "logic-based program synthesis and transformation").

>> I believe this is where most approaches fail, that they model effectful input-gathering just as input-relations, but you need to control your input as well as your output in an interactive application.

To be honest, I struggle a bit with the terminology here because I'm woefully behind with my knowledge of modern Datalog (I only need to use the bog-standard language from the '80s to achieve my goals). For example, I'm not sure what counts as input and output in Datalog parlance. I think "input" is your intensional and extensional definitions, then output is the ground facts derived from them?

I'm interested in this also:

>> Had to ditch the extensional database for that. Not strictly necessary, as it turns out.

Is that explained in the paper?
Strong and unevenly distributed. The more rural the area, the less vaccinations are occurring, and also less mask compliance. So the ~33% anti-vaxxers aren't evenly distributed, they are probably <10% in some and >50% in others. As of May 16, there is about 45% vaccinated in New England but <30% in the deep south.

This means there will likely be covid hotspots and reservoirs for a long time.

https://www.beckershospitalreview.com/public-health/states-r...
Can you point to an example of Epic doing that from an Apple-owned page (meaning, specifically, not from the app that Epic owns)?

You're moving the goal posts further away from this example making sense.
Go is extremely well known for its legibility. You’re way off base with this take.
On the other hand, people have been avoiding going to the doctor, so diagnosis and treatment of all sorts of preventable/treatable diseases (like cancer) is down, leading to excess death, disability, and suffering.
Do you have a reliable source that the covid deaths in FL were manipulated downward?
What is more likely is that the name of the interventions had very little correlation with the features that actually matter. Just because 2 places declare a "lockdown", it doesn't mean that they are doing any similar policy.
Most languages also have examples of single words that convey concepts requiring many words to express in English. Always fun to discover these gems. Here's one that I learned yesterday in Visayan: "Manginhas ta". This means "Let's go the beach at low tide and turn over stones and collect small shrimp and other edibles."
Just testing on random parens gives you an expected stack depth of O(sqrt(N)). I've also (just now) tried biasing the sequence generation with more pushes than pops, and it doesn't substantially affect running time.

The case where the stack depth is greater than the partition size is tricky for sure, and this is what I call the "backlink" mechanism. The tl;dr is that it follows the deepest link (furthest from top of stack) that it can, and continues the look-back process, until the slice is complete. You can search for "backlink" in the code - it's actually not a huge amount of logic, though it certainly was subtle to get right.
Be careful if the stats came from an Israeli.
My understanding of the word pillock is that it is a synonym for the word jackass. So I am referring to the fact that just because he is financially successful, does not mean he cannot be a jackass and voluntarily do bad things, which is what you insinuated.
> With google play store, an _update_ to an app needs to be signed with the same keys as the original app.

Sure, just like how if you let's say own Google Play Store and own those updating keys, you can change it (selectively most likely) to skip checking the signed updates.

They own the full pipeline so if they want, you really stand no chance unless you're running your own OS.
It is of course worth learning, very much like Java, PHP, C, or Cobol. These languages are going to be with us for a long time, just because of the large amount of important code written in them.

If you want fun, you might consider other languages, like Ruby, or Clojure, or Rust, or Scala, or Elixir, or... But they are not going to be as much the foundation of corporate software, exactly because they are more expressive and require higher qualification to handle well. The languages from the first list, though, while more boring, provide a more certain piece of bread and butter.
Aren't most languages these days self-hosted? Which don't have a stdlib written in the language itself?
You have organizations that see themselves as "software" companies that have their own set of problems.

Many others see themselves as "libraries", "geospatial analysts", "insurance companies" and share the issue that being a programmer slots you into a certain place in the social hierarchy. You might be happy as a clam in that kind of place assuming you can accept that there is a ceiling you'll never get past as a programmer.
Searching for what excess mortality looks like in a "normal" (non-pandemic) year, I found this interesting statistic:

> By the year 2017, the United States was already suffering more excess deaths and more life years lost each year than those associated with the COVID-19 pandemic in 2020

https://penntoday.upenn.edu/news/United-States-COVID-19-was-...
It's pretty sobering how quickly large numbers just become yet another statistic and just something that gets accepted by many. Here in Germany numbers way exceeding the high points of the first wave just went as "meh, let's not do anything rash that could make businesses or people unhappy" this year (although of course quite a few people are also made unhappy by people dying... I'm really curious to see how this will shake out over the next few years).
One aspect is that IIRC California got a much earlier spread than Florida, so any measures taken in Florida to reduce the spread (including by people on their own initiative) effectively happened at an earlier stage.
In how many of the countries that did really well did the virus have the same head start that it had in the US and Europe before getting discovered?
Automotive fatalities were actually up substantially in 2020.
Simple. US has obesity as a significant comorbidity factor.
Isn't any cell tower essentially a way to measure humidity as long as your receiver sensitivity and signal resolution high enough?

Given known EMI patterns along the path of propagation of course.
Modern Immigration Solution for Foreign Founders Is Back: Entrepreneur Parole
DreamWorld (YC W21) – The Craziest Gaming Scam Ever?
Typically the small amount of volume is by the contract owner attempting to pick up attention from momentum trading bots.

This type of contract made a killing a few months ago. Basically miners trade by sandwiching orders in the mempool. You can search the 'salmonella' contract for more info.
>So instead I check whatever main variable the initialisation initialised before the initialisation starts - even when it looks a bit awkward cause it does sometimes. Also, the whole concept of initialisation is a bad pattern. You dont want to have an initialisation whenever you can avoid it, you want to perform the whole calculation every time. 'initialisation' implies a state machine. You dont want state machines, you want stateless machines, as much as possible. So yeah, 'initialisation' is a good optimisation some of the time and most of it a bad compulsive-caching habit.

One issue is that every operation in Ethereum smart contracts costs some gas, with differing gas costs for different kinds of operations. I'm not sure to what degree it applies in this case, if at all, but anything you can do to reduce the number of operations (and minimize costly operations) helps reduce gas costs.
There should still be a difference between open vs close then since they open approach would still have people going out driving and getting the flu.
If this is a bug in systemd it belongs at systemd no matter which version it is. If systemd doesn't want to do support that is their choice but distros aren't the right place to post systemd bugs. It only belongs there if it is either a bug in the distro itself or a support request for distro specific problems.
I had to chime in here and say I really like this post, thank you for taking the time to write it out. I would give it extra up votes if I could.

It is a nicely concise summary of the problems. I'd disagree with the characterizations of the previous system as "cobbled" or "horrible hacks" but there are solid things that need to be solved well by any system initialization architecture/service.
It’s impossible to offer a competitive rate while still taking any cut whatsoever. The App Store is a storefront.

Obviously every developer would prefer to transact directly and bypass the cut, while relying on the App Store for advertising and visibility.
No, I think you misunderstand. The rewards are predictable, and fees are generally a tiny fraction of the total reward (a few percent or less). The exchange rate vs the price of electricity is what determines whether it's profitable to consume electricity to hash for a PoW chain. There are some efficiency hacks like merged mining that improve the situation a bit, but essentially the person you're downvoting is totally correct.
One the one hand yes, but on the other hand unfortunately it also complicates backups and makes them somewhat non-portable.

While APK backups aren't officially supported and therefore might not factor into the decision making, curiously enough Google itself only recently added a feature to the Play Store which apparently allows direct sharing of APKs between nearby devices.
Split APKs however mean that you can only sensibly share apps with devices having the same screen density, language, etc. as your own device, somewhat devaluating that feature again.
This is not the case with automotive fatalities, they were up in 2020. "A 24% spike in roadway death rates is highest in 96 years"
Coins by Yuzhou Zhu – seems very similar, has a few more features but not in an obtrusive manner
No problem
Just signed up looking to forward to it
Just in case anyone thinks this was confined to rural areas it was not.

I had to go do business in LA specifically around Manhattan Beach and Inglewood, and the folks that live there were taking me to strip malls where all the businesses looked closed but we're all actually open.

They just had their windows covered. I'm talking about an MMA gym next to a hair salon next to an Ethiopian restaurant.
More eyes = more debuggers = more security
Interesting, do you suggest any sources to read more about this?
> Don't you think there's a net benefit to Elon with Tesla getting literally all vehicle manufacturers to now seriously be on the path to mass producing EVs?

I don’t think he’s the reason. I think the reason is the regulatory pressure on reducing carbon emissions and subventions for anything electric.

The more the traditional manufacturers invest in EV’s, the worse for Tesla and Musk. Look at all the models from Mercedes, they’re all better than Tesla. The new Audi GT? Taycan? Any time over Tesla. Not just the car but the service network, spares, supply chain, build quality. I think Musk is going to play himself with Tesla but time will tell.

And let’s see in 10 years if EV’s are a net benefit to anything. Generally all this electro-crap. Let’s see how the green leaning part of the society reacts to fibreglass windmills landing in the landfill on the 20 year cycle.
Still, the vast majority of cases in California have been in the metropolitan areas that have also had the strongest restrictions.
Schools in Florida have been open since last fall. That's a pretty huge difference, with little difference in pandemic deaths.
I'd wait to draw any serious conclusions until after the pandemic is "over" in both countries you're comparing. It sure seems like this virus doesn't need much of a foothold to take off, and just because an island has been able to deny that so far doesn't mean they'll be able to deny the virus until they are fully vaccinated and out of the woods.
What rubbish. In the UK the figures have been blatantly inflated. The entire UK media has turned into a bought and paid for government propaganda machine; the only journalists left are the independents. The whole thing has been such farce that I now struggle to acknowledge anything more than the presence of a virus. I still, after a year, don't know anyone who knows anyone who's died from this catastrophic, sky is falling, disaster pandemic. Condolences to anyone has been affected, but this whole think stinks with deceit.
California is huge and had numerous places actively(purposefully) flout public health measures like quarantine, lockdowns and restrictions on gatherings. It's hard to compare the two.
Physical booby traps tend to be illegal if they aren't supervised. Not sure if that's only for physical damages / injuries or applies to other damage as well.

https://en.wikipedia.org/wiki/Katko_v._Briney
I’ve heard the original story and this clarification sounds like the material for a much better movie
Water exchange colonoscopies reduce discomfort and may lessen need for sedatives
Cloudflare launches campaign to ‘end the madness’ of CAPTCHAs
It literally codefies "the rich gets richer" deep into the protocol. While I'm pro-eth, this makes it a lot less "fair" in my opinion.

With PoW, miners can't really hold on to the coins for very long, so they have to dump it to cover electricity and hardware costs which always creates supply whereas with PoS, a staker can just hold on to the coins they get forever at no cost and their share of the pie keeps getting larger and larger forever.

To be clear, I'm not complaining, if eth decides to pay me 5-10% per year based on my holdings for a simple cryptographic signature, I'm not gonna say no, but it definitely creates a weird dynamic where new entrants will have to buy at the price the stakers decide to sell, which could be sky high since we have no pressure to sell.
IT's not my area of expertise, but the eudev page does speak of restoring some functionality that it lacks without systemd running alongside it, as well as removing glibc and GCC specific dependencies.

There is probably a reason why even many binary systems adopted eudev instead. — the maintainers often justify this with “problems” with udev but never go into much detail about what that is but the language does keep suggesting that it restored some functionality that is missing if it run sans systemd.
How important is a head start though in these situations? If the response was poor in either case, the result would be poor, right?
I’m hoping it encourages game developers to spend a bit more engineering time on optimizing their games for a lower minspec.

Or, knowing that users won’t be purchasing new computers at as fast of a clip will encourage software made for a wider audience.
Try scannable for iOS pdf scanning. Evernote hasn’t screwed it up yet.
It seemed like a lot of the states that did well despite opening early were southern states where it isn't really winter when it's winter.

Also I've heard the claim that (to be as apolitical as I can here) in Florida they secured the elderly population more quickly and carefully than in New York. You may want to look into that claim.
The article states that the hardest thing to learn in a language are structural distinctions which one's native language does not make. Does anyone here have experience of such features that English has, coming from a different language?
In that sense, systemd doesn't solve anything for the same reason sysv-init doesn't. All those preconditions in systemd will still either time out or never finish.

The point is, back then I just moved the apache startup script to back, added a wait-and-check loop in that script and had everything in one place and done.

With systemd I have to rely on a dependency on some notoriously broken network-up-target, add a separate script with my wait-and-check loop to the apache unit, add a dependency on an NFS mount or maybe autofs and then hope I didnt forget something. Then notice that autofs units are usually broken because they exit too early (before they mount anything) and add a "sleep 10" unit in between. Now I'm at more complexity, a shellscript, multiple files and still not ahead in functionality and reliability. Progress!
As I said, one can easily use differential dataflow with some plumbing code. And this is fine and no worse than the eve language shown above. The DDlog-project and its applications are a nice example for that.

Where I think this approach fails a bit is the following: There is a language-gap issue where your output-relations need to be mapped in a host language to outputs. And you have to call some functions to collect all data for the input relations. Especially in the context of robotics the latter often is not free of side-effects. Not being able to explicitly control those calls can be problematic.

Having a powerful host-language and explicitly embedding a Datalog-implementation is useful, as the decision procedures for your interactive application are not just a series of if-statements but proper condition-action-rules.

My approach is the other way around. I think embedding strict call-conventions for external functions and explicitly modelling side-effects into the language allows for an expressive LP-language that handles the interactive parts as well as the logic-deductive parts.
> the US that was mostly locked

the US was not mostly locked down, and indeed made noncompliance with safety measures a major partisan identity issue for the faction controlling the federal executive, the upper federal legislative house, most state governments, and much of law enforcement even in the other states. It mostly had modest, inconsistent, uncoordinated, and largely unenforced restrictions. A few jurisdictions did at least nominal lockdowns for fairly brief periods (California did twice, though virtually every county sheriff had publicly announced that they either would not enforce orders at all or would do so only by education around compliance by the time of the second one near the end of 2020.)
> The populations were much lower back then

As a percentage of the population, why would this matter?

Other than for population density which you would generally expect to cause an increased rate of infection, not less.
Well, google doesn't control all of the android OSs currently installed so they'd have to jump through quite some hoops to not accidentally make such a backdoor obvious to a small but sizeable group of people.
How is such a definition more useful? It's certainly not more useful to me. If someone tried to sell me such a quantity of land, the first thing I'd ask would be what the actual size is in standard units. A universal, precisely defined system of units is superior because it works in any context, you just need to know the system.

Expressing distance by travel time is a similarly stupid concept. I can tell someone something is 15 minutes by car, but here I'm expressing time, not distance. If I tell someone something is 15 meters away I'm expressing distance. The separate concepts of time and distance allow me to precisely express whatever I need to.
Cap’n Magneto: How quest to overcome adversity inspired cult classic videogame
Which is why I find it inevitable that any future cryptocurrency project will either have to start with Proof-of-Work during an initial minting phase then switch to Proof-of-Stake, OR use an existing blockchain to bootstrap itself, either as a fork or through airdropping. To these effects, any alternative consensus mechanism that is based on tying up a resource that's not the coin itself could be considered akin to Proof-of-Work (Such as Chia and its proof-of-capacity).

Anything resembling an ICO is a non-starter if it were to survive, especially with a shifting regulatory landscape. I was among the opponents to Ethereum's initial distribution (premine) but to wit, ETH has no supply cap so Vitalik's slice has shrunk over the years.
Unique node lists (UNLs) are simply lists of nodes someone provides that they think meets their standards. Everyone can publish an UNL, it doesn't give any power or requires any privilege. If you run a node you can use one or many UNLs or make you own. There are 3 UNLs published at the time of writing.

https://xrpl.org/technical-faq.html#what-are-unique-node-lis...

>Ripple CTO claimed XRP might be more decentralized than BTC

Hows that relevant he can assume whatever he wants ryt? We can not measure decentralization in a meaningful way. His guess is as good as yours. BTW hes a Bitcoin developer.

Also I assume what he meant to say with that is that China could gain control over 50+% of the mining power.
On the XRPL no country could seize control or more accurately they could but it would not have any effect. Double spends are not possible by gaining control over 50+%. You could only trick the nodes you control which is literally as useless as it sounds.

And ofc all other nodes would simply ignore any node that is assumed to be compromised or malfunctioning.
The BTC network cant "ignore miners". If it would be know that someone has 50+% hash power there would be no solution.
You're assuming that PoS is divorced from competition and innovation. Those who innovate tend to earn capital, be it fiat, or let's say Ethereum here. You're assuming those that have Ethereum didn't innovate in some way up the line to be able to buy their earned share. And if you want more shares for PoS, well, you innovate and earn to buy more shares. Your model only works if you assume a very closed and proprietary economic system.
>I have trouble believing this doesn't have a cognitive load

It doesn’t for a native speaker, that’s the biggest magic. Same way English has a specific order in which adjectives have to be added, but you don’t stop and think which one of them is first.
Remarkable yes - but society stopped for a year, how remarkable is that ? This is full on war state for a year or so. From what I can see in 2021 death rates in the US came to 1980s levels.

It will also be interesting to see how death rates behave in the following years post covid, since it did affect elderly population disproportionately.
I don't think anything they said about countries/continents was incorrect was it?
Regardless 7million is a huge number of people...
https://www.etymonline.com/word/gender

still, the grammatical sense predates the sex sense by a bit, and has always been around to mean “genre”. So you always have to disambiguate usage
I agree. Thankfully, this was fixed in Solidity version 0.8 (released December 2020). Arithmetic operations now automatically revert on overflow/underflow, unless the programer explicitly wraps them in an "unchecked" block (sort of like how Rust supports "unsafe" blocks).
The closing of schools in California (vs open in Florida since last fall) was a very distinct difference in both policy and actual behavior. It seems not to have had a dramatic effect on outcomes.

At least in hindsight, the closing of schools might have been a huge mistake.
There are people who are not using segwit on Bitcoin even though it means they spend twice as much on Bitcoin transaction fees.

https://transactionfee.info/charts/payments-spending-segwit/
Would you typify the US as more Locked Down than Sweden? Because their numbers are better. If their approach was worse why are their numbers not worse?
I have a function or whatever for VIM and Emacs that makes a SHA256 sum file and applies a carte on the file with that checksum. I forget why I made it.

I also have one for both editors (but I broke my Emacs ones recently trying to use the s and f libraries) that automatically updates a time stamp in the first few lines that fits the format I like, specifying the computer, username, and editor it was last edited in plus the actual timestamp part.