skysight-inc/HackerNews huggingface dataset:
We got a user request to change the URL from https://github.com/ovity/octotree/issues/1040, so I've belatedly done so.
Competition is no longer between companies – it’s between supply chains
So in spite of what Friedman and his Chicago goons would have had us believe, it turns out the world is in fact not, flat.

Huh.
It's a two way street. If SV companies drop salaries, other companies will have an easier time attracting away talent. SV will have to increase salaries again to compete.
Silicon Valley, at least the bigger companies, already do that. Most people are not native to the area. Almost everyone I know in the bay area moved there for work.
How many households in this situation have an extra monitor lying around to plug this into

You just need a television. In a single household it wouldn't even necessarily need to be an extra television, unless it's some kind of truly abusive household where the kid's not allowed to pre-empt the family TV to attend school.

Of course, in a multi-kid household, yes - one screen per kid would be needed.

plus they'll need a separate webcam

Yes. Though, I'd be shocked if drivers were much of a hassle.

This new Pi form factor is kinda clever but surely a
$200-$300 chromebook or tablet is still significantly
more accessible.

Surely, but is the extra money more accessible?

And how does a desktop enable more advanced STEM learning
than a laptop?

It's not the form factor. It's the OS. A fully-open OS, versus a locked-down OS.

Of course, whether or not this matters depends on the kid and the curriculum. If all the kid's doing is some web-based online curriculum whose needs are perfectly serviced by a Chromebook, then yeah - an RPi device isn't magically going to grant them magical STEM learning powers by osmosis.
I didn't intend to put you on the spot. I was equally surprised when I looked up the numbers. I knew HIV/AIDS death numbers were bad, but not that bad.

And as an FYI, from the same UN site (abridged): Yearly HIV/AIDS deaths have been reduced by 60% since the peak in 2004. In 2019: 690k deaths. In 2004: 1.7M deaths.

Things weren't necessarily better in the past.

Technology and science developments help! It's not all tech gloom.
“Get big or get out.” (“Go big or go home” is a different expression.)

That was him.

https://en.wikipedia.org/wiki/Earl_Butz
Location: Mexico/Germany

Remote: Yes

Willing to relocate: Yes

Technologies: Ruby, JS, Rust

Résumé/CV: https://luisignac.io/resume

Email: email@luisignac.io
I love stunts so much I did a song using only dosbox recorded stunts wave files as samples.

https://soundcloud.com/flipbit03/stunts

also check out the song's pixel artwork, a remix of the main game screen.
Don't let the employers do that to you. If they try, go elsewhere. I kept my bay area salary while moving to Arkansas.
By suggesting that a road not taken should be taken, he's committed the sin of being a possible source of regret. Without him, Greece could just pretend their situation since is due to the weather.

If you're an ideologue, you can somehow twist that regret into blaming him for German banks making massive loans to Greece to pay for things like military equipment that they didn't need, and the inability of Greece's currency to adjust in order to keep this from happening. That's a lot accomplished for an economist who was mostly ignored, except by the voters who his party ultimately ignored.
Technically everything in the universe can be modelled by math. If it isn't modelled yet we can make something up to model it. Math is just axioms and theorems so yeah, you're not wrong.

I'm speaking in less technical terms. For example in general mathematical equations or axioms represent immutable concepts. In programming, variables mutate and change... very different from what math traditionally represents. Haskell is an attempt to segregate the immutability (the math part) away from the less "mathy" part (the mutations/IO).

Maybe math is too broad of a term. I probably meant to say "algebra" can't model all of programming, or whatever more suitable word that may or may not exist.
I was replying to someone saying gO MaKe yOuR oWn TwItTeR oR ReDdIt you absolute twit

your analogy doesn't even begin to apply. I can go to another mall if I'm banned. there isn't another dominant social network. Getting banned from Facebook and Twitter is like having your phone line cut off by Ma Bell in 1950, not like getting kicked out of a mall you incredible dunce
The DMCA does not require the technical measure to be highly effective, or even that it be effective at all.

It simply requires that a technical measure of some sort exists.

Thus, it doesn't matter that it's hanging the key next to the door; it is sufficient for the purposes of the DMCA that there is a closed door.
I think the burst of tech workers moving out of Silicon Valley/SF into surrounding suburbs + other areas is driven mostly by people who were already on the cusp of leaving the city.

I've been thinking about leaving SF to move to the East Bay for the last couple years, and COVID-19 has provided a very strong impetus to expedite that move.

Obviously this is anecdotal, and everyone has their own motives, but I haven't heard of many 20-27 years BUYING property outside of their home cities (SF, NYC, etc).
Why does it best? https://www.youtube.com/watch?v=HFIQIpC5_wY
When Plex rolled out it's auto quality/auto bandwidth adjustment it actually worked very well over airplane satellite wifi as well. I watched a few things from my own server.

I'm amazed that service allowed streaming though...
For consumer contracts, many European courts take exactly the opposite tack, refusing to enforce surprising provisions against the consumer.
>Except that you already agreed to this behaviour when you signed up.

It may come as a surprise but not everything written in a contract is in fact enforceable. I can demand that I get your firstborn when you cancel your subscription, doesn't mean that's going to happen.

GDPR gives you the rights to delete your personal data regardless of you having a subscription so I'm pretty sure this is a lawsuit waiting to happen.
Cancelling Backblaze had some hoop jumping involved. They make you clear out the object storage. I'm trying to cancel the account. Orphan the objects and let them get garbage collected. It seems a bit passive-aggressive to turn me into a digital janitor so that I can cancel the account.
It’d be funny (and awful) to see a television show where the contents of a private repo are auctioned off when the subscriber stops paying.
In the case that you were more concerned about the legality than the morality of it, you have to remember that downloading freely available videos on YouTube is perfectly legal. (Of course sharing the downloaded files is not, unless you have a copyright on them, or if they are in the public domain)
The Container Store | Coppell, TX - ONSITE (REMOTE during COVID)| Senior Java Developer

APPLY HERE: https://careers-containerstore.icims.com/jobs/5551/job

The Senior Applications Engineer position is responsible for developing and enhancing software for custom applications and services. This role requires strong experience in Java and other high-level languages, strong experience with database development, an understanding of retail business, and collaboration with a team of developers on both individual and group projects.

The Container Store fosters an employee-first culture built around our Foundation Principles, which define how we approach our relationships with our employees, vendors, customers and communities and influence every aspect of our business.

We currently have openings for full stack Java engineers.

Tech: Java, Spring, Spring Boot, Maven, Gradle, SQL, Oracle, Postgres, React

Company will not pay costs associated with immigration sponsorship.
But how do you contact users if they aren't on the site? What if you have a data breach and need to notify them or need to remove their account because they are inactive and want to give them a heads up.
Git has no idea about a "the main upstream repo", that's a Github-et-al invention. Git will happily push/pull to a bunch of other peoples' repos with no "main" or central part at all.

If you've grown up in the Github era you've probably never seen multiple remotes, but here you go: https://git-scm.com/book/en/v2/Git-Basics-Working-with-Remot...
> The reason is compactness theorem

As I understand it, there is no compactness theorem in second-order logic, only in first-order logic. So your objection would not apply to extending one's language by using second-order logic.
Supply and demand.

But, if it ultimately turns out on-site employees provide no real advantages over remote employees, the end result is going to be a grand leveling more weighted toward a downward adjustment in Bay Area wages than an upward adjustment in within-the-US wages.
> This might be true, but when they were making the case for constructive types they didn't mention it.

Agree.

> The discussions seems to be mostly dependent types vs refinement types, which I'd argue is a false dichotomy.

You are right, I think I confused two notions:

1. constructive vs non-constructive reasoning.

2. intrinsic vs extrinsic types (aka Church vs Curry types[ 1]).

In general, intrinsic types are constructive (because Program-is-Proof due to Brouwer–Heyting–Kolmogorov and
Curry–Howard and others).

But extrinsic types could also be constructive, esp. when the external static analyzer has access to the program, such as in refinement reflection [2] (as pointed out in the above Reddit comment thread).

[1]: https://lispcast.com/church-vs-curry-types/

[2]: https://ucsd-progsys.github.io/liquidhaskell-blog/2016/09/18...

Then I think the author is arguing for constructive proofs, which come naturally with intrinsic types, or at least with extrinsic analyzers accessing program structures; and arguing against non-constructive (extrinsic) types, or anything detached from implementation.
That seems obvious to me: lowering your cost of living means you are willing to accept $X-1, or if you personally don't want to another person that also moved out of high priced living area may accept a lower salary (so they get your job). Otherwise why did companies even have different compensation tiers for same type of work across US regions?

Just because it takes some time for the market to price the changes it doesn't mean it won't do that. Enjoy the initial boost in discretionary income but prepare for having to negotiate lower compensation down the line (or, more likely, not getting any increase in compensation for a long time).
AMD Radeon RX 6000 Serisi Bilmeniz Gereken Her Şey
"Calling something out as bikeshedding can also be used to silent minority opinions or try to change the topic"

This^. Happens in more ways than calling it bikeshedding tho
Writing happens naturally as soon as you try to solve a problem too big to fit in your brain all at once.

There is no need to learn it, it will happen on its own. If you want to be good, you will write and you will become interested in being better at it.

Which begs the question, why aren't leaders already good at writing? Answer me that mister :)
I wasn't really talking about your comment, which is probably the only non-ad hominem gray comment so far. As for why you might be getting downvotes, I'd guess that "any system that limits how rich I can be is bad" is very disagreeable for most people and the voting reflects that.
That's what makes it appealing to a lot of people who have been living around millions of other people. Soon many of these places will no longer be cheap and far away from other people. It'll be interesting to see how today's cultural conflicts play out when the more left-leaning, urban remote workers move en masse to smaller, more right-leaning, less urban places.
thredUP | Full time | Remote, (Pacific & Mountain timezones preferred) | Backend Ruby Engineer

https://jobs.lever.co/thredup/d55a86f4-6b37-4570-abae-13f257...

thredUP is the world's largest online thrift store, making it easier for shoppers to buy sustainably and reduce the amount of clothing going into landfills. Our Growth team is looking for a backend Ruby engineer to help drive customer activation, conversion and expansion. If this sounds interesting, we'd love to hear from you - email claire.priddy@thredup.com.
Maybe someday this can be added to browsers, and the browsers can advertise the users’s preference to the server. Maybe even have a special request header for it. We could call it “Do-Not-Track”. A value of “1” would opt-out of all tracking (cookies).
Vice Presidential candidate Kamala Harris would like to end discrimination bans in California in order to enact the right kind of discriminatory guidelines: racial quotas!

https://ballotpedia.org/California_Proposition_16,_Repeal_Pr...
Well, you can be technical about it... The fact is that this is unethical behavior and should absolutely be called out and made more visible.
Qovery (https://www.qovery.com) | Container as a Service platform for developers | REMOTE EU / US

* Sr. Backend Engineer -> https://angel.co/company/qovery/jobs/673623-backend-software...

* Dev Advocate -> https://angel.co/company/qovery/jobs/734995-evangelist-devel...

Join us on https://discord.qovery.com
Flippy robots will cook sliders in 10 more White Castle locations
I think that's just a question that people look at backwards. From a company's perspective, salaries outside the SF Bay Area are the "right" ones - they think they're moving closer to the world where location doesn't matter, not further away.
Most people’s TVs at this point are basically a 1080 monitor hooked up to a computer (cable box) so I don’t see this as a big challenge. If a monitor is needed they are quite inexpensive at this point compared to what they used to cost.
Without going to the step of moving photos, mail, contacts, etc. off of Google services. Are there automated tools available to periodically export that data?
I know it's a niche, but I would love to have a trackpoint on it.
Duo Security | Software Engineer | Ann Arbor, MI; Austin, TX; Remote

I can't imagine a better company culture; I love it here.

https://jobs.cisco.com/jobs/SearchJobs/Duo%20Security
DuckDuckGo - We are looking for candidates that are excited to join us on a mission to raise the standard of trust online. All of our roles are fully-remote, except where specific locations are noted.

DuckDuckGo | Associate General Counsel (US) | REMOTE

DuckDuckGo | Director, Data Scientist | REMOTE

DuckDuckGo | Director, Site Reliability Engineering | REMOTE

DuckDuckGo | Senior C# Developer | REMOTE

DuckDuckGo | Senior macOS Engineer | REMOTE

DuckDuckGo | Director, Windows Application Development | REMOTE

DuckDuckGo | Senior Android Engineer| REMOTE

DuckDuckGo | Senior Product Designer, Mobile | REMOTE

DuckDuckGo | Senior Corporate Counsel (US) | REMOTE

DuckDuckGo | Senior iOS Engineer | REMOTE

DuckDuckGo | Senior Privacy Engineer | REMOTE

DuckDuckGo | Senior Software Engineer - Traffic Quality | REMOTE

https://duckduckgo.com/hiring
Needs a [2008], and there has been further progress on this subject subsequently, for example: https://doi.org/10.1109/TCSVT.2014.2376137
There's a Moore's Law for batteries that doubles their utility every 12-15 years. We've been arguing about batteries since the mid 90's. We have 3-4 times as much power to work with now. It'll happen in my lifetime, but I don't know if my parents will see it.

If we can build batteries that don't source new cobalt from the DRC, (by using none or recycling) that would remove one ugly skeleton from the closet.
Git will happily push/pull to/from repos on your peers' computers, and you could just, you know, email a list of people instead of depending on a central mailing list for discussion. It'll suck to onboard new people but it's entirely possible to have a Git project + discussion without a single central point of failure.
Yes, just like all the textile and manufacturing wages got a downward adjustment in middle America and got an upward adjustment in Asian countries.
A string of such stories have me concerned. What happens after you are locked out? Can one have access to the data? I have a lot of important personal and business related stuff in GMail and GDrive - do they revoke read access too?

EDIT: I know about email clients setup to backup data, but there are other reasons I do not like to use those - unless of course that is the only way to protect data
The problem here is that too many of the detractors of socialism only recognizes a single version of it, a.k.a USSR and its off-spring. It doesn't matter how much democratic socialists were against it (and persecuted by it) at its inception, during its reign, and after its collapse.

What example do you see of Socialism that started out democratic and still went down in misery?
You would still be able to delete any of your information if you don’t want it to become public GDPR does not apply here.
My wife and I never considered moving out, but we're now actively shopping for a house in the Tahoe area. Not as an investment or short term rental property, but to live ~50% of the time.

We're clearly not the only ones. The price of houses in the $1M+ range have gone up significantly since it became clear around the summer that this COVID thing isn't going away anytime soon.

There are many all cash offers as well.
Kofile | full time | Front end & senior front end | 100% remote (US only, sorry no H-1b support)

Kofile: https://kofile.com/

Our application is a search portal for public records, built on modern dev stack with modern dev practices. Most government web sites are terrible - come help us build one that doesn't suck.

POC, LGBTQ folks, & women strongly encouraged to apply. We're actively working to build a diverse and supportive team!

Front End:
• 3+ years of front-end engineering experience • Experience building robust React-based front-ends with Redux and/or hooks. • Strong fundamentals in JavaScript, HTML, and CSS • You have the skills to create a UI without the help of a framework like Bootstrap or Foundation • Experience with responsive design and mobile-first principles • Experience with web accessibility • Bachelor’s degree in Computer Science, Engineering, or related field OR relevant equivalent technical experience.

Senior Front End:
• 5+ years of front-end engineering experience, with at least two years spent as a lead or senior front end engineer • Significant experience building robust React-based front-ends with Redux and/or hooks. • Strong fundamentals in JavaScript, HTML, and CSS • You have the skills to create a UI without the help of a framework like Bootstrap or Foundation • Experience with responsive design and mobile-first principles • Experience designing scalable, performant front-end applications • Experience with Javascript build tools like Yarn and Webpack • Expertise in web accessibility • Bachelor’s degree in Computer Science, Engineering, or related field OR relevant equivalent technical experience.

email rachel.ralston@kofile.us to apply or ask questions.
heads up, I get a invalid cert/ssl error when connecting via https.

I'm really happy to see art-as-foundation for your technology work!
Didn't say it would.

My father was my best friend. He had flaws, like any of us. He was difficult to deal with when it came to politics because it could never be an 'agree to disagree' type of deal that I strive for whenever I disagree with somebody.. but we did so much together and it was really hard when we had to bury him.

If he voted for Trump then so be it, I'd shake my head and get in the truck for that fishing trip he wants to take me on because that's way more important to me.
In Switzerland.

youtube-dl was, and still is, hosted in the U.S. And the DMCA is not as lenient as the laws of Switzerland.

And on that note, neither are the IP treaties that most Western countries have made with each other, Switzerland included.
Are they taking into account the fact that the talent market is now national / international given remote work?
>- For bidirectional attempts, how can you say that a car has a top speed of C mph when C = A+B/2 mph and A>B? That's an invented figure.

I agree that (A+B)/2 is an invented figure, but I think the logic of "This is the maximum a car can do without external factors" is a reasonable thing to agree on as a top-speed, and wind is an external factor. Otherwise a lot of cars can set their top speed by being dropped from a sky scraper, and the testing would get unreasonably expensive. (A+B)/2 is probably a good first approximation to a wind-neutral value (and a gravity neutral value too).
I also worry that in the hypothetical world where most people just own a small electric for local daily use, and rent a large diesel (or whatever) for the family holiday, demand for those larger, longer-range vehicles will be extremely seasonal.

It may not be viable to maintain a large fleet of family-vacation-type vehicles just to satisfy the demand for summer holidays in August and ski trips in February.
I believe the RIAA has pretty good cause for the original takedown notice.

However, if you posted a fork which functioned like youtube-dl without mentioning an riaa protected copyrighted work that might be more meaningful.

Instead show how you could download your own video, or a video under CC0 or similar.
I've talked to plenty of lawyers and spent plenty of money on intellectual property issues. I know what I'm talking about. A declaratory judgement suit is in my view the proper avenue to address a tenuous IP claim.

Like I said, tortious interference is not a great fit, but it's still applicable - interference with my contract with Github counts as interference. If it was an actual DMCA notice then the only remedy would be a 512(f) suit (plus declaratory judgement) because DMCA preempts other causes of action (caveat: [0]), but it's not a DMCA notice.

https://www.courtlistener.com/docket/8166790/tech-and-goods-... here's a recent decision where a tortious interference claim was upheld when a false infringement claim was made to a third party (Amazon in this case). See dkt 30.

https://mdcourts.gov/sites/default/files/unreported-opinions... here's a tortious interference case that went to a jury and 150k in punitive damages was awarded despite actual damages only being around 5k (reduced by appeals to 75k+interest.)

[0] Note that some jurisdictions haven't explicitly held that DMCA preempts state claims such as tortious interference, and at least one IP lawyer I've spoken to has brought state claims in such a jurisdiction.
So people will believe what they choose to believe. A populist's wet dream. Truly nothing to be afraid of!
Wyze Labs | Engineering (multiple roles) | Kirkland, WA | ONSITE | Full-time
We are a team of innovators and tech geeks obsessed with making smart home products accessible to everyone. Our products are intuitive and easy to use, and we partner with our customers to add new features and continuously improve our products over time. We believe customers should not have to compromise – beautifully designed smart home products should enrich people’s lives and be something everyone can afford.

We are ramping up our engineering teams and are looking for engineers who are passionate about IoT and our products and mission. An ideal candidate would like to make an impacting change to people’s lives by building products that become an integral part of our daily lifestyle.

We are currently hiring for the following engineering roles. You can find more info about these roles and non-engineering roles listed here: https://www.wyze.com/careers.

* Front End Engineer
* Senior UX Designer
* Applied Scientist (Computer Vision)
* Mobile Software Development Manager
* Research/Applied Scientist Intern
* Senior Android Developer
* Senior Applied Scientist
* Senior iOS Developer
* Senior SDE (Video Stream)
* Senior Software Engineer (Cloud Service Development, DevOps & Infrastructure)
* Software & IoT Embedded Systems Engineer
* Software Development Engineer (AI Platform)
* Software Development Engineer (Edge AI)
* Software Development Manager
* Software Engineer (Cloud Service Development)
* Software Engineer (System and DevOps)