skysight-inc/HackerNews huggingface dataset:
It isn't about finding passions... its about finding out what you can do to make a living.

On /r/cscareerquestions there is a not infrequent subject of posting - people who get into software development and find that they really hate sitting in front of a computer or having to support and debug code.

When everything is going well, they enjoy writing code but as soon as the harder problems come, it's not enjoyable.

Personally, I love photography as a hobby. I've got (check Adobe Lightroom) 200 GB of photographs... a good chunk of those are from when I was shooting slide and scanning them. When I was unemployed in '09, I looked into what it would take to become a professional photographer - and I realized I really didn't want to do that. Clicking the shutter is fun, but the harder problems of being a photographer (scheduling, wedding photography, marketing, sales, etc...) I really didn't enjoy doing at all.

A sibling of mine went from being a manager of a yoga studio to being an RN (the hard work of being an RN pays better than trying to run your own yoga studio). Its not something that my sibling is passionate about (like yoga was) - but its hard work that my sibling is able to do, endure, and be well compensated for. Yoga? Its now more of a hobby (and there are other outlets for the passion).

From the blog post:

> I realize that "Find your passion" makes for a more compelling motivational poster than "What hard problems do you enjoy working on?" (and even that's a lot better than "What kind of pain are you willing to endure?"), but it might give some people a more realistic way to approach finding their life's work.

There are other parts of the workforce where someone can get a job that pays acceptably and probably something that people who don't want to be solving problems can find a job.

The advice for job seekers shouldn't be "maximize your happiness" but rather "minimize your unhappiness".
Honestly, searching for myself was the first thing that came to mind when I saw this. Although I might not be an "ordinary" person.
Absent the ability to the split the universe and do a proper experiment, I guess we'll just have to agree to disagree about likely wider impacts of places like FB engaging in political censorship.

If you read carefully, you'll notice I'm not making claims one way or the other about the goodness of the censorship. I think a rising demand for censorship is a predictable reaction to technology enhancing the power of speech.

I would not say trend of speech restriction is limited to social media giants. E.g., the US is attempting to extradite and prosecute Julian Assange under the Espionage Act, which, if successful, will, in the words of the NY Times, "open the door to criminalizing activities that are crucial to American investigative journalists who write about national security matters".
Even the best HTS tapes won't make fusion competitive. Limits on power/area through the first wall guarantee fusion will have bad volumetric power density compared to fission, even at high magnetic fields.
Wholesale prices are capped. They contribute to but don't limit the price paid by retail customers.
Regenerative Ocean Farming Toolkit
What Gene Editing Can Do for Humankind
Check the Kodi wiki for the plugins you use.

Chances are most don't work in the new version and you'll be left with everything you're used to broken.
I wish these attempts were using constructive mathematics but I understand that that would turn away a lot of mathematicians.
People who have something to be ostracized over do this all of the time. This tool is great for someone trying to hide something about their identity (e.g. being gay).
Moderna Provides U.S. Covid-19 Vaccine Supply Update
My bad. Check the edit on my original post.
Thanks. Any ideas how storage impacts the total cost of using only solar+wind?
Russia is not exactly a country conducive to unfettered freedom of speech. What are you afraid of getting "cancelled"? Does your Russian passport exempt you from a Twitter ban for spreading misinformation?
4. template an online persona, and cede it across the web, create footprints use SEO type methods to promote a desired public image.
telegram is not secure, but it has secure secret chats feature it works, but nobody uses telegram for it's secret chats
telegram is superior in 2 ways, ui/ux polishness
and having an open api and native open source clients for all platforms
the only potential competitior in that regard is matrix, but it's not there yet
A guide to marine aquaculture permitting in Connecticut [pdf]
I've always wondered about using multiple metrics, but instead of combining them prior to selection, bin the spots and for each bin consider a subset of metrics weighted in different ways. For something like a school ranking, instead of giving a number (which is way more precision than I think these systems can actually achieve), the schools could be tiered - with each bin contributing some spots to the first tier, then repeat.

At the very least it should diversify how people try to game the system, and then the "winners" of various bins could be studied to compare usage of different metrics in selection. If the specific formula could be kept mostly secret, perhaps switched up every so often, it would hopefully disincentivize gaming at all.

Along those lines, committees and metrics could both be used. Give committees control over 10% of the spots or something. Corruption is obviously a downside, but I do think committees also have upsides that are difficult if not impossible to replicate with pure metrics. In doing this committee selections could also be tracked against the various metric ones for longer term outcomes.
Do people use this kind of software for anything other than piracy? Serious question.
because it depends on the supply and demand of that specific exchange
Thanks. There should be such a comment every time someone mentions “but they have to maximise profit” and “think of the shareholder”. This point of view is not rooted in any law or legal principle and is just the Wall Street version of “might makes right”.
SMRs like SSR heatpipes are interesting. The issues of decentralization of controlled nuclear sites are many. It's better to have many SMRs in one location for safety, security, and backbench of resources and talent for engineering and operations. Simply, it scales better. Giving every Tom, Jane, and Sally corporation or town an SMR is an absolutely terrible idea.
A small proof engine, and maybe a limited amount of rules (depending on the exact technical meaning of 'rules') is a good thing, but I'd say a limited amount of syntax is a bad thing. Mathematicians as a community tend to be happy with—I might even say to prefer—lots of syntax, and, if you want to get a formalisation process really going, layering it with enough syntactic sugar to bring in mathematicians who aren't usually 'formalisers' is going to be essential.

It's also true that there are lots of attempts at formalisation out there; I happen to know about vdash.org , for example, but there are certainly others. I think it's good to have an abundance of formalisations, since no one formalisation style is going to appeal to everyone (for example, as already discussed above, probably the more formalisation-minded mathematicians will have a higher tolerance for minimalism).
It was all about distributing that work.

The rewind machines ranged from less than a minute to a couple, depending on where the tape was. Many rental places had multiple machines too.

That adds up real quick. Rental place moves a few hundred movies an evening. Not rewinding made life hell for the staff.

Most VCRs will do it at the end of tape. So the "was not kind, did not rewind" case was largely people stopping the movie part way through, or right at end credits, and just not pressing rewind.

I made sure my fam rewinded. And my little one has already made her stand on this clear. "Always rewind papa." I had explained the bright green sticker we have on one tape.

She short cut her own self!

Wants to watch a full movie, bot have to manage the tape at the start of the experience, lol!

On that note, stickers work! Little ones notice them big. They seem to get that they matter some how and want to know why.

Anyway, from our point of view, being the renter, it is someone else's problem.

As soon as people get a collection, the tables turn. It is who ever enjoyed the tape denying the next person their sweet experience.
Lean allows for third party type checkers. There are relatively small alternative type checkers for Lean (e.g. a scala implementation [1]).

Lean's power lies in its elaborator that breaks down complex tactic-based proofs to a core proof language. This elaboration process can be extended with custom tactics and custom syntax, making it way more powerful than metamath.

[1] https://github.com/gebner/trepplein/tree/master/src/main/sca...
In this post, you also commented (but deleted now):

> Fuck small businesses. Fuck big businesses too. Death to capitalism.

Perhaps you’d enjoy Venezuela. As a small business owner myself I don’t take too kindly to this comment, but would like to offer some advice.

Maybe go out and start a business or cause your passionate about and that interests you. This anti-capitalism / business attitude negativity is toxic for you. I’ve traveled pretty decently all over the world and yet to find a country that provides the opportunity of the US. You can literally do most anything you want, and it sounds like you being a previous FB employee you are super smart and probably not desperate for income in the short term.
Interesting point, I never think of the Dvorak people like yourself and I apologize for that :p Never really thought about how all the keyboard shortcuts the world accepted make zero sense outside of QWERTY

Honestly, copy/cut/paste in today’s world warrants physical keys far more than insert/print screen/etc. Maybe someone will decide to challenge that one day, but I’m sure people will have a million reasons why it can’t happen.

Everything is suboptimal for everyone and life goes on I guess lol
Not 'kinda'. Debris exiting the engine housing with sufficient energy and in a direction that leads to damage of other systems is the literal definition of an unconfined engine failure (i.e. it can spit as many parts as it wants to out the exhaust). There is a band of armour around the plane of the fans that should prevent any blades leaving the engine perpendicularly. If there was fuselage or wing damage from debris, that was an unconfined failure and would require investigation as a major fault.

However, loss of the shroud doesn't necessarily imply there was a confinement failure. Damage to the shroud during the event can easily lead to the cowling shedding aerodynamically, which is also part of the design: the last thing you need is more drag on the dead engine side. We can't tell which that was in this case, but it's important that we do---the design criteria specifying that the aircraft can be safely recovered from a catastrophic single engine failure during any stage of flight would assume the failure is confined to the engine.
An experience I had as an undergrad of walking around a not-yet-bleached spot on the sidewalk in front of Pierce played some role in my not going to grad school.
There are legit uses but I must admit piracy is the main one. On the other hand some activities are legal depending where you live.
Some rocket launches fail, and it would be a problem if you're constantly launching radioactive waste into space and 1% of those launches end with a crash that scatters dangerous material on the ground.
I use it via libreElec for my set top box.

I have ripped my entire Blu-ray collection to mkv, and also watch disney plus and Netflix on it.
It has no incentives to do that. Device keys are second-factor keys. The user has its own, personal (software) keys. You need both to make a transaction.
Pascal to JavaScript Transpiler
Novak Djokovic Wins Third Straight Australian Open Title

https://snip.ly/8mepd7#https://www.nytimes.com/2021/02/21/sp...
Joel Kaplan’s Policy Team Sways Big Facebook Decisions Like Alex Jones Ban
For context, the cap is nearly 100x the normal price. In colder states power companies manage to be profitable at around the normal price of electric in Texas. The price of winterization isn’t that high, and a company that did it could have made a year’s worth of profit last week. The cap was very high and did not contribute to the outage.

In your other post you say this is a once in a century event. It really isn’t. This is the 3rd time since 1989 that Texas has had outages due to insufficient winter prep. It’s more like a once in 10 years event.
And this is exactly the attitude I have encountered before that's disgusting. Two wrongs don't make a right, you're happy to take advantage of a system that's broken instead of fixing the actual problems - because that takes actual work - instead of just buying Bitcoin which then aligns a whole bunch of financially incentivized MLM propagandists.
Just because you _can_ do something, doesn't mean you should.
I read this "Motives that are very short term profit driven." everywhere but never came to an explanation why that would be the case (something above anecdotal level). In my understanding DCF is just the natural way to put it. Maybe the discounting rate can depend a bit on the shareholder, but in large the investment horizon of most players should be quite far, given the current "risk-free" return.
>But that has nothing to do with the NHS and its funding system.

It does. It is much more legitimized to delegate these kinds of decisions to the state when the state is paying for the health care. In other words, the state paying for care is a pre-requisite to the state having the ability to make these kinds of extreme/overruling decisions about care. Otherwise people wouldn't tolerate it. The state paying for care is a power dynamic.

Consider the opposite, of a state that doesn't pay for any care, telling Alfie Evans parents that they have to take him off of life support, and tell me that you think the social reaction would be the same and people would just accept it. They wouldn't, and that shows you how much the issues are linked. Again, it's a power dynamic that increases legitimacy.
I watch LMG content because I find it more entertaining than anything else on YouTube, and I'm not even a PC gamer. I rarely look at the poster or video title at all before watching, I just queue the new items immediately.
Just pick a different one! There are definitely formalisation efforts out there that use constructive mathematics; for example Coq is so called after the logic, the calculus of constructions, that it uses (https://en.wikipedia.org/wiki/Calculus_of_constructions).
Funny to hear this, because I have that Matias keyboard and never ever use those dedicated undo/cut/copy/paste keys, because I feel there's no point retraining myself to get used to their placement (in a column on the far left of the board) when they're never going to be on my laptop keyboards too.

AFAIK those keys send the equivalent of the literal key chord (e.g. Cmd-Z) to the computer. I wish I could flip a switch and have them be considered keys in their own right, maybe F13-F16.
Kodi is a media center for playing whatever media you already have, even if it is your own rips or your own purchased downloads. Kodi was already a popular application for years before someone decided to sell prepackaged devices running Kodi that included a third-party pirate-streaming plugin.
smashing idea :) thank you! i was just about to use paid google cloud atuff for that and here's a surprise like that, thanks again!
Documentary project about surveillance and micro-politics of neighborhoods
> The engineers are bored and they're rewriting perfectly-good codebases in Common Lisp and OCAML for funsies?

Sounds like the bored engineers need to be allowed to go home early, or have some 20% projects.

Also, as John Gall teaches us with his tounge-in-cheek, yet never-the-less true principles[1] -- a principle so obvious most never give it any thought:

"New System, New Problems"

Can someone please just ask "what do we expect some of the new problems to be?" If you get blank stares and no good answers, then you know they haven't thought it through.

[1]: https://en.wikipedia.org/wiki/Systemantics
My Logging Best Practices
Ask HN: Self-hosted alternative to Google Doc's collaborative features?
Generally, when I'm writing something I like to send it out to a few of my friends and such to get feedback and discussion. Thus far the best tool I've found for this is Google Doc's comments. I've sort of come to realize this is the last step in my writing process that I don't have very much control over. I can edit drafts from pretty much anywhere, "publishing" is just a self-hosted website.

I would switch to code review style tools, but none of the people I send these drafts to are technical in any way, so things like GitHub are out. We're sort of remote, so old-school paper drafts are out (as much fun as that would be). Email threading would probably be a good option, but I find it super unwieldy after one or two comments.

Are there any good options? What do you folks use?
Is it interesting? You leave out any argument for the implied statement that the democratically illegitimate government will be better for the Rohingya people. Presumably any coup is better than no coup.

I think that is interesting.
Free Your Spirit
This talk from Grayhat conference last year gave me a lot of insights on how powerful but brittle ML is: https://m.youtube.com/watch?v=-SV80sIBhqY
You know what would be a great addition to this tool: A transparency panel/dashboard that shows any state organizations or LEO systems that are using it.

List out all the IPs and countries that are state IPs using it.
To be clear, the Netflix button is paid for by Netflix: https://www.theverge.com/circuitbreaker/2020/4/24/21232655/n...
There were predecessors that failed at various approaches to space launch. Otrag, Beal, Kistler, Rocketplane, Rotary Rocket, Space Services Inc.

(This is not intended to be an exhaustive list.)
Of course it is rooted in law, natural law. Imagine a company makes a decent profit and then decides its goal is not to make so much profit anymore? What do you think would happen? I would vouch for Parkinsons Law kicking in instantly. This would just end up in a waste of resources and misery overall
They improve yields on their flagship 3090s by rescuing ones that fail as 3080, 3070 or the highest bin that they meet specification. They wouldn't become a 2060 as that uses a different architecture.

The manufacturing processes will also improve over time and at some point demand will dictate binning over yeild. Chips that are capable of better performance are restricted and sold as lower end cards. If yield is no longer an issue is simply more profitable.

Back in the day it wasn't uncommon for enthusiasts to take lower end cards and bios mod them for equivalent performance, but now features are often disabled in silicone.
> Vi kind of took the opposite approach I guess.

What made this easy to work with is you can easily hit escape and it will put you in edit mode and you can easily build muscle memory to do this quickly.
That reinforces the whole point i'm making. The USA is wealthier per person. The USA is poorer on median wealth. This occurs because the wealth is concentrated in a small number of extremely wealthy people whilst the typical person is poorer. This can be easily fixed to the benefit of the majority with higher taxes on the ultra rich.
Ask HN: Cannot connect to Exchange account via IMAP in Thunderbird
I just signed up for a Microsoft 365 Business Basic plan for my family. The setup has been going great, except my parents use Thunderbird (Windows in their case, but I have confirmed this same problem happens when I try my account in macOS). I have been able to connect to our accounts via Exchange connectors, but when I try to connect via IMAP in Thunderbird, I get a generic "Login to account 'me@mydomain.org' failed." I tried turning on MFA so that I could generate app passwords, but those don't work either. (Also confirmed that IMAP is enabled for all existing accounts.)

I am also the admin of a Microsoft 365 Business Premium domain, and I don't have any problem creating app passwords for those accounts, and then successfully creating IMAP-connected accounts in Thunderbird. So is this a limitation of the Business Basic plan? Something that is turned on by default in Premium but not Basic? Thanks for any pointers.
aha EU pass holder here so in practice for job seeking I kind of include both Switzerland and Norway, but technically it is not EU

one thing is what is on payscale another is what you see on the payslip, 60k+ in DE is not hard to get for senior dev
XCTestCase State Restoration Helper
The problem is the client doesn't want to admit it - if you ask the client how much volume they're realistically expecting and they insist on a ludicrous number; what do you do?
New Climate Satellite Spotted Giant Methane Leak as It Happened
Test Isolation with XCTestExpectation
> The oddest solution I can think of is gamers lease graphics cards at a low low price and nvidia mines on them in the off-hours.

This would be a complete non-starter in markets with high electricity costs or temperatures. Running a GTX 3090 at 100% load during the summer where I live would cost $140/month and will heat up my room to about 65°C.
By 1980, we had been through almost two decades of keyboard input - 10 years of the screen and keyboard. Using shortcuts was common, and without a mouse, required. Most "professional" keyboards came with some combination of ctrl, alt, meta, and option keys. The Cat came out at an interesting time. There was a ton of experimentation in the market - most people did not own a computer or know how to use them. The Cat is a very interesting take on easy to use and if you are into UX, reading through the built in help on the Cat is really interesting. http://www.canoncat.org/canoncat/onlinehelp.html
Welcome to politics :-) My only suggestion is that one must consider both pathos as well as logos when making rhetorical appeals.
Web Design Websites That Will Make Your Work Better
This is pure hysterics. You have to back up what you say with arguments.
Do you have a recommendation for gsm usb sticks? Where do you get them?

Do you use just one SIM card at a time, or do you have a usb stick that can hold (and operate) multiple SIM cards simultaneously?
I like how this story is told in Buddhist contexts:

http://www.1netcentral.com/articles/the-snake-rope-essential...
> Trying to suppress knowledge is never the answer

Right, if only cutting edge nuclear/bio/chemical/cyber technology was a github repo away.
How would it be any better if it was a paid product? A determined bully can still buy it.
Probably not, unless you create backups of Blu-ray movie you buy the legitimate use of Kodi and Plex is questionable, Plex at least offers streaming channels.

I’m still waiting for a decent service to centralize all available content amongst my streaming providers Apple TV seems to only work with Amazon Prime atm.

I would pay for a service that does this, bonus points if they can also tie in an automatic vpn to bypass goeblocks so you’ll have access to the entire library of a given provider regardless of your location.

I tried building one at some point but no provider offers a decent API to get that data and scraping them was too hard and Netflix makes it very hard to do.
(2018). It would be interesting to see an updated version of this article.
Consistency as a Moat
The tax brackets are the point i'm making. Australia literally has 0% for the lowest bracket whereas the USA starts at 10% even on the lowest wage earners. The difference is made up for in the higher brackets. This boosts median wealth for a nation whilst it doesn't affect the average wealth per person. Having the median wealth higher so that there's a functioning middle class is a good thing.