skysight-inc/HackerNews huggingface dataset:
Games is the terminology of cryptographers, that's why we use it in our work; we need it to interface with this community. The reason this term is used in cryptography might be historical, but also, speaking of an adversary that should not be able to win a security game stays intuitive and thus useful for the definition of security properties.

The language of CryptoVerif is a probabilistic process calculus with interaction by message passing.

Your description of CryptoVerif's output and the proof technique is accurate, thanks that you detailed it for fellow readers. I like the comparison to optimising compilers. In our case, we look at the distribution of messages that are observable by the adversary, and prove that these distributions are only distinguishable with negligible probability. The computations done are actually changed such that they would no longer be useful in a real-world protocol. Like, in one proof step we replace the result of an encryption by a randomly generated bitstring. And if the encryption scheme is secure, the adversary is not able to distinguish these two cases.
"Not an issue" - Unwanted pregnancies adversely affect men for their entire lives. Stds for the most part can be treated. As I said, men don't have reproductive rights. It's because of mentalities like yours.

Not saying it's justified to commit rape but waking up the next morning and having sex again seems relatively routine. If not then I as a man have several women who belong in jail for morning after sex. But I bet you wouldn't see it that way huh?
Not in America, it's not.
And now Georgia is yet another state on my don't-move-there list.
Of course not. I don't know where you live that it is. Where I'm from(Poland) you'd commonly go to a shop without any bags and just pack everything into single use plastic bags every time and then just throw them away. It's only started changing recently since shops started charging money for bags, but I don't recall ever going to a shop with our own bags for shopping - I think I'd even go as far as say that it would be weird to do so.
Consumers did not benefit in the long term if Uber nuked their local taxi industry and wrecked the efficiency of their local bus service before suddenly ceasing operations.
> Uber is the ultimate minotaur — a company where billions of dollars of private-market funding were supposed to create a self-fulfilling prophecy of dominance and market power. It hasn't worked out like that.

Ok, ok, so the strategy doesn't work for "the ultimate minotaur" because it's in a commodity business: transportation. It's sorta like airlines, which, taken as a whole industry, also lack dependable high profits.
> I have ADD and pretty much recognize myself in a lot of this.

I do not have ADD (afaik), and I also recognize myself in a lot of this. I think many of these behaviors are very common in general.
I would add that as renewables get cheaper, there will also come a point at which that will also lower the price of fossil fuels. At present, demand for fossil fuels exceeds supply. If/when renewables cover that demand, the demand portion of the price will fall.
That doesn't really seem to eliminate such grey areas. Exactly how many seconds/minutes/hours are allowed to elapse between the question/answer "May I have sex with you?" ... "Yes", and the act taking place? When does consent expire?
I don't think that you can or should try to armchair-diagnose or armchair-undiagnose someone with from a single blog post. You can't know what the author has struggled with in their life.
I'm afraid that data isn't readily available - although I'm sure it's public somewhere

But...this is a serious crime we're talking about here, I'm not sure why you think otherwise?
That was post hearings, not pre hearings as implied by the GP.
That's not fair. Your lawyer should make any arguments they need to defend you, even if they're not what you believe. As long as they're not false or misleading, it's good practice.

Nobody's claimed that Apple believes that people buying their phones aren't their customers. Apple claimed (IIUC) that in this scenario, it's the app store vendors that are the customer of the app store. Which is a reasonably valid way to look at it.

And the court (correctly) said no.
"The point in question is which of these two customers has standing to sue on the basis of the specific harm in question. Under US law the answer cannot be both."
This in fact not what SCOTUS wrote, SCOTUS clearly said that Apple may be sued by developers and consumers alike, the mere fact that apple has a monopolistic (They hold all the consumer supply in this market) and a monopsonistic(They satisfy all the demand from app devs on this market) position does not mean that the damages injured to both parties are in fact the same damages.

Under current US law multiple parties may not sue for the same damage. But at this point of time it is not decided whether the damages sustained by consumers in this lawsuit would be the same damages that app developers could sue for. It is entirely possible that Apple has swindled BOTH.
> who says what's left or right? How left? How right?

It seems pretty pointless trying to adjudicate this. If not for any other reason that what is considered the centre changes over time (e.g. it moved to the left in the post-war years, and back to right in the Reagan/Thatcher years). Furthermore, these changes are arguably a good thing.
Yes.

But that assumes that the global economy had been run into the ground because of the bank bailouts. This is not the case. The situation these leaders were presented with left them with few options.

The time to act with complete freedom of movement would have been before the crash. Once the crash happens, your options are severely restricted.
I'm not sure why you're trying to hand-wave this away by using language like "alleged sleep-sex-offenders" and "having sex with their sleeping sex partner without a condom". If this falls under the definition of rape in Sweden then the extradition request is for just that - a charge of rape. This is a very serious crime. Whether you agree with their definition or not doesn't really affect the legality or validity of the request.

If you think these charges are bogus because of some grander conspiracy against a personal hero of yours just say, there are plenty of others in this thread who'll gladly back you up.
Left wing biased by US standards. By the standards of the rest of the world, most US outlets are pretty right wing, especially on foreign policy matters.
Who needs to go to the news site anymore when google shows you the content already? I bet they are losing visits from that. With the other visitors to the news most likely bookmarking their favourite/trusted sites.
Dear Google, I suggest that you embrace this kind of audit in service of transparency and credibility: Create an automated news.google.com/audit page so that readers can easily evaluate the sources and track how they evolve over time.

As a user I would also greatly appreciate the ability to toggle news sources on and off, and/or to weight them, and to easily share those filters.
I agree, and objectively there are pollutants that are far worse than nuclear waste, both in actual harm potential and in ubiquity, but there's a strong fear factor about radiation that drives all the NIMBYism. It's rational to be concerned, but not rational to be concerned to the level people are. Alas, irrational people still vote. Maybe they can be distracted with a train full of vaccines.
It's at least enough of an issue that the VA addresses it directly:
https://www.publichealth.va.gov/exposures/depleted_uranium/
Algae 'Bioreactor' on Space Station Could Make Oxygen, Food for Astronauts
Yes, there are hand-written (i.e. not mechanised) proofs that the transformations are sound. But there are no proofs about CryptoVerif's actual code.
To add another decibel to this crowded chatter: to succeed at something like this while dealing with ADHD, you need a lot of support, and after that it is still very hard.

Behind each of these success stories is a lot of people in the background, giving reminders, dealing with the person who has tuned out for half the meeting, excusing lapses, etc. I say this as someone with the disorder myself. (The author’s description of the “time travel” effect is on point!) I take those people in my life for granted to often. But reading stuff like this and seeing it from the 3rd person perspective is a good reminder.

Also worth noting that success stories on HN are subject to the survivor bias. (Not exclusive to the “entrepreneur with adhd” trope, of course, but definitely applicable.)
The word “lox” hasn't changed in sound or meaning in 8k years
Renewables are way cheaper without subsidies. Just compare how nuclear got financed in the 1950s compared to what flows into renewables in recent decades, it's an order of magnitude smaller. And those subsidies don't include nuclear plant decomissioning, the costs of which dwarf everything else. The plant in my example cost over a billion already, and isn't even finished. A single plant.

Also those per kilowatt numbers in the chart don't mean much without comparing total consumption per household. I pay way more than the most expensive example in the charts, at 30 cents per kilowatt, yet our monthly total is only 80 Euros for a 5 person household.
Isn't that the same as q: (you know, such as there is q: , q/ and q?)? In which case, evil implements this as "evil-command-window-ex", which I'm sure you could bind to ctrl + f too (perhaps that should be filed as an issue with evil).

But I'm equally sure that if you made a habit of using e.g. spacemacs, you probably would not need to use it all the time either. But I guess I don't know your workflow. Why do you even use that buffer? I curse every time I accidentally open it.
> The thought of one more trivial task in my day completely paralyzed me for weeks, but I felt increasing anxiety and the depression worsened.

Wow, this describes a few recent events for me. Thanks for sharing!
It's the modern marketing machine at work. The heartwarming story and mythos are an important component for manufacturing that authenticity and uniqueness. It even encourages gaslighting by people in the region who pretend to have "grown up on the stuff" when they really only found about about it five years ago.

Also, to anyone who loves hot chicken, next time you're at your favorite Chinese place, ask for Mala chicken, you won't' be disappointed.
You seem to be assuming that MMT is The Correct Theory. That's... well, at a minimum, it's not an assumption that you should expect your readers to automatically recognize as correct as soon as you state it. In fact, it might take more than one podcast to convince people.

For that matter, even Paul Krugman (a great friend of government spending freely) thinks MMT is very wrong.
I totally agree. It just shows that even though Google has the potential to break up the mainstream media's near monopoly on narrative creation, they choose not to do it.

The dream of the Internet (for me and many others) was the destruction of mainstream media and the creation of platforms that gave individuals and independents a voice. That does exist and is growing in momentum but it's clear that Google is on the side of the mainstream media and their political counterparts.
How could it be any other way? To the extent that government benefits increase I would expect hourly wages to go down for those beneficiaries. This would be the nature result of a competitive market place.
Yang is attracting a weird mix...he's a Democrat running on fairly left of center positions [1] yet is also attracting support from white nationalists who have become disillusioned with Trump [2].

[1] https://www.yang2020.com/policies/

[2] https://www.businessinsider.com/white-supremacists-are-disil...
This is stranger than fiction. I would have laughed 15 years ago if someone suggested DRM and electronic licensing would ever be applied to a tractor.
I saw some local initiatives floated where public transportation should "partner" with Uber... I was a bit surprised how willing folks were to support relying so much on a company that doesn't make money and their prospects are questionable.
I do, but I work at a nice place with clear standards. Fortnite is garbo and free.

For this analogy to work, I would need to feel like I was being attacked for wearing gym clothes to Arby’s or Taco Bell. Honestly I would be more prone to bullying people who do buy skins probably... you’re not cool if you put on an expensive tie to get your fake cheese Fritos milkshake anathema* for 0.69¢

(*I don’t have any particular reason to believe these exist)
There's nothing required from PSF to create own repo. I created one myself on S3, all you need is then just update pip.conf to use it. Pip also has functionality to support primary repo and a backup, so they don't need to make their repo a pass through to PyPI, pip basically can be configured to look up first the custom repo and if package is not found then fallback to PyPI.

There's no technical or political obstacle here.
It’s the Greater Fool theory taken to its logical conclusion.
I can't vouch for other bootcamps! DBC was sold in 2015 to Kaplan and they shut it down in 2017. :(

Here's a thread I posted the other day, though, that might be interesting to you: https://twitter.com/jfarmer/status/1127324440469970944

BTW, the evolution of your feelings is pretty normal and it brings back memories. Haha. People would always be like, "Uh, yeah, ok, so you're churning out code monkeys, right?"

Then we'd bring them in, show them what we were teaching and how we were teaching it, and they'd go "Oh man, I wish I had been taught like this!"
Show HN: Graph Classification Using Structural Attention, KDD 2018 (PyTorch)
I don't know what kind of plastic bag it was, but the grocery bags we get where I live start to develop holes rather quickly so they're not actually reusable. They also aren't allowed in my city's recycle bins because they apparently just get stuck in the sorting machines and cause all kinds of issues.

When I tried saving them for various uses and noticed they develop holes quickly, I thought maybe that's good - maybe these bags were made to decompose quickly or something, but that's not the case. And now that we know microplastics are inside lots of organisms (including ourselves) I can't help but just feel like plastic is just a nasty SOB.

We've ended up getting a bunch of those cloth re-usable grocery bags and using those. I also use containers rather than zip lock bags. But I doubt I make much of a difference because when I take my morning walks on trash/recycle pickup days I frequently see bins filled to the brim with plastic water bottles where it seems like people just buy multiple cases of water bottles and drink from them like they're cups or soda cans and toss them.
Correct. Uber is effectively VCs dictating how they’d like the transportation market to work through dumping of services at below cost.
The diplomatic cables were released November 28 2010. The international arrest warrant November 18 2010.
Before that other documents had been released, during the course of almost a year. So, the way I see it there is nothing really special about the timeline here. It is interesting that a lot of people seem to think that he should not be held responsible (or at least investigated) for the crimes he might have committed against the women.

https://en.wikipedia.org/wiki/United_States_diplomatic_cable...
We are about due for a new generation of CASE tools to make just that promise.
Most employees have RSUs.
Open-source benchmark suite for uservices and their hardware-software for cloud
Show HN: The Billion Dollar Tweet
Monetizing the debt won't cause hyperinflation... once. Doing it repeatedly may well do so.
generally in finance "underwater" simply means you've net lost on your investment (it's worth less than you paid for it, or other costs such as funding, legal etc more than offset any returns)
will this impact Google Play too or is this is a one off?
Well, if you want that property, technically there was NULL encryption algorithm in early HTTPS versions (probably it's not supported now, but there's nothing unusual about it). So you'll have page in cleartext, including all headers (so censors can drop the connection if they don't like it), but you'll have associated checksums and certificates, so changes should be detectable.
Gorsuch's approach is the better one. We have a legislature for a reason. Letting judges interpret the law so that a given end is achieved leads to chaos as no one can know what the law means until you've personally been subjected to lawsuits.
Interestingly enough, the term also applied to people who downloaded/compiled/ran exploits written in C. The distinction was primarily about the effort put in to understand and learn, as opposed to copying example commands.
Dinosaur with Bat Wings Was More Than Legend
Thank you for writing Gus_massa.

The drug at the bottom has been tested in mice and is less toxic (higher maximal tolerated dose) than some anti-depressants, which people take every day for decades.

By contrast, present cancer drugs (such as carboplatin, the cancer drug shown in the figure) are so toxic that they can only be taken a few times and weeks apart (not daily) to try and give the body time to recover. And lots of other drugs have to be taken atop to try and mask the damage the cancer drug is doing to the body e.g. drugs to stop vomiting (not because the drug is swallowed and upsets the tummy, because it is taken intravenously and does incredible damage, a manifestation of which is vomiting).

Indeed, there is strong evidence that in some cases it is the cancer drug(s) that kills cancer patients rather than cancer (go through to the actual journal paper that this newspaper article is writing up, a very respectable journal and the paper is authored by a sizeable consortium of hospital oncologists in the UK): https://www.telegraph.co.uk/science/2016/08/30/chemotherapy-...

There are links on the experiment.com page I posted to more technical detail on my work, with supporting experimental data. To copy and paste one of these here: https://patentscope.wipo.int/search/docs2/pct/WO2019012149/p...

Please also see (non-technical), for an overview of the (bootstrapped) company, now raising: https://angel.co/company/biophysical-therapeutics
Depleted uranium is uranium that isn’t as radioactive as naturally occurring uranium. That’s what the depleted means. It’s so dangerous that they use it in hospitals as X-ray shielding.

Paper, your clothing, or even your dead skin cells is enough to block what little radioactivity is present in DU. What is dangerous about DU is that it’s a heavy metal (and pretty toxic). It’s not easy to work, so even forming it into bomb parts would kill more ISIS members than using it would kill the general public.
Was doing some research for a future blog post and kept forgetting to bookmark this Tweet so, well, I made a website that showcased it with an easy to remember domain name.
I have to respectfully disagree with your point about religion. Plenty of people find values and meaning without it being through religion. I think there is a tendency for anyone who has found something that makes them happy to automatically prescribe it for anyone who is unhappy, and it isn't one-size-fits-all. Kudos for not insisting on your religion of choice however.

Edit: I do think that the community that comes with religions is enviable. I wish that there were more non-religious groups around that would dedicate themselves to the same reflection, mutual support, and togetherness that religions traditionally bring to the table.
> As an example, here’s a measurement of jitter (variance in round trip time) between two of our data centers, Chicago and Newark, over a transit provider’s network... Average jitter over the pictured 6 hours is 4ms, with average round trip latency of 27ms.

> Here’s the same jitter chart between Chicago and Newark, except this time, transiting the Cloudflare Global Private Backbone... Here we see a jitter measurement of 536μs (microseconds), almost eight times better than the measurement over a transit provider between the same two sites.

This is really impressive. Will be interesting to see what's possible when network roundtrips are 2 orders of magnitude more stable.
CO2 Levels Hit 415 PPM for First Time in 3M+ Years
Standard oil used to dump product in competitive markets too. Low prices do not preclude a monopoly nor does the existence of some competition.
The bankers who were bailed out were the very people who ran the economy into the ground. The government could have unwound the situation without bailing them out.

But the relevant point for this discussion is: that was a one-time event and not a fair comparison with future deficits.

Deficits from later years should be compared to 2008 or 2007, or to 2009's budget without the bank bailouts.
UK here - You used to collect a few hundred bags under the sink/stairs years ago and maybe use them as trash bags around the house.

After the new laws came in requiring you to pay for them the culture change around reusing bags was pretty abrupt. Now going to the shops without a few bags in arm just seems...weird?
SEEKING WORK | SF Bay Area/Shenzhen/Islamabad | Remote only

Team of 4: PM, Mechanical, Electrical, and Software. We build smart hardware: $35k/month for the whole team. Only take one project at a time. We have an opening in August.

We can design anything from a 35 foot tall custom CNC to a bluetooth earbud. We prefer to work on new ideas and original designs (something that hasn't been done before).

The team is experienced working together and is ready to tackle hard problems without a lot of ramp time. Everybody is in Islamabad except the PM (me). I bounce between Shenzhen, the Bay Area, and Islamabad. All the engineers are full time, and only work on one project at a time. I'm part-time. My background is in robotics, and I'm also experienced in bringing new designs into volume production in China if you need that later.

On-site project kickoff and check-ins are OK if you are in one of the areas above. We do not work on projects that are spread between multiple contractors, or that don't have a clear end-goal.

ben [a+] mzjtechnology.com
This was not true.

https://www.bailii.org/ew/cases/Misc/2011/5.html

> In cross-examination the Swedish lawyer confirmed that paragraph 13 of his proof of evidence is wrong... He then confirmed that on 22nd September 2010 at 16.46 he has a message from Ms Ny saying: “Hello – it is possible to have an interview Tuesday”. Next there was a message saying: “Thanks for letting me know. We will pursue Tuesday 28th at 1700”. He then accepted that there must have been a text from him.

Assange left the country on the 27th.
The focus on Go compiler speed is kinda weird to me. Other languages sometimes offer flexible tradeoffs to developers. You can build and test C++ programs fairly quickly if all the optimizations are disabled, or you can spend a long time building a release binary with optimization, load-testing, profile-guided recompilation, link-time optimization, and post-link optimization. But Go only offers the first thing: a fast compiler with almost no optimizations.
There's software out there to dynamically change your voice on the fly.
All true. The worst offender is actually sync on desktop that can take anywhere between 5 to 50 minutes !

On-boarding of keybase was more complicated before, maybe its better now.
You can count on anything about Apple to be considered controversial, especially if it's not a blanket and unconditional bashing of Apple, even if what you say isn't even positive towards Apple.