skysight-inc/HackerNews huggingface dataset:
Oh, I'm not, which is why I am indeed trying to explain why I'm telling them they can't do this or that.

I should also say that I'm not pursuing an "absolutely not, never ever" policy. I'm trying to walk them into the pool slowly; they've actually purchased a couple of Minecraft skin packs & mods, for instance. And then we've discussed whether it was worth it (sometimes yes, sometimes no), and whether they got their money's worth. (And this is happening in a way that's less klunky and parental than this sounds; one of the things I emphasize is how I have to do this myself for real in my own purchases, with examples, for instance, it's not all a talk-down and sound sanctimonious speech.)

After all, it's obviously also no solution to leave them entirely unexposed to this stuff and then they hit 18 (or whatever) and it's the first time they've seen any of these techniques deployed. That's got way too high a probability of going really poorly.

I'm also trying to use the very system against itself. I think the very abundance of all their options can help desensitize them from some of this stuff, via much the same (I have no word for this) cognitive effect that leads to the phenomenon where one just browses Netflix endlessly but never quite watches anything. They've got Netflix, a fairly decent video game collection that is already paid for, and more options than you can swing a cat at for $5, which is definitely not the position I was in as a kid. A $20 Fortnite skin is several great $5 games on sale, or several movie rentals, or all kinds of other things that if they sit and think about it for a moment are more appealing than 1/3rd a brand-new AAA game on a single skin... or at the very least, it really helps contextualize how big the ask is for them. Skins on Fortnite are absurdly expensive for what they are. (Which is also evidence just how much "social networking effects" are in those prices, IMHO.)
CryptoVerif [1] is called “automatic” because

1) it generates intermediate games automatically during the proof [see footnote1 for a brief explanation of “games”]. This is in contrast to the other major tool that works in the computational model, EasyCrypt [2], where the user has to write down these games manually.

2) it has an automatic mode in which the tool is able to perform certain proof steps on its own, using a built-in proof strategy. For “simple” protocols in “simple” attacker models, it can even finish the entire proof automatically, where “simple” depends on the capabilities of CryptoVerif.

CryptoVerif also has an interactive mode that allows the user to guide the proof. This is necessary for more complex protocols and attacker models like the one we developed for WireGuard. Once you found the necessary proof steps in interactive mode, you put them into your proof/model file. Then, CryptoVerif can re-check the entire proof in one go.

As CryptoVerif only works with protocols, it's not a general proof assistant like for example Coq, and that's why it's sometimes called “protocol prover”.

[1] CryptoVerif https://cryptoverif.inria.fr

[2] EasyCrypt https://www.easycrypt.info/

[footnote1] “Games” are a concept of the proof technique, which is used to prove cryptographic security: security properties are expressed as a game; if the adversary wins the game, the security property would be broken. We prove that the adversary wins the game only with a negligible probability. We do this by transforming the game more and more, until we reach a game where we can easily prove that the adversary cannot win it, or only with a small (negligible) probability.
Es shell is similar but in a less lispy, more bash style.
Feels like Wile E. Coyote who has sped off the cliff but will keep going until he inevitably looks downward.
What makes you think that has anything to do with the "rape prosecution"? The U.S. is not hiding the fact that they're seeking Assange's extradition on conspiracy charges. Don't see what this has to do with the allegations from Sweden.
Rank first on Google : The 9 steps to SEO like a boss
Audit suggests Google favors a small number of major news outlets
The author seems like a grade A idiot. If his priority is noise cancellation, go for Bose QC series or Sony WH series which are known for great active noise cancellation.

>Yet I chose the Beats because they looked comfortable. And, you know, NBA players wear them, right?

Drop near $300 on a product because NBA players wear it, then write an article complaining it is not what he expected.
"It doesn't work on me therefore it doesn't work at all" seems like somewhat flawed reasoning.
I'm not sure how long exactly. I played with the wiki open for a fair bit. The help in nethack is pretty descriptive for keys. You end up remembering the ones you use the most pretty quickly. Some of the more obscure ones I forget.

Something about the complexity of the controls is part of the charm for me though. Suddenly you remember you can do something you totally forgot about and it changes the way you play the game. Or you reach some kind of understanding about one of the mechanics that just makes it part of your play style.

I've played a lot of different roguelikes, nethack and its variants are some of the few I still get that feeling of discovery from, despite playing it for years, scouring spoilers and even looking at parts of the source for fun.
Too late, my friend, too late. There are few things more satisfying than to listen to Peter Barakan calmly explaining some quaint Japanese phenomenon like the history of pens, or the importance of lunch boxes, etc. The world regains its balance, there is order in the universe after all ...

https://en.wikipedia.org/wiki/Begin_Japanology
How can Apple’s App Store prices be monopolistic if the App Store has driven software prices so low that a lot of developers are having a hard time making money?
Before the App Store, software licenses for Mac software could be priced in the $40-$70 range for software that might have had feature parity with what you get in a $3-$10 app on iOS these days. That’s not even taking into account the fact that paying for a new version of a piece of software used to be the norm, but on iOS, you buy the app once and expect updates for free forever.
On the whole I would say the English version is better. In general articles about China tend to be pretty good (modern and ancient history, people as you pointed out) and can be richer than their English equivalents. I actually haven't found the linguistics articles about Sinitic languages to be all that helpful. My impression is that they usually have less information than their English equivalents and often have sections translated from their English counterparts (I'm fairly sure the translation is in that direction because the English is more detailed than the Chinese and the original sources are usually in English), but I suppose YMMV.

However as you get into the various sciences, the quality and coverage of articles drops off very quickly.

I also find that the tone of the articles can also veer off a little bit from the usual encyclopedia-detached tone of Wikipedia (at least somewhat more so than the English version)

I still prefer it to Baidu's online encyclopedia, but it's not as excellent as the English version.
Isn't this the same with clothes, phones, etc.?
You're right, automation is not inherently bad. In fact, automation is inherently good.

And yes, the solution to jobs that humans don't want is to eliminate those jobs with automation. Working in a warehouse packing boxes doesn't suck because it's Amazon and they are a big bad employer -- it sucks because it's working in a warehouse packing boxes.

We don't need to "ascertain it's[sic] socioeconomic impact" before we pursue the elimination of such things.
How Much Fentanyl Is Available on the Darknet?
Slack says it’s going to replace email and is as necessary as electricity
Thank you very much! Somehow I missed that article, but have favorited it because it's such an important stepping stone towards real mainstream adoption of reprogrammable hardware.
No company would actually phrase it as "a willingness to get often arbitrary work done on schedule with acceptable quality", but in all but the most raw of startups, that is what they mean. That's the reality of having a "job".

If you can't abide working that way - and it's totally reasonable to feel that way - you need to find a different career path through the industry than "Senior Web Engineer" or whatever the title is.
Can someone ELI5 what this means?
Violation of TOS is trespassing on private property. You are only allowed to access someone's private property under a particular set of conditions, and Swartz violated those conditions.

What really did him in was that he went out of his way to use an alternative means of access _after_ being kicked off. He knowingly trespassed again after being told that he wasn't welcome, which completely obliterates any defense of "I didn't know what I was doing wasn't allowed".
"How, With ADHD, I Run a Company"

ftfy

I have yet to find an entire company with ADHD although, given the accretion of VC firms in the SF area, I hold the possibility open.
No.

1. Fighting climate change isn't all-or-nothing

2. You do not need to not eat in-state-vegetables to be practical about climate change. This is a dishonest conversation tactic when vegetables are the tiniest fraction of a percentage of carbon generation.

3. There's nothing wrong with generating carbon, as long as there is a plan to offset it.

So for points 2/3, a carbon-tax that was high enough to pay companies to recapture carbon (and went exclusively toward recapturing carbon) would totally address that. You could ride your hummer all day long, and you'd be paying for the carbon to be recaptured at the end of the day.
(Presuming the USA) We have 327M people, approximately 250M of which are adults. So, you're off by half, and the OP's statement of 1/3 seems closer…
> breaking the TOS by mass downloading all papers

If you watched the case, even that point was nearing defeat.

The TOS they cited were pulled and inspected. Really, nowhere there the "oblige to not to abuse the system with means of viruses, logical bombs, ..." term was breached, unlike what initial hearing with technically illiterate judge found.
Eventually it will be illegal for Apple to prevent competitive app stores. That will also be the beginning of when Grandma can get viruses again (or spyware battery apps like on Android).

Not sure the best way to weigh the benefits/risks.
Not on the areas people were concerned about regarding human rights
Also they permit more inlining opportunities, allow eliminating more dead code, and more. Types almost always improve program performance.
GANs and Applied ML ICLR 2019
Nuclear power proponents don’t let emotion and fear get in the way of the facts. Nuclear power kills far far (far far far) less people than other forms of power generation. When it goes wrong it’s super scary looking, terrifying really, but when you dig into the statistics of these accidents they wind up being less scary than is usually made out. It helps to learn about how nuclear power plants work, and visit one if you ever get the chance, once you get your head around it it becomes a lot less scary. For example take a look at the fatalities table here: https://en.m.wikipedia.org/wiki/Energy_accidents#Fatalities

PS: A good starting point to start questioning the anti-nuclear narrative is a documentary called Pandora’s Promise, which is on Prime for free. Or perhaps this TED talk: https://m.youtube.com/watch?v=ciStnd9Y2ak
>you were expected to know JavaScript, HTML, and CSS to a reasonable degree before the course began

As a clarification, it seems you did not go to a "Coding" bootcamp, but some sort of engineering one. They seem to be the exception, rather than the rule
I think though the question is how does it bode for the dollar... relative to every other currency.

I'm not saying it won't have any impact but the dollar has been attractive for all the usual reasons for a long time, and over the course of a lot of events that folks predicted would make it less attractive.
Remember, the media is a business. They don’t care to go into the complexity of humanity. Everything is black and white for the dollar.
Which, given the fact that Walmart is experimenting with the exact same robots, it seems like there is.
I’m old enough to remember being berated by a family member for using paper bags instead of plastic bags because, quote: “Plastic is recyclable!”
The UN working group on arbitrary detention does not agree with your conclusion:

https://www.ohchr.org/EN/NewsEvents/Pages/DisplayNews.aspx?N...
Edit: friends, apologies for upsetting... first, I find the accusations horrendous. I am more just amused that K chose to write the opinion. Politics is a funny game.

It’s hard to swallow, but we need a third constitutional convention because this stuff is wrecked in the us.
> In your view, what should Amazon do to not systemically oppress the working class?

Convert itself into a co-op:

https://en.wikipedia.org/wiki/Worker_cooperative#Definition_...
The world’s first AI-created whisky
My browser tends to crash at around 1000.
It is a huge amount of money. Though the real question is the feedback loops UBI creates IMHO... The money will be injected straight back in the economy as people are still living paycheck to paycheck at that wage, so given studies show every $1 given to people on lower income results in around $1.2 in GDP* you'd expect overall GDP to grow provided its the UBI level and tax system is properly balanced.

Clever use of UBI also allows redoing many labour laws & protections because having UBI to fall back on will substantially improve the bargaining power of workers so they won't need the same protections.

* Sorry don't have a reference, seen this discussed a few places as common knowledge.
New Trending Afrobeat Artist/Song,Worldwide Reknowned Artist Bloggers
Do you think the geological record might indicate a type of 'evolution and migration' of plastics across the globe?
Other systems share those gains among the working class. Seriously, this is basic macroeconomics.
FYI, "skidding" is short for "script kiddie-ing".
Fortnite doesn't have lootboxes. The Save The World mode did but they recently removed them so you always know what you are buying if you decide to spend money.

I'd say it's not pay-to-win either because most of the skins people buy in the shop are more flashy and easier to spot than the dreaded default skins.

I think this is less about Fortnite and more about people finding another way others are different and using it as a lever to make themselves feel better about their own insecurities.
mailgo, a mifferent mailto
It held that Apple could be sued by end users. Apple's argument was that only app developers had standing.
I was just diagnosed about a year ago, at age 38. I'd suspected for years, but was mired too deep in depression to do anything about it. Finally I had my depression under control, and with the help of my wife (I'm terrible at making appointments!), made an appointment to see a psychologist who specialized in ADHD.

He interviewed me about my symptom history for an hour. Pro tip! Make yourself a list of all the things you want to mention to the psych. I wish I had brought a list, because after I left I thought of so many more examples I had wanted to bring up.

Despite my not bringing a list, he said near the end of the hour that if he had to make an immediate diagnosis, then yes, he would say I had ADHD. I took home a test (it was around 350 true/false questions) that he wanted me to take to rule out any other diagnoses that might be an issue.

I took the test and returned to him in a week. We went over the test results (nothing unexpected) and he diagnosed me with moderate ADHD-PI (primarily inattentive). He wrote me a letter to take back to my GP to try medication, and my GP handles my Adderall prescription now.

ADHD is a lifetime condition, and having symptoms since childhood is part of the diagnostic criteria, so when you're making your list, make sure you're including your childhood. I was very smart, and coasted through grade school with excellent grades, but there were still signs even then. Like when in 5th grade I just stopped doing any work for an entire semester. They threatened to hold me back from 6th grade, and I made up all the work in a single afternoon, sitting in the teacher's office while the rest of my class was on a field trip. Or all the times I would get in trouble for "not listening to the teacher" because I was hyperfocused on reading a book and literally was not even aware that I was being spoken to.
History also suggests that having a significant number of unemployed people who suddenly can't afford basic necessities because their jobs / way of life suddenly disappeared, is destabilizing as hell.

Very few people are actually suggesting that automation is bad, per se; the concern many people have is that the rate of change needs to be managed such that significant numbers of people aren't left behind. People can only retrain so fast, and some people will never be able to effectively retrain. Automation that suddenly puts them out of work needs to account for what they're supposed to do, and hopefully it's something better than "sit at home and drink themselves to death / overdose on opiates / engage in crime".

I'd rather intentionally put the brakes on automation, even though it's a hit to efficiency (and depresses the value of labor -- automation makes human labor more valuable over time), if the alternative you get with unlimited automation is a massive disenfranchisement of working people and consequent destabilization of society.

Better to keep some technologically-unnecessary jobs around than to live in a society constantly teetering on the brink of a violent populist uprising. All the efficiency gains of that automation are going to pale in comparison to the damage and loss that will happen during one night of rioting by the now-unemployed proletariat.
>> down at (or ssh into) somebody else’s computer.

Why would you develop software over SSH is seriously beyond me.

Eg are you actually SSHing into your running docker containers to edit code? The only language that allows for it is PHP - because any other language is either compiled or needs modules to be reloaded.

Are you viewing large datasets in csv files through vim? - This can’t possibly work as vim requires them loaded into memory.

Are you editing config files on your servers using vim? - Do you not use automation to set everytting up on the servers?
I wear decent clothes, but nothing excessively expensive or visibly branded. I prefer clothes without visible brands; I'm not going to pay those companies to advertise for them. If they want me to advertise for them, they should pay me.

Fortunately when I was a kid, my school was also relatively free from this. Maybe not primary school, where at a certain point Cool Cat sweaters became really popular. But in secondary school, clothes were more a way to express your own taste than to buy into some kind of status. Making your own or getting some vintage thrift shop stuff was cooler than a visible brand. But something simple was never wrong either, as far as I know.

But clearly some schools or some countries are very different in this. It's all about how status-driven a culture is, I guess. Dutch culture has never approved of excessive displays of wealth, and reading this, maybe that's for the better.
I'm working on a little open source project to overwrite the classic behaviour of mailto links. It's called mailgo (https://mailgo.js.org). Instead the classic mailto, the idea is to show a modal to give more possibilities to the user, for example to copy the email address. It's WIP (I accept any suggestion!) on the website there is a working demo. If you like it, star the repo on GitHub! https://github.com/manzinello/mailgo
Thus reprocessing - if Hanford's government contractors could get over the hump and get the vitrification plant online, it'd be a lot easier to clean up the waste that's interred in the solid dump and tank farms. And if we didn't have state governors screaming about "No atoms and radiation in my state!" and not allowing passage of waste through their state in properly designed containment and transfer casks, we'd be able to get that waste to a facility where it can be made safer.

The radiation plume under Hanford is not as terrible as certain sources make it to be, the same with the contamination of the river. The area around the reservation itself has led to a recovered and strong population of many endangered indigenous animals in the area as well.

Regarding Rocky Flats, again, not as terrible as many make it out to be. Once you factor in living at high elevation there's not a huge increase in overall exposure.

An important consideration that comes into this is that most of these were weapons production facilities (dealing with purifying and handling some of the nastiest material around).

The waste from properly designed and operated power reactors is a much cleaner and much easier to contain process. Condemning an entire avenue of clean energy (most of the fuel needs for a century+ which have already been extracted and refined) because the work done on the technology in the 40's-60's (when we were still figuring out how awful some of the waste is), is not conducive to progress.

Source: Field engineering on projects at Hanford, Rocky Flats, and Yucca Mountain
Fakeplace.com (the example domain in the join and add metadata section).

I think I just found the working title for my screenplay of a sequel to The Social Network.
This is one of those articles where a bunch of people will find solace in the fact that they are not alone, despite not actually coming away with a plan to correct it. There's no real advice in here worth taking that isn't already pretty obvious to anyone that can step back from their circumstances for a moment, and this sort of information is offered in thousands of similar articles.

I can obviously relate to the author regarding a deteriorating work-life balance, and a lot of us have become burnt out or at least experienced intense stress at work. Nothing in this piece makes me believe that she has fixed the problem, and it's not healthy to continue until you break, dropping everything and going on a "walkabout" to some distant place for awhile to pretend like you've solved a problem.

I found it telling that she claims to be a values-oriented person, and yet also a self-proclaimed atheist. People like her should actually try finding themselves again through religion. I'm not even suggesting a specific religion. You don't have to be a believer to gain value by setting aside time to reflect on your life, values, relationships, and why you are here. It also helps to associate yourself with other people that are searching for answers to these things. The lack of religion in people's life is a big contributor to the feeling of a lack of purpose and it allows you to become increasingly unbalanced in life as you prioritize work and material things over what's really important.
Having one third of the value created by everyone pooled together to distribute to everyone sounds completely fine to me. I'd say the society as a whole plays a role that is on average greater than 1/3 on your success.
Maybe for the general population. For those of us deep into the early Internet, it wasn't all that anonymous and a lot of people absolutely took it personally. In many ways, due to the significantly smaller group of people, it was a lot worse if you found yourself on the wrong side of things.

It just didn't make the news or get talked about in school because regular folks had no idea what was going on.
Exploring Istio Telemetry and Observability
EU caps cross-border calls at 19 cents/min starting May 15