skysight-inc/HackerNews huggingface dataset:
> Why would you develop software over SSH is seriously beyond me.

I love that this straw-man argument pops up in every thread I read about editing text or IDE debate.

As someone who leverages SSH in their average work day I can explain my personal reasons. Let me be clear; this is likely not the way you work but it is how I work. I am not defending the merits of this for you but that they warrant my approval. If any debate is to be made in this it is that all users have a choice and those who prefer SSH should have every right to use it irregardless of any unemphatic assertions to the contrary.

I have a Linux desktop that has two very nice and pretty monitors. Given a choice I would wish my development to take place on that machine. However, the development I do is on a work computer that happens to be a small Mac Laptop (I don't get to choose the hardware I must develop on). Of all the different methods to edit files I found that SSH into the laptop from the Linux box to be the most efficient and eloquent solution while still keeping the work information on the work computer. I edit in Vim. I test with the browser running on the Mac. I can clearly see and manipulate the source on the pretty monitor while seeing the results on the little LCD screen.

Pairing like this is a huge win. Instead of Forcing a pair partner to wait for me to Alt-Tab the right screen they can connect via SSH (tmate.io) and on their end have their terminal on one monitor and the Zoom / screen share on the other. This way they can edit or watch and see the result without any ask to Alt-Tab. I can read the code while they look at the result. It is truly asynchronous code-pairing.
This is completely off topic, but I do love RC Cola. To the point that I buy Keurig Dr Pepper stock (formerly Dr Pepper Snapple co). In many places Dr Pepper and their other sodas are bottled by the regional cocacola bottling company. I don't know if it's fact, but I always assumed the reason it's so hard to find is because Coke refused to bottle RC. Kind of like Apple refusing to let an app in the App store that competes with something they make.
How so? What’s complicated about determining whether someone is conscious before having sex?
I'm actually not certain what behavior it's meant to incentivize in the 'useful' case.
In related news, Amazon has announced it will give $10000 to any employee that wants to start a delivery business. Seems like a reasonable move, from packer to delivery person.
The grocery store loves you. Bags are a major expense for them - unless you’re in an area where they get to charge.

The only potential issue is extra scrutiny from loss prevention.
there's a broader assumption which seems at least equally as dangerous.

the pie will keep getting bigger. more resources. more energy. more people. more goods. more kinds of goods. more movement of goods.

thats a direct consequence of your point in that we structurally assume an infinite number of fish, amount of land...and more importantly that the oceans and sky are so vast and unknowable that we throw as much into them as we want without anything ever coming back.

maybe we're living out the last aftershock of the end of the age of exploration. and we're so completely unprepared to manage any kind of economic contraction the only response is fear. growth is the seductive poison thats killing us.
Depends. IME on IRC people usually were pseudonymous, not anonymous, and built reputations around their handles - reputations which sometimes were as important (or for us youngsters more important) than meatspace one.
... and costs privacy.
That's not the point of my hypothetical question, since it has the same rhetorical force in worlds where helium is impossible to store as ones where it's easy. The point is to think about your expectation of helium prices compared to interest rates.
Proxx: A Game
The difference between the subjective and objective schools is this:

objective school: if we perform a high-N properly double-blinded ABX listening experiment, we can be confident that humans can either reliably tell a difference between A and B or cannot reliably distinguish between A and B. Once we establish a reliable difference, we can have informed individual opinions on whether A or B is better.

subjective school: all experiments are worthless because every listener and every listening situation is unique.
Physical gender stereotypes? The differences in physical appearance, like the shape of the bones in your face and the fact some people have penises and other people have vaginas, caused by activation of the SRY gene (the sex determinism gene), are not social constructs.
I've been on the internet since 1995, FWIW. My understanding of "trolling" at the time just meant deliberately saying stupid or obviously false stuff to get a rise out of people. It wasn't malicious, just a form of sport and when you realised you were on the receiving end often played along as a form of meta-trolling.

When I see "trolling" used to describe death threats or mocking someone's dead relatives on social media it just doesn't sit right with me. I guess language evolves but we already had perfectly good words like "harassment" and "bullying" to describe these activities. It really takes away from the light-hearted fun and games that the word used to embody.
Intellect – an open source alternative to Brainly.com for students
>Google shows users what other users like, and most of Google's current users favor a small number of major outlets.

I would say that's partly true. The other part comes from all the flack that Google receives when they include niche or non-mainstream sources (which admittedly are more sloppy or more biased in their reporting). And it is a valid question whether Breitbart articles should be displayed alongside results from CNN or NYTimes or WaPo for generic news queries.
The bad working conditions were superfluously imposed by Bezos, it's not a horrible job without the horrible requirements being added.
That's a good thing.
Too many outlets is chaos
Too few is tiraney.
https://www.xkcd.com/1283/
Since nobody answered and downvoted, all apps needs to be submitted to the App Store and be downloaded from there exclusively, and all payments, even subscriptions that are made through the app, needs to go through Apple.

Some providers like Netflix and Spotify are deliberately not offering the option to subscribe through the iOS app to avoid paying the Apple tax currently at 30%, and for subscriptions I believe the cut is reduced if the user is subscribed for a certain period of time.
Do you think the two are equivalent somehow?
The problem we are talking about isn't the pollution creating the plastic bags but their disposal in the deep sea.
What a novel brave idea, bravo
No, UBI discourages “parasitic drag” on the aggregate economy compared to conventional means-tested welfare, while more effectively addressing the distributional issues which create the problems means-tested welfare is instituted to address.
I think the issue had more to do with not using a condom (with the explicit non-consent of the two women) than with the sex (for which he mostly had consent)
Thanks for that. Seems that The Flying Scotsman locomotive was built for a life of promotional touring.

Didn't know the Flying Scotsman went on a post-retirement tour and I find it typical that the PM of the day thought this relic could be good for promoting British exports. Who would have wanted some outmoded, expensive lump of iron?

This was a time when Concorde was being built, you would have thought UK Plc would have had better goodies than The Flying Scotsman to send off to America.

Different things happen when objects get to be in museum world. If anything there is to learn from the story is the importance of getting stuff into 'museum world', then there are the collaborations, tours and opportunities to shift the merchandise.

I wonder how well the marketing and tour would have gone had 4477 'Gay Crusader' been the one to be spared of its fate on Barry Island (where all trains went to die).

What is also interesting is that the service was called 'The Flying Scotsman'. Yet most people would be quite insistent that it is the locomotive, not the service that the name refers to. I wonder why this is not something done a bit more extensively today. There is no single loco that is synonymous with the channel tunnel service. They could have one 'poster child' loco and make it sound special, to market channel tunnel trips a bit more 'romantically' than how it is done currently with faceless no-name locos.
Burning the Boats: Going All-In on a Side Project
Apollo-Era Tremors Reveal a Dynamic, Active Moon
If suddenly one developer can do the job of 3, then the other two will be assigned to some of the other unstaffed things they could be doing to also make the company money. Most places I’ve worked have a huge backlog of unstaffed work just waiting to be picked up.
Not unlimited. Your losses shorting a stock are capped at the price you borrowed it for (though technically it could be unlimited if you have to continue paying borrowing costs if you can't buy a share and close out your short [1]).

[1] https://www.bloomberg.com/opinion/articles/2018-04-11/-go-to...
We don't have time to wait a few hundred years for technology to improve though. The fate of the climate is decided in the next ten to twenty years. If we don't stop catastrophic climate change now, it's quite likely that technological society will be busy fighting for scarce resources here instead of building space colonies.
Anecdotally, Uber kept coming up in citizen discussions of improving&maintaining public transit, as a reason not to invest in public transit.
What I find most interesting is that qanon and other similar crapspiracies have recently upticked here on HN. Used to be lots of ultra-capitalist but socially progressive dominated and free of right-wingers, but ah well, here we are. Eternal September effect in the works?
And some models can simply lose support as they age, which is something just accelerates planned obsolescence.

My father owns a John Deere, kind of old, and it is a good machine. It is not that sophisticated, and all the electronics we use are bought separately. We do not have this kind of problem yet.

The convenience and added benefit of a self-guided, GPS/RTK oriented tractor has this annoying cost. John Deere wants a share of what farmers save with more efficient machines, and then some more.
It's been a long time since the bank foreclosed on my boyhood farming days, and I have been as far away from tractor news as possible ever since.

Is nobody else making tractors anymore?

I remember John Deere tractors being the very cream of the crop: are they still well-made and revered for it?

What a weird world. We would have been incredulous to be told that one day we wouldn't be able to repair our tractors without computers. That was back in the TRS-80 era, for reference...
Admiring the Zircon OS Part 1: Understanding Minimal Process Creation
>As long as they're not false or misleading

So either Apple is misleading us when they say we are their customers or they are flat out lying to get out of a lawsuit. Can't have your cake and eat it too, mate.
I mean, they can still pursue a vision plan or a lidar vision combo. If we get to self driving cars there will still be competition there though.
^ this

I am surprised that somebody actually noticed this (I was going to but you beat me to it. Normally we hear only about the exploited drivers or unpaid taxes, but Uber has done so much more for people around the world. Those who like it get a better service than governments provide, those who don't have no obligation to pay for it.

My second (or first, considering the first was yours) point is Uber wouldn't be doing so bad (financially) if it didn't face government obstruction. Tesla, on the other hand, siphoned billions in taxpayer monies and isn't doing better.
Uber has a service that can be sold for more than it costs to provide. Tesla does not.

I am not saying Uber will outlast Tesla. But if neither company sucked on the government teat, Uber would win.
> They are certainly not pro-Trump for instance.

The media is supposed to report the truth, they aren't supposed be 'pro' anything else.

To quite Stephen Colbert: "Reality has a well-known liberal bias".
I don’t think it’ll go anywhere. How is it any different from what Sony is doing with the PlayStation store or Microsoft with Xbox?
Discussed here: https://news.ycombinator.com/item?id=19897250
Don’t you have to use a cloth bag like a thousand times before it’s recouped the environmental impact of making it compared to that many plastic bags? I’m not sure that’s always going to add up to being a win for the environment.
Because headlines are _not_ a substitute for quality journalism and despite falling ad revenue, people will still seek it out to some extent. It's why the EU link tax is a terrible idea - when Google News pulled out of Spain it damaged the online news industry badly[0] with 6-14% drops.

[0]https://www.zdnet.com/article/the-google-news-effect-spain-r...
John Deere tractors have held their value historically better than Kubota, Mahindra, New Holland, and Massey Ferguson. These are the main dealers in our area. I can't speak for the midwest.
I am trying this tool. First impression: The plugin framework works like charm. Creating a small plugin to get GitHub org repo info. Working with only two files. Plugin is one file and configuration yaml is other file.

I am not Python developer. I develop in Powershell. So don't judge my code. :)

I put this in ghcloud.py.

import urllib.request
import json

class GhCloud:
def __init__(self, org):
self.org = org

def read(self):
url = 'https://api.github.com/orgs/%s/repos' % self.org
data = json.loads(urllib.request.urlopen(url).read().decode('utf-8'))
for d in data: yield d

def done(self):
pass

I put this in cloudmarker.yaml.

plugins:
ghplug:
plugin: ghcloud.GhCloud
params:
org: python

audits:
ghmon:
clouds:
- ghplug
stores:
- esstore
- filestore

run:
- ghmon

I run tool.

PYTHONPATH=. cloudmarker --now

Cloudmarker runs my ghcloud.py and puts data into localhost:9200 and /tmp automatically. I can do it without cloning Cloudmarker code. I only hack my code and Cloudmarker runs it.
If Evil mode or Spacemacs worked perfectly I'd have switched a long time ago. But based on my experience with it I'd say it would take me months of practice and configuration just to get the same experience. And for what? Just so I can do the same things in just one program instead of two(Vim + terminal)? Not worth it for me.

Besides, as long as hitting the Escape key feels like sending messages in morse code I don't think I'll ever get used to it.
Nothing about Assange suggests he wants to live a quiet life.
This is going to be a shock to all of those people who were willing to give tax incentives for Amazon to build distribution warehouses in their city in exchange for "jobs."

Though, this is only the beginning. A few thousand jobs now, the majority of them later.
Have those handwritten proofs been published?
Jesus, there is just so much going on. The drop-down menu is huge and too tall for my browser window. I clicked through some of the components, you should learn some basics about accessibility.

(Also, this is your third time promoting this "kit". Maybe read up on the Show HN guidelines[1].)

[1]: https://news.ycombinator.com/showhn.html
Seems more like a sales pitch than anything which conveys real information. And, as they imply (but others posting here dispute), if it's better in all cases, why wouldn't it be on in all cases? Why didn't they mention the downsides to enabling it?
Algo can be used to configure WireGuard also: https://github.com/trailofbits/algo

It automatically handles server provisioning, creating users, and can also generate QR codes.
It's actually not suspicious. It is simply not something the authorities can legally do.
So I'm misunderstanding the effect?

Is the outcome such that the reducion in payroll will lead to increase in profits and then pressumably that profit will be taxed at a minimum of long term capital gains rate when returned to shareholders?
Probably, but that's their own fight. Spotify will do whatever is best for it, and the artists will do the same.
Yeah I thought they had liquidation preferences. Would they not have some deal where Uber has to make them whole by issuing them more stock up to the valuation price? Maybe that all goes away at the IPO, but surely to get sign off to have the IPO they must have gotten some guarantee.
I was speaking design-wise. Never read one of the labels!
> Ships In Own Container (Amazon SIOC) certification puts the responsibility on the manufacturer to certify their products can be shipped without extra packaging.

Sorry, but how can this be a good idea? I'd hate if I ordered something expensive, for example a digital camera, and every porch pirate (or shady parcel delivery subcontractor) immediately sees "this thing is worth a couple grand", compared with the usual Amazon grey packaging.
Props to your team's great work doing useful analysis on an important protocol. I appreciate it. :)

I do have some questions about the assurance CryptoVerif provides. I'm a non-mathematician that does research in high-assurance security that tracks formal verification results. What I've read indicates problems can kick in at places like this:

1. The logic or modelling used isn't proven sound. There's been tons of analysis into things like set theory or HOL Light. Is CryptoVerif using a proven logic?

2. Recent designs favor kernelized models where about every step or transition can be proven consistent or just not mess up to begin with. Does CryptoVerif do this or is there a lot of complexity in it?

3. The solvers might themselves make mistakes. One mitigation was them simply driving the steps in 2 that were easy to check and/or providing a log of work for a trusted checker. Any risks on automated part to worry about?

4. Small, verifiable TCB. HOL Light and Milawa were explicitly designed for this. Does CryptoVerif have a trusted checker? Are the design and implementation of above done in a tiny, easy-to-verify fashion? The EasyCrypt paper's comparisons to CryptoVerif and CertiCrypt made me think it doesn't.

5. Verification activities on the code itself, source and/or binary, from static analysis to property-based testing. Empirical evidence suggests these catch problems proofs sometimes miss, esp due to specification errors. Even CompCert had a few. Any of this on CryptoVerif's building blocks?

The answers to these questions might be helpful to people interested in boosting the assurance of this or other tools in the future. After all, the proofs can only be as strong as the foundations they're built on.
sorry, i missed your response on the other thread; will answer there.
Within reason, shipping weight is a bigger deal than volume.
Argo is great. I temporarily switched on on a customer's domain and we saw 50+% improvements on latency!

Question to CF employees, since they usually participate here on HN: Any chance we are ever going to be able to enable Argo on specific domains / paths, similar to Workers?
How do you resolve this with the fact that exclusives exist and are tolerated in just about every industry.

You can only buy the new Jordan's from X stores, only available on PS4, exclusively at Target, etc.

And places that sell things are well within their right to choose their vendors unless you want to demand that the BMV dealership be leglly required to sell Ford trucks if Ford desired.

Put exclusivity and vendor selection together and you have a digital app store. Apple doesn't even pretend to be open -- they're a product with licensed 3rd party integrations.

On what grounds should they be compelled to be anything else?
exhaustively enumerated. i mean. a lot.

you should dive into the Nethack source code. It's really well organized but in monster behavior code (mon.c), it's an 'if'-fest :)
I'm all for this as soon as we change the laws so companies pay payroll taxes on automation commensurate to the number of paid positions taken by the equipment.

Automation is what we should be striving for, but only if workers and society see material benefits from it. ("Your labor potential can be reallocated to a position of higher need"/"You now have the opportunity to retrain" isn't a material benefit.)
curious why you're being downvoted. If your message is "many presidents for the last few decades have tried and failed to balance the budget", I think you're correct.

Looking at the bigger picture, it seems like the two-party system is incentivized to NOT solve this problem. If you're a member of Tweedle-Dee in congress, and the president is a registered Tweedle-Dum, you can't help her solve the budget issue because then she'll have that jewel in her crown to win re-election.

This being a tech forum, I offer a tech solution (maybe this already exists, who knows): we need some kind of impartial data structure about every piece of legislation in congress. Some example attributes would be {tax: up/dn/na, introduced by: Rep/Dem/3p, services: add/sub/na, lobbyst dollars: $(mln), ... } but there would be many more.

The idea being that the meta data could be easily broken down to show the manipulation and dirty deeds the lawmakers do pass and block these bills. The most glaring one is when they piggyback unrelated changes into the same bill (I forget the term for this, but it's dirty). So that Senator WhatsHisName can't be blamed for voting against the ThinkOfTheChildren Act. He could point to the metadata and say "this bill would increase taxes by $1b, double our nuclear arsenal, and only give $9m to the children through one school lunch company in one district in the nation". The metadata would clearly show that some idiot put a school-lunch bill in with a nuclear weapons bill. Then the media (likely bloggers, because the major networks seldom talk about the composition of bills) can name and shame the idiot who bundled those together and make them answer for it. Just the threat of bringing these things to light should be enough to discourage it.

Another goal of the metadata, would be to shame lawmakers who vote against something for partisan-only reasons even though it clearly benefits the people. So if the president tries to balanace the budget, has congress draft even a minor change in that direction, the metadata would need to expose anyone who got in the way. Find some way to corner them and make them say "no, we don't need a balanced budget" OR, "balanced budget would be great, but I can't vote for something that Tweedle-Dum is behind". Just bring this dirty behavior to light in the most objective way possible: with unbiased metadata.

I know this data already exist in the bills themselves, but the American public don't read these bills, they need a very concise (and impartial) summary that they can cite and that they trust to not be biased. Some sort of standardization.
I think AOL's definition may have been slightly different. I remember getting a "strike" on my parents' account (3 strikes and the whole account is banned) for "scripting" in a sense that we'd essentially call a "chat bot" today.

Of course I suppose it depends entirely on the specific chat moderator behind the report...
> Under US law the answer cannot be both.

Do you have a source for this? Reading the decision here it seems like both the developers and the consumers have standing to sue, although for slightly different reasons [0].

[0] from the decision: "Here, some downstream iPhone consumers have sued Apple on a monopoly theory. And it could be that some upstream app developers will also sue Apple on a monopsony theory. In this instance, the two suits would rely on fundamentally different theories of harm and would not assert dueling claims to a “common fund,” as that term was used in Illinois Brick. The consumers seek damages based on the difference between the price they paid and the competitive price. The app developers would seek lost profits that they could have earned in a competitive retail market. Illinois Brick does not bar either category of suit."