skysight-inc/HackerNews huggingface dataset:
That's not what Gödel's first theorem says. What Gödel's theorem tells us about linear algebra is that either it's inconsistent, or there are statements which are true for some models of linear algebra, but false for others.

In fact, we do know that any statement in linear algebra that is true[1], is provable. That's because vector spaces are first-order structures, so that's covered by Godel's completeness theorem[2].

[1]: I.e. it's true for all models of linear algebra.

[2]: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...
Describing a joke out of context can make a person sound very cruel indeed. I've been in situations where someone has made a joke about me dying, for example, and I found it to be funny and light-hearted. But if you strip out the context and say "he made a joke about me being murdered", it sounds far, far more cruel than it really was.

The reason the blog post was written is that jokes that would usually be fine among friends can take on a different tune as soon as the power dynamic changes, and that's not always obvious to the person with the upper hand.
Don't generalize, not all people are mentally weak and get uncomfortable or offended that easily even when that's the trend in the 21st century.

A manager, like everyone else, should know who to make a joke to, and he will get closer to those employees.
Wikimedia Foundation mission is:

>The mission of the Wikimedia Foundation is to empower and engage people around the world to collect and develop educational content under a free license or in the public domain, and to disseminate it effectively and globally.

The mission is NOT "get as much donation money as possible" and donations should exist to support the mission not vice-versa. Google seems to be helping in their mission of disseminating information.
> When I've looked into people who commits crimes and why, they rarely are considering the judicial system and the possible consequences of their actions.

Agreed. I'm not saying their approach was exactly unbiased or scientific, but Penn & Teller in their "Bullshit!" show put forward the following considerations:

- If a violent crime is "spur of the moment", by definition it never takes the judicial system into consideration. People who violently murder their loved ones in a fit of rage don't think of the consequences. People who shoot strangers over a car accident don't, either.

- If the crime is planned with anticipation, such as in many white collar crimes but also planned robberies, kidnappings, etc: the perpetrators always think they are smarter than the law and won't get caught. The possible consequences are irrelevant to them, because they simply don't think they'll get caught.
I would have to read your terms of service before I could offer any useful input.

Depending on those ToS, offering services to others could expose you to legal problems.
Don't they have more than enough money already?
My bad, I updated it to hello@panoptyc.co
In the summer of 2011, I was appealing my sentence. I had no affordable way to contact my attorney

Just to be clear, is he saying that his prison was actually charging him $0.05/email to consult with his attorney over his appeal?
Web security is not the same skill set.

You’d think after this they would just buy Auth0.com and use their skills.
Take $5k or so and buy yourself something nice to get that out of your system then save/invest the rest.
Interesting side fact: The Palme murder was long blamed on the Kurdish organization PKK which got banned as a "terrorist" organization in Europe around 1993/94 as a result.

To this day, the German government (one might assume on "request" of the Turkish government) uses that ban to prosecute anything even remotely dealing with Kurdish organizations - even things such as a depiction of Öcalan's face are banned.
Signatures of fractional electronic charge observed in topological insulators
Interactive: Build the Perfect TV Streaming Bundle
The most effective means we have today for determining what we should do for other people is prices.

That means capitalism.

The downsides are lack of agency in large efficient orgs and unearned profits from capital.

I don't know the answer, but I don't think UBI + charity++ is it.
I know the tech community likes to hate on company policies and bureaucracy, but this is exactly why you need SOME rules - to protect employees from bad managers.

If you have a process in place that managers must follow in order to terminate an employee, employees don't have to be afraid of tasteless jokes about firing. If there is a process that involves the employee (like a PIP), you also don't have to be afraid that you'll be blindsided with a termination.

Same thing applies to "unlimited" vacation. I know this is an unpopular opinion, but when you get rid of your vacation policy, you are transferring all handling of time-off to your front line managers. My experience with unlimited vacation at Netflix was poor because I had a manager that made little comments here and there that made me feel guilty about taking time off. If I had days off that I accrued then I would know exactly what I'm entitled to take.

I wrote a blog post about why we got rid of our unlimited vacation policy at our company.

https://www.facetdev.com/blog/posts/why-we-ditched-our-unlim...
Mine was "Going for a piss boy?", the guy was a somewhat crude TV / magazine celebrity of sorts, I was working as a developer on their website at the time. It was one of those people who probably could fire people on the spot if he didn't like them.
> They [two startup founders] find PHP/FI 2.0 to be inefficient and lacking features. In 1997 they embark on a complete rewrite of the underlying interpreter.

Wild. Doing something like this today would be considered so tangential and risky.
Wow, there's so much... negativity in this post by Rogozin. It reads like "sour grapes":

" Driven by hunger, a fox tried to reach some grapes hanging high on the vine but was unable to, although it leaped with all its strength. As it went away, the fox remarked 'Oh, you aren't even ripe yet! I don't need any sour grapes.'"[a]

People who speak disparagingly of the accomplishments of others would do well to apply this story to themselves.

--

[a] https://en.wikipedia.org/wiki/The_Fox_and_the_Grapes
Personally I like that one:
https://www.cnbc.com/2019/08/31/billionaire-investor-warren-...
It has been posted on HN someday. There is one entry "work for people you respect".
Nope, small company in Montreal.
IBM Cloud goes down planet-wide so hard even the status page didn't work
The Wikimedia Foundation has a mission of, in part, disseminating information. It's mission is NOT "get as much donation money as possible." If the loss in donations allows for their mission to be done more efficiently then that's a net gain.
Hack Will Help You Make Better Decisions
Ask HN: ICs who were previously managers, what is it like now?
Do you find it hard to be managed again?

Do see the mistakes managers make more easily?

Do you find managers solicit your feedback on their management practices now that you aren’t one?

Do you respect the manager role more or less now?

Do you miss having as many opportunities to define strategy and culture? Maybe you somehow have more opportunities now?
wikipedia is probably not the best site to use for that argument for the reasons you listed. But the article also mentions weather.com, which is ad-supported, and zero-click answers can come from other ad-supported sites as well.
Ah, I see is first time experiencing Russian loss. Is normal response to losing.
Team develops online atlas of human immunome for precision medicine
It seems like C++ offered all of "it would have to have great advantages over existing languages, and excellent interoperability, and an approachable learning-curve" and worked hard and made whatever compromises were needed to do it. Which is probably why it took off relatively quickly.
I was referring more to the 6-year limit of H-1B as mentioned in the article.
Incarceration is a great punishment by itself, depriving someone of their freedom of movement is already quite a lot. What I meant is there is no need for a vengeful justice beyond that.

If an individual is dangerous for society they shouldn't be in it, this doesn't mean forever if there is a possibility of rehabilitation. There are many monsters locked up that probably should never be released, in that sense the justice systems of Norway, Germany, Sweden and others work well: you are locked up to 20 years, after that your case is reviewed and if you are still deemed a danger to society you get it prolonged, a few times this goes on for life.
We might want to have a SCTP-based HTTP/4 down the road. That would surely benefit from some fixes on the network side.
I've been using PHP for most of my web development career (a decade). What are the industry standards for backend web development languages in 2020? I was under the impression PHP was the way to go for back end web development.
Yea of course but the employee generally has no visibility into those processes, especially when it comes to job termination.
OpenStreetMap is looking for caching servers, those need a lot of outgoing bandwidth https://wiki.openstreetmap.org/wiki/Servers/Tile_CDN
I can’t but agree with the hilarious sentiment of the author. Marketing is not the forte of AWS (or Google). Their strength is their APIs and continuous unrelenting investment in their infrastructure.

I would poach someone from say Apple than AWS for marketing purposes.
The article is very light on technicalities but as far as I can tell, this expedition is WAY outside the sat territory. Sat divers do perform "seawalk"s during their missions, so they do need to perform the necessary steps to adjust to pressure changes.

This can't be the case here, they were inside their submarines the whole time.

ps: 100 feet = ~30m, 650 feet=~200m
SpaceX Falcon 9 inside fairing deployment footage
Interior Cites ‘Miracle on the Hudson’ to Drop Bird Proposal
I agree its not stealing (the mission is to collect and disseminate knowledgge, not to drive page hits), but the main workflow to get new users is somewhat disrupted by more queries being answered by google.
I mean, paying to have someone murdered is, kinda sorta violent.
> I mean, think about it: What’s the secret sauce he’s going to take with him? “Release a bunch of things with terrible names then market them incredibly poorly to infrastructure engineers?”

Presumably, in the same vein that salespeople bring a “Rolodex” (i.e. a set of established personal relationships with clients) with them when they switch companies, wouldn’t a marketer bring along with them a Rolodex of channel partners, advertising-agency higher-ups, etc.?
All of the dead cards, if I open my drawer where I store them marked with a black cross-mark, are samsung evo cards. All my Sandisk Ultras (the real ones verified on Sandisk's chinese website) are still running fine after ~3-4 years of usage.

Anyway, Samsung Evos didn't hard fail for me. They just stopped executing writes (without reporting any errors). So your system seems to work (for a while), but after reboot it's back to where it was previously. It's a pretty stupid way to handle end-of-life condition for the card. I wish samsung decided to report write failures instead of simply ignoring the writes and reporting success.
Thanks for saying this. I'm thankful for people like your father.

I grew up on the other side of that power dynamic and it still affects me in a number of unpleasant and sometimes crippling ways.
You mean not to joke about it in front of other people? I agree of course. But between you two? seriously... A married couple should be able to talk freely, including about things they don't like. No need to create policies in advance like it's a work relationship between employee/manager. I would worry if my married life looked like a work relationship.
Developing software that fulfills functionial or gameplay requirements is going to require a very different skillset compared to fulfilling security requirements (user stories become abuser stories, and they aren't always easy to wrap your head around).

Corporate Japan has also lagged behind western companies in this area. The book Business Management and Cybersecurity by Shinichi Yokohama dives into this.
Rasmus Lerdorf announces PHP 1.0 (1995)
I run a web service "QuickChart" that renders Graphviz charts to PNG/SVG so you can easily bring graphviz diagrams into a web app or spreadsheet. Some Graphviz fans may find it useful (it's intended as a replacement for the old Google Image Charts graphviz renderer).

https://quickchart.io/chart?cht=gv&chl=<DOT here>

e.g.

https://quickchart.io/chart?cht=gv&chl=digraph%20MyGraph%20%7Bbegin%20-%3E%20end%7D

The service is open source: https://github.com/typpo/quickchart
Ransomware Goes Mass Market
Thanks for the info. I look forward to learning from it. I will try the 'on the job' approach as that's how I learn most effectively. :-)
Google removes TikTok clone Zynn from Play Store after reports of plagiarism
Not rare in New York https://en.wikipedia.org/wiki/Rockefeller_Drug_Laws
The road to hell is paved with good intentions - https://en.wikipedia.org/wiki/The_road_to_hell_is_paved_with...

Most of the Evil in This World Is Done by People with Good Intentions - https://quoteinvestigator.com/2019/12/19/intentions/

I would argue that breeding camaraderie requires empathy and understanding with other person as opposed to blindly projecting one’s sense of humor upon another.
In this case, nothing.

The "attack" was a standard credential stuffing attack (https://en.wikipedia.org/wiki/Credential_stuffing).

Attackers were just using credentials that were leaked in other data breaches to access Nintendo Accounts (Switch and mobile apps), by logging in via a linked Nintendo Network ID (3DS and Wii U).

If the password for your NNID had not been breached in the past (and then reused for the NNID), you wouldn't have been vulnerable. Enabling 2FA would also have protected you against this attack.

Nintendo has solved this by:

a) Resetting NNID passwords when they think someone has been affected

b) Disabling the option to log in to Nintendo Accounts using the NNID username/password.
>has it really changed that much in 10 years

I'm inclined to follow Peter Thiels view here. We were promised flying cars and got 140 (now more) characters on Twitter.

Tech has changed. But everything else is so much the same it almost hurts.
> But the only way to actually achieve reliable clean-less builds is to run it in an environment where you either take away all access to non-dependencies (like Nix[0]) or automatically record all accessed files (like Tup[1]).

You can also let the compiler record dependencies. Gcc, for example, does have an option for that.

That's explained here: https://redo.readthedocs.io/en/latest/#whats-so-special-abou...
Could you give an exact example?
Birmingham's Original Sin
Link me to those edge cases please, I did not hit that many so I should be prepared. Thanks.
If I were manager I would not even imply that I’m time aware either way, unless there is an ongoing issue (someone staying too late often), (or someone who is not putting in an effort). Otherwise why even bring up your consciousness of time? It signals you’re tracking it one way or another.

Edit: for addressing burnout, overwork, etc., for me personally I would start with bringing up the issue in team meetings.

Do we have enough resources, does anyone feel they’ve got too many tasks; remind everyone (no singling out) that we’re not here to be superheroes, we’re here to work in exchange for compensation and that you need a good work-life balance in order to perform well at work. If it continues to be an issue after several proclamations, then I could address individuals one on one.
> and takes control away from the operating system

That's just because QUIC is a new, not yet specified protocol, isn't it?

Kernels will get support eventually. Microsoft is actually already shipping some code. [1]

Browsers will probably switch to OS facilities once they are mature enough and provide a performance benefit.

[1] https://www.windowslatest.com/2018/04/03/microsoft-to-add-su...
Study of 62 countries finds people react similarly to everyday situations
As the article points out, the problem isn't specifically that this harms Wikipedia, it's that this practice harms pretty much every for profit business that Google does this to.

Pretty much every company in an established space that Google has entered, is losing traffic and thus revenue due to this practice: Yelp, any flight/hotel/tourism based company, video hosting sites, weather data sites, the list goes on and on.

Google is staking it's claim to content and data. It's legal, and provides short term benefits to users. But in the long term decreases competition and entrenches Google further, which is bad for users.
I think the bird -> dinosaur relationship is more like human -> primate.

IIRC "fish" is kind of a fuzzy term. Like we would colloquially describe our common ancestor with frogs as a fish, but phylogenetically they would be closer to us than to some other "fish." Or something.
Spark is more than just a ML framework. It's extensively used for ETL, stream and batch processing, etc...
URL missing? Related wikipedia article is https://en.wikipedia.org/wiki/Katyn_massacre
Oof; while not a manager, I have made the joke to various people who were peers in terms of job description, but I had been at the company for years while they had only been there for months. They took it as intended though, I've always been the clown type.
> The new American spacecraft are more than double the weight of a Soyuz while offering only one additional seat.

Is this true? The launch mass of a Soyuz capsule is about 7000kg and the SpaceX Crew Dragon Demo-1 launch mass was about 12000kg so not "more than double" however Demo-1 didn't include astronauts. The Crew Dragon can theoretically carry several tonnes of cargo to the ISS in addition to 4 astronauts.
A Journey Through Blameless from Incident to Success
Fascinating. I'm pushing 50, and I've lived almost my entire life in San Francisco. It really wasn't that long ago that the benefit to working in tech was that you get to live in San Francisco. In fact, people considered the livability (and social tolerance) of San Francisco to be key factors in why SF became the center of the tech world.

Now, it seems like the dominant narrative has shifted: the downside to working in tech is that you have to live in San Francisco. Brutally high housing prices and severely deteriorating mental health and addiction conditions on the streets are big factors in this, I'm sure.

Nonetheless, there are few problems so severe that they are completely resistant to hyperbole, and you get a lot of that in the "I hate SF" rants. Much of SF's extraordinary livability remains. I still have beautiful days here.

To me, though, SF's advantages have eroded. First, the uniquely urban pleasures are diminished by street conditions in many of the very urban neighborhoods that set SF apart from everywhere in the US outside New York (which exists on an entirely different urban scale). The diversity and cultural options that were once hard to find outside SF are more more widely available in smaller, more livable cities (try to get a good espresso west of the Mississippi a couple generations ago, and you'll find North Beach is more than a historical curiosity - in 2020, you can get this in a strip mall). SF's opera is pretty exceptional for a small city, and again, outside NY, it may be the best (and NY is a long way from the west coast). But cultural options have expanded in smaller cities, even if they are somewhat more limited, and how often do you go to the opera, really?

And SF has become so, so, so expensive. I just think the good life is more attainable elsewhere - and high rents limit your life and creativity in serious ways, and quite a bit of what SF had to offer is largely available elsewhere. Maybe not all, but quite a bit.
You could read here: https://redo.readthedocs.io/en/latest/#whats-so-special-abou...

(I think this explanation is much better than what I can do)

And yes, it can build specific intermediate files or targets.
European society is based on rule of law, democracy, equality, the scientific method, the justice system, free public education and capitalism.

Capitalism existed for thousands of years (first company if the world was registered like yr. 700) and only supported miserable living standards. Most of these systems appears during / after the Renaissance, and deserve more credit for the society we have today than capitalism does
Who's your provider? Thanks.
Since contenteditable won't have a value similar to a standard form element [1] it seems you will need Javascript. Either ways, Stack Overflow is a better place to ask questions like this, not HN.

[1] https://stackoverflow.com/a/6247785/1470607
That doesn't really affect my point. No streaming service will meet your unreasonable demands (for many reasons, first of all is that there is not an objectively agreed upon list of the great films), and therefore justifying piracy because of it is disingenuous.
Many economists and politicians were deaf to the phrase 'tipping point'. Again, they chose not to hear it.
nice. pointing 2 torrents at the same folder alteady works. If they share files at worse it will be overwritten with the same content. Even if there is a lack of clients supporting it you can still force a re-check and avoid downloading everything again.
Didn't he try to hire a hitman to murder some associate of his?
My Bosch hammer drill will be 30 years old in September, still going strong although there is a slight wobble on the chuck.

Mostly though I don't keep old stuff kicking around, if I get a new computer for instance then the old one goes on eBay straight away.
OTOH I could run Skyrim on my fridge. Kill some time waiting for my fridge to make ice, etc.
It isn't "largesse" because Google's donation is a small fraction of what they are collecting. It would be a concern if a large fraction of their income came from Google.
You have to give credit to someone who is willing to put their neck on the line in such a public way. Best of luck, and I hope the competition pushes us all forward!
YOLOv5: State-of-the-art object detection at 140 FPS
The problem is not that the increase of concentration of CO2 cause a direct problem in the clouds, in that model the problem is caused by the increase of the temperature. Also, it's a problem that they get with a +8°C increase that is a lot, the double of the +4°C disused here.
> If you can't handle sitting there and telling them you're letting them go in person, it's probably not the path for you

I do think this is something you can learn. Having a good mentor/coach helps. I had a hard time with this personally, but after all these years I've seen almost every seat be replaced (more than once, too) and I've gotten used to it. You have to become more consciously aware that a business relationship is a separate thing from a friendly/family relationship.
It is objectively true (is, not ought) that in the world we currently live in, large orgs enable scale which enables modern living.

It does not follow that I think that's the way things ought to be. That's how I interpret the "better" in EGreg's comment, because this conversation is about how we can live a better lives, not how to maximize efficiency. But we can only talk about oughts in the context of what can be.

What I'd like - as I've mentioned in another comment here - is some kind of organizational technology which enables the same efficiencies as large orgs, but without the alienation of labour.