skysight-inc/HackerNews huggingface dataset:
Being a software developer I find little joy in supporting complex applications that are built on a blackbox full of quirks that you need to learn and memorize. It's like a tech support job. What I can see happening is companies forcing the tech department to suddenly support all these new apps and for me that'd be quite the reason to quit
> How did we end up in a place where we demand the system of government be democratic, with all the emotional language of freedom, self-determination and so on. And then we carved out an exception and made it so our places where we work are run as oppressive dictatorships...

Private enterprise rests on property rights. Thus Bezos, as owner, was free to write that memo, including spelling out the consequences of sabotaging the company's strategy through insubordination or incompetence.

The only way this is dictatorial is if people are coerced to work there without a legal right to quit at any time. Their employment contracts given them that right (I assume) and they spell out the consequences of quitting without giving proper notice---which one could do. Thus, they're employees, not slaves in a dictatorship.

That's not to say that Amazon or other large corporations don't have problems with mistreating workers. In fact, thinking of businesses as machine systems may encourage a mindset among management that risks dehumanizing the people who do the work. And this problem is far broader than amazon.

However, dehumanizing workers isn't inherent in private property and owners' rights to run their firms as they see fit (within the constraint of law). Look at the Guinness company - privately owned, yet a pioneer in treating workers really well, and people have tasted the quality of their work round the world. Guinness believed people have inherent dignity (as a Christian he knew they were each made in God's image), so as a business owner he knew it was good for them and for his business to treat them well.[1]

Dehumanizing employees is often a result of misaligned incentives in the legal system, of unjust laws that don't fit with reality, or more fundamentally a result of the deep levels of brokenness that exist in every human being. No one is perfect, and no human system is flawless. The distortion of private property and resulting authoritarianism in business that you ask about is a sad result of what the Bible calls sin.

[1] https://www.amazon.com/Search-God-Guinness-Biography-Changed...
I would do some nitpicking here: The market _rewards_ low prices. But the market _punishes_ low quality and untimeliness.

Why do I phrase it this way? Because the only market mechanism is a sale, you either buy or you don't. Low price is visible before a sale, so a new sale is reward for the low price offered. Quality and timeliness are only apparent after a sale, so can only be punished retroactively by not buying again.

The punishment signal is also far weaker than the reward signal, lots of goods are not bought too often and problems get forgotten by customers, alternatives may have their own problems, etc. And prices can be compared objectively for standardized goods, and at least easily for other goods. Quality and timeliness are often in the eye of the beholder, subject to variation. Comparisons in those areas are also systematically prevented by most vendors.
We live in a society where expressing opinions or facts may cause retaliation that a reasonable person would consider unjust. For example, someone living in Hong Kong who wants to criticize the recent political developments there but not in a situation to insulate themselves from the recent illiberal policies will have to either shut up or put identifying information out. Similarly for an employee warning against an employer that they are not in a position to resign from.
The problem is that Numba's subset is really limited and often means you have to spend a significant time investment on making your code compatible, often while decreasing readability or doing unnecessary type conversions.

Numba is very cool, but it's inherently limited.
For real, if AWS internal APIs are as good as their outside-facing ones I fear the complexity.

Their APIs are... correct. But have things like usability as a last concern. You also find some things not behaving exactly as you would expect and some things that are barely explained.
I wonder if it would boost productivity
- to move to a 5-day week, instead of 7 by
- abolishing saturday and sunday
- We can have 3 days of work
- thursday & friday as weekend
Okay. Share experiential anecdotes online makes it an easier world to navigate. We don't always speak at this level of abstraction, but i think this is an implicit understanding among some subset of experience-sharers/recommenders.

e.g. Bottom line: I've generally seen many who have no response from curcumin without it paired with an absorption enhancer. This is information anyone reading may find helpful.
You could simply just stop treating vacation time as a perk or something you earn and, instead, simply give everyone paid vacation time.

It doesn't have to be expensive: Norway collects taxes in a way that means you basically fund your own vacation: The downside is that you don't get that money if you didn't work last year, but there is a push to fix that.

And I completely agree about scheduling: Employers should pay extra for changing a schedule in too short of a frame. Yes, this also means that everyone might get paid extra for releasing the schedule too late.

I'd also add that everyone should have the right to work contracts. At a minimum, it'd state how to break the contract (fair notice, both sides, exceptions apply), rate of pay, number of hours expected (even for salary workers), and a start date.
I think we eventually have to move to a 4 day work week because of employment. Switching to a 4 day work week creates jobs. The work will not be less when you switch to 4 days and to compensate you have to hire more people.

Even in Europe we have countries with a high rate of unemployment among young people.
Shoot a rocket into outer-space with a bunch of full human genomes (sequencing data), a backup of the internet, and a readme.

The probability of a starship being within 5 lightyears of earth is likely zero. If there is one, it's probably because it's already on its way here.
In what sense is this article fake, or concerned with empty gesture politics? It is essentially an emeritus professor at one of the world's top universities expressing concern about that university's failure to protect its own staff from targeted harassment.
Matt Anderson in 2014:

https://www.youtube.com/watch?v=bwreHReBH2A
I don't think so, because the Norwegian government made that decision based on a risk/reward analysis by their own public health institute. COVID deaths in the female under 40 group are group are exceedingly rare, likely more so than (lethal) DVT in the vaccinated. It wasn't necessarily a popular decision.

The "Russian disinformation" argument doesn't really work either, because Russia targeted mRNA vaccines specifically. The Sputnik vaccine (in theory) has the same problem as the AZ and J&J vaccines, also being based on viral vectors.
"People don't stop working if you give them basic income."

They do, or we wouldn't have any retired people.

"Basic income" is just another way of saying "receive a state pension at 18".

The alternative is obvious - ensure that everybody can always sell their labour hours at a fixed rate.

If you have to give up your hours to earn money, then that is the same as everybody else. There is no longer a differential between the "unemployed rate" and the "employed rate" which eliminates the rate per hour 'dead zone' required to attract people from "doing nothing" to "doing something".
Fully agree with your sentiment. As someone who spends significant time in four different countries, it gets pretty old quickly.

Google is the most annoying one because the change language setting is not easily findable and typically at the bottom of endless scrolling page. Slack is the worst one, you can't even find the change language option. The best is Apple implementation where it maintains the language but shows a little notification in browser offering you to change location and/or language. Amazon also does pretty decent job.

Twitter and Yahoo! News are also pretty bad. Yahoo! News will start showing the news from the location it last detects and continues to show even after you have left the location and haven't been back at same locations for years. Twitter email is nuisance in itself, and sets up alert for something specific at a location you haven't been back or have any further interest.
Very well elaborated; couldn't agree more!
Downvoters: Can you explain why you're pro-Marxist?

Tens of millions died in Russia and China because of Marxism. Why do you want that in the US?
No, not necessarily, but it would mean that you would be able to (either by yourself, or by hiring someone to do it) alter the code and/or hardware in order to allow you to do that.
Hi,

I love your work and the examples. The Doom example is great!

A search for “AGPL toxic” has a fair number of hits, both in favor and against. I honestly have no clue who to believe…

I’ll be using Google here as an example because they openly lists their internal open source policies, but other companies have similar rules: https://opensource.google/docs/thirdparty/licenses/

Google prohibits SW licensed under AGPL not only on their servers, but even on employee laptops.

They fear contamination and forced release of their internal IP, because, compared to regular GPL licenses, the AGPL has some language in it that makes it problematic making those tools available on a network.

This may be an overreaction on their part, but I’m not in a position to argue that case.

The comment on your GitHub issue, that generated Verilog isn’t covered by the license terms, is understandable, but without a real license it’s probably only just that, a comment, and even if it provides legal cover for generated code, it still doesn’t matter because it doesn’t change the blanket ban of AGPL licensed tools.

Google does not have such strong objections against GPL3, which differs from the AGPL3 in just one paragraph.
> I'd hire the second one since it's going to be cheaper.

You would. But the guy doing the hiring is just giving the job to his drinking buddy, sure that the favor will come back in some way or the other.

There’s also the social factor to consider. These extra people could be superfluous, but if they’re not there everyone walking past will condemn that construction site as being unsafe.
Tutorial: Automated data downloads with OS APIs
Living in a very walkable old-inner-city I have essentially zero cars going through the neighbourhood, especially at night. But motorbike and scooters (!) are able to go through and a single scooter is easily able to eradicate cumulative hours of sleep throughout the neighbourhood within seconds.

How these things have not been regulated out of existence by now is beyond me. The only silver lining is that I see more and more electric scooters. As they're starting to make economic sense I hope that the others will phase out, but the old ones will have to be removed by force (of law) or they'll keep ruining people's health (air & sleep) for decades...
Agreed that the setting exists; disagree about what it does.

What that option toggles what you see when you look at yourself. The audience always sees the unmirrored video.

This is not clearly explained in the documentation. However, it is mentioned here

https://support.zoom.us/hc/en-us/articles/204065759-Zoom-Roo...

for example, where they say of the option "Note: You can tap the Enable video mirroring option if you want a mirror effect for your own video display (where the display of your own Zoom Room looks like a mirror)."
Do you think people are aware that these vaccines are novel technology that is only licensed under emergency approval? That no other mRNA vaccine has been licensed for human use until now? That children are likely at more risk from the vaccine than from coronavirus? That vaccine manufacturers have no liability for when things go wrong?

My parents seems surprised that I am not interested in the vaccine. They assume it's just the same as traditional vaccines.
I think the issue with the Win10 model is that the signature on any PE files is independent so one can use it for some bypass outside of the process of installing a driver. That said WHQL/WHLK signatures aren’t useful for bypassing things like smartscreen and do require an additional EV code signing cert to identify the publisher for that.
Which again at large scale isn’t probably hard to get.
This was the first thing that came to mind: http://poignant.guide/book/chapter-1.html
Show HN: Automatic Logo Quality Tester
Hey folks, excited to share my project Logo tester with you.
I have built it because I wanted to see if I could reliably and automatically test the quality of a logo. I didn’t aim to test its “creativity” or “beauty” as those things are subjective, instead, I decided to focus on more concrete aspects of a logo, Uniqueness, Scalability, Background tolerance, and Colors. I was able to find a way to test all 4 automatically and pretty reliably. I tested and calibrated it with more than a hundred logos.
Building it was actually a lot of fun and a lot of challenge because I am not a professional developer, it runs on python on AWS lambda.
It would be great to know what you folks think about the project, the validity of judging logos in this way, and any other feedback.
Logo tester is in beta, please let me know if you notice any issues, and looking forward to your feedback.
2020 LLVM Developers’ Meeting: “Checked C: Adding Memory Safety to LLVM”
VALR launches FREE ZAR payments
The funny thing is that Ferris isn't even hiding what he's doing. According to the book (I read a couple of pages in the Amazon preview) he decided on the title "The 4 work week" by A/B testing various titles and using what gets most clicks. He just writes whatever people want to hear and even tells you that this is what he is doing! There is nothing to learn from someone like that.
Unfortunately Hubble has issues at the moment. There's a couple of HN submissions about that.

--> https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
Office vs remote is a red herring.

The fundamental question is whether an employee should be free to pick their preferred workplace. Is is a superset of regular office work.
I worked in Japan for a while. My contract was saying 28.5 hours per week, but I was expected to work 40 hours+. This is where I went into discussions with my boss who was very angry at me and fired me on the same say I told him that I was expecting to work the hours that were mentioned in the contract. I had to clean up the desk and leave immediatly after that meeting.

Then I got in touch with the officials and lawyers. Labor law IS already strong in Japan, but it is the employees who do not demand it and the employers who do not follow it. The officials are running many campaigns to advertise equality and proper working hours. Just nobody cares.

Long story short - I got my salary paid ouf for a couple of months and could stay in Japan. Best time of my life and this is the way you should experience Japan: live there, DO NOT work, have enough money to support a certain lifestyle.

Now I am back to Germany and I am happy that I have a decently paid, low stress 40 hours work week, 100% home office, many perks, I am practially unfireable, 32 holidays per year and a worker friendly corporate culture.
UBI would sort out a lot of these friction points. So much bureaucracy is tied up in eligibility, inspection and compliance. Just be done with it. Fake tokens, food stamps etc are just resource drains.
> Organic Maps is an Android & iOS offline maps app for travelers, tourists, hikers, and cyclists based on top of crowd-sourced OpenStreetMap data […]

Good to see the source data mentioned right at the top, where it should be.

> […] and curated with love by MAPS.ME founders.

What does that mean? Not the nonsensical 'with love' part (that sounds unpleasantly sticky), but the curation; what is being curated? Is the source map data being hand-picked or modified, or is this just an opaque term for 'we built an app that gives you OSM in a handy offline format with custom rendering'?
I mean, by that very very strict definition nothing is Turing complete since no machine has infinite memory.
<pedantry-mode>

Isn't that like saying C++ templates aren't Turing complete on account of recursion depth limits?

</pedantry-mode>

edit sonthonax beat me to it
Ask HN: Is it okay to store my customer's credit card info
I'm working on a SaaS business and for some reason there's very limited info on this topic on the internet. With solutions like Stripe or PayPal, my customers need to sign in with their own Stripe or PayPal account for one-click payment. However for people who just check out with their credit cards, Is there any legal implications in the US if I want to help save their cards for one-click payment?
In my experience, most APIs my teamed designed/built were not meant to ever be publicly available. That is, we never considered public availability as a design factor. So I think this rule doesn't actually apply anymore.

Then again, I don't know how public availability would change the API design really...
I know I'm not arguing the merits of this specific case, but a world with no bees is a world where basically everyone is dead. Living can be hazardous, but some (very slight) dangers are necessary in a world that makes living possible.
Who is to say we aren't the product of such a disaster...
In some countries, e.g. Australia or South Africa, suburb just means "neighbourhood" rather than specifically an outlying one.
One of the most compelling short VR experiences I've tried is Titans of Space PLUS, which gives a tour around the solar system, and then compares our sun to other stars.

The sense of scale when you have depth and head movement had me quaking at a few moments.
The Perfect Binary Tree?
Whether or not this professor can be said to represent "the right", he makes no such complaint. He suggests that marketisation of education, and resultant focus on "student experience", might in part explain why universities are reluctant to take tougher action against student harassment of teaching staff.
> Somebody has to actually create all the stuff that people consume. UBI doesn’t address that point.

“UBI” isn’t actually a specific plan, its a broad concept within which there are many specific plans. But the broad concept itself does address this, though many of the more detailed plans do so in…more detail.

At a high level, one of the central points of UBI as a replacement for traditional means-tested welfare (and why some of its earliest advocates were right-libertarians, not lefties, such as Milton Friedman who advocated “negative income tax” which is identical to a UBI) is that it eliminates the disincentives to earning outside income that come with the sharp (sometimes greater than 1:1 when aggregated across all benefit programs a person qualifies for) funding reductions for outside income that come with means tested benefit programs, increasing the marginal reward (and thus incentive) to work.

> Rich people still eat the same amount of food for dinner.

No, they generally don’t. Oh, sure, that might be true by mass, or even by calories; but not by labor-hours of work that went into it, or dollar cost, which is what is relevant here. And that’s true across all categories of consumption.
https://lightboard.info/
Feels like a pretty unethical article on an 'ethical' website. They clearly have a bias on the issues of the cases which they didn't even need to mention.

CGP Grey did a interesting video on this https://www.youtube.com/watch?v=uqH_Y1TupoQ

CGP Grey claim now you know the idea you might not be able to use it.

There have been a few arrests of different people advocating for jury nullification (Which I think only applies if you talk to actual jury members, hence why the arrests happen outside of court houses) ie https://www.reuters.com/article/us-usa-crime-jurors/judge-to...
Thanks! But does that not already answer your question as to why Lean would use CIC and not a simpler metatheory?

That particular paper is from 2016 and the type theory presented there is still lacking a number of features from CIC, with those particular extensions being listed as further research. Work on Lean started in 2013 and the kernel in particular has not been touched in a long time for good reason. Around that time, CIC was already battle-proven with there being popular and well-tested reference implementations to learn from. Since then, all the fancy work has been done on the system surrounding the kernel.

I believe one of the goals at the start was that the kernel should be sufficiently simple and small so that it is easy to ensure that the kernel is correct. Despite the apparent redundant complexity that you suggest, the implementation still seems to be sufficiently simple to reach this goal, as no proof of false that was a result of a kernel bug has been reported yet. CIC being well-tested surely also contributed to that.

Another reason is that, as I understand it, it was not always obvious that Lean would break decidability of defeq. Afaik proof irrelevance was only baked in with Lean 3, while it was an option before that. By that point I don't see much of a reason to rewrite an entire kernel that has worked fine so far.

I also vaguely remember that there were arguments related to performance in favor of the current system (e.g. versus W-types), but I don't really understand these things well enough to make that point with confidence :)
It's not supposed to be $1000 to each and everyone just like that. That's be too much for pretty much any government. But imagine that you give $1000 to a person without a job. Then said person gets a job and for every $1 they earn, you subtract $0.5 (or any other fraction that makes sense) from the UBI. When that person earns $2000 they do not get any more UBI. The majority of people with a job is not going to get any UBI, but they have that security should they lose their job. It will also be targeted at the people who earn the least amount of money.
I think they are referring to Rosa Parks, where the economic difference would lead to segregation.
> The on-call time is also unpaid

This is why on-call should never be unpaid. There is no incentive to reduce cost and improve that way.
Any link to a tutorial on how to set this up? Thanks!
The SCARF Model
From linked article

> Since Rule 110 is Turing-complete, this seems to prove that JPEG XL predictors are themselves Turing-complete — except they are not!
Cloudflare, we had a server costing 500 a month and crashing… moved to cf workers and we can scale to infinity at 1/20th the cost
On my screen, it's taking about 4s to scroll one light minute (15 times light speed). So if the map extended all the way to Proxima Centauri, it would take over 3 months of continuous scrolling to get there.
From my experience visiting, there were lots of jobs that were "nice to have". Like the man making sure people don't fall in the hole, or the person standing by the carpark exit making sure the way is clear. You could probably do without them, but it's a nice thing to have.

There's lots of examples of that, people doing things that you would see brutally optimized out of western city and those cities I feel are worse off for that optimization.

One way to look at it is that with their wealth they've decided to employ more people and do more good, versus pocketing the profit and calling it efficiency.

The famous railway networks in Japan are actually privatized rail companies which was very surprising to me. When the rail companies privatized in my country they immediately became worse, as they were suddenly serving a very different purpose. Staff were let go, the trains are cleaned less often, services were cut. That kind of thing.
No because they will change the number of days not of working hours.