skysight-inc/HackerNews huggingface dataset:
This is just a big fat middle finger at disabled people.
Defining a filter in order to filter people out is fine, but we should be honest about the fact that it has very little to do with learning, and more to do with the willingness to deal with crap and jump through hoops. More amenable employees are easier to manage, nothing wrong with that.

All exams can be crammed, and having crammed into plenty of gated opportunities in life before, I believe you're mistaken if you believe that it produces more knowledgeable workers as a result.

At the end of the day, it's a market like any other. If there is someone who is more willing to do X for Y reward than you are, then they will get that something instead of you. And if you find that there is a shortage of people willing to play ball, you can always work towards bringing in more people who are willing to play ball.

Agree with your last sentence. If you want something, you have to go get it. If employees aren't motivated enough to organize and close the power gap, then employers will continue to be motivated enough to push for and work towards their own goals.
PhD. From what I found, the most successful people are the ones that marry the technical with the business and consistently deliver value. So it’s not talk/hype, but real value and competitive advantage and ability to communicate and effectuate change.
The owner of the video had to approve the captions. And that is still going to be a requirement because captions still exist.
My frustrations with this behavior are less about not getting it, or not being able to participate, and more about finding the exercise distasteful, dishonest and ultimately destructive. The absolute worst aspect of this game is how clumsy and obvious these machinations can be. Employee trust in the entire organization is damaged when dimwitted ass-kissers with the subtlety of a brick are rewarded in lieu of any actual contributions and at the expense of decent people. Too often these environments are constructed in such a way that good people cannot succeed without serious comprises to their integrity. They get weeded out by their own moral disgust. The hierarchy then functions as a reverse sieve, allowing only the slime and detritus to remain.

It's also really less about being socially outgoing and schmoozing, and more about vociferously agreeing with everything that comes down from on high, and sniping at others for not immediately falling in line. I'm an introvert who generally enjoys going out for drinks, telling absurd jokes and making a fool of myself in public for cheap laughs, but unless I start puckering up and tonguing more asses, it won't help me navigate the corporate world. For someone like me, rather than forcing myself to be more extroverted, I actually need to do a better job at keeping my jokes to myself and limiting my self expression, so as to not threaten the fragile egos of those cursed with small amounts of power. I think your comment seriously underestimates the levels of animosity and petty one-upmanship that permeate the corporate ladder.
Two of my "bottom four" are Ctrl+PageUp/Ctrl+PgDown. That's previous/next tab in web browsers, my terminal, IDE etc, and really useful when keyboarding and when mousing.
You can do. Bootable backup to a remote system. The initial back up needs to be done locally then the back up disk can be moved remote.

This was easier pre-Catalina

https://bombich.com/kb/ccc5/using-carbon-copy-cloner-back-up...
I think the parent is arguing that if we discovered different building blocks, it would change everything.

Random link from Google https://www.astrobio.net/news-exclusive/possibility-silicon-...
I think this is how Steve Jobs worked out who was good.

He would go to people and say "I heard so-and-so sucks" and if he didn't suck people would adamantly stand up for so-and-so, but if he DID suck, there would be a lackluster response.
It already lets us configure the topcolor - so it shouldn't require more than a few lines of code beyond that.

Perhaps someone can help the process along by posting a few working dark mode styles (based on the existing class layout)?
GNU is not Unix, the GNU utilities have all expanded drastically over the decades. Gnu ls has more LoC than the old Unix V6 kernel now.

BSD, on the other hand, IS Unix, and its utilities remain much smaller and leaner than the Linux ones.
Not only that.

Not only non-Han Chinese face oppression (Uyghurs, Tibetans, Mongolians [1]), but lower class Han are also not well treated [2].

Point is, we should not judge the progress of China based on its most affluent class. Things are much more messy behind the cover.

And when we try to see the full picture, China is less and less a role model for others to follow.

[1]: https://www.nytimes.com/2020/08/31/world/asia/china-protest-...

[2]: https://international.thenewslens.com/article/136734
I wonder weather this will make it harder for coinbase to attract minority job candidates.
Has any study ever correlated computer usage with programming ability? It wouldn't surprise me if low computer usage is the primary cause.
Probably the Peter Principle. The army does the same thing.

https://en.wikipedia.org/wiki/Peter_principle

FWIW it's also done for ICs at Google where you have to get promoted to senior by some time or you're let go. I don't know what the story is for managers.
Chinese pharmaceutical tech firm XtalPi nets $319m in Series C round
You could play status page roulette...

https://status.azure.com/en-us/status

https://status.office365.com

https://portal.office.com/servicestatus
Mountain Dew Fans: Why Marketers Stopped Polling the Internet
Quite. And, it has me wondering.

Would that not mean that we then have just as quick of a way to calculate an arbitrary decimal digit of pi? Hexa and dec feel geometrically close enough for any dec digit to be fully "covered" by a couple calculations of contiguous hexa digits.
Seems related. Getting 503s (Instance Overloaded) on Azure AD logins.
When searching for extra-terrestrial life, why do we assume that it can only be based on organic chemistry?

Wouldn't it be possible to have life that is not based on carbon, water, etc..?
This is one of the downsides of a centrally planned economy where all the funds are allocated by an authority who doesn't profit from investment returns.
The government isn't targeting people by race. It's targeting people by culture and behavior. You either conform to the affluent chinese westernized lifestyle or they will force you Assimilate. Very similar to what happened to much of the Americas.

Race is just a correlation, the causative factor is the culture associated with the race as practitioners of falun gong (who include the Han people) are also targeted.

In America, I have the freedom to brainwash people into following Scientology, in China such cults cannot exist. The line of demarcation is blurry, when does a religion become a cult? How is the fantasmic stories of walking on water or coming back from the dead in christianity make it any different from scientology?

When China sees serfdom as part of the Tibetan culture do they label it backwards and raze the entire belief system or do they leave it alone? https://www.theguardian.com/commentisfree/2009/feb/10/tibet-...
Yep Microsoft has the good habit of dogfooding its own products. All of Office 365 uses Azure AD for identity management.
That would be relevant if these were stocks bought at IPO, or bought and held for the long term. This situation was neither of those. AMZN fluctuates in the short term like any other stock.
> "Flatten the curve" means the same number of people will inevitably get Covid.

I think flatten the curve is for numer of confirmed cases, not daily confirmed. That means if the curve has flattened then it's 0 new case.
The exact-ish length of a year is 365.2422 days. 365 days a year is three nines of uptime (99.93369%).
You know, since the early 2000s, every single newspaper also had an online presence while delivering their paper. It's literally text and pictures on a screen, not software applications - at least it used to be like that.
This is great advice. Talk to as many people as possible, including those who didn't make it through to PhD. If you talk to those who made it, you are getting a very biased sample. Ask to talk to some students who left with a masters or otherwise.
Following along the stated lines, should all music creation be stopped, should artists only paint covid warnings, should sculptors only engrave monuments to the covid casualties? My point is, if art shouldn't stop because of the pandemic (and it shouldn't) then why should science? Just because a painting doesn't cure the plague, paintings and art provide pleasant distractions. This work can provide satiation to curiosity and perhaps the spinoff work can eventually be "useful" in some other way as well (I quoted useful because there is a deeper philosophic debate that could be had about utility here).
Excellent work
Parent was comparing undergrad classroom behavior to the (reported) research lab behavior.
You are right, one can imagine a chaotic system where any deviation from a path will be amplified and have significant costs in the future (i.e. space navigation in realistic gravitational fields), then extreme precision may make sense (where an error might be amplified millions of times further in the path).
That just sparked a thought.

For a codebase, unit tests could be the pre-commit validation algorithm. Then, as authors continue to edit the piece, they both add unit tests, and merge the code. In the face of a merge, the tests could be the deciding factor between what emerges.

Of course, unless you have conflicts in the tests themselves.
The actual announcement:

https://android-developers.googleblog.com/2020/09/listening-...

(They quoted it twice yet didn’t link to it - what’s up with that?)
They already went to college. PhD students are employees doing self guided research that brings in lots of recognition and money to these institutions. They are making little money yet doing work harder than 99.9% of people. They should not be demeaned. There are many work environments that are not like this and we should not pretend like it is the norm. If it is genuinely the norm, the we should work to fix it, not just say 'thats how the world works.' we get to define how the world works. Let's make it less shitty.
"We are, however, able to see that, excepting the simplest of life forms, an animal has a consciousness"

What does the word "consciousness" mean in that sentence, and why are the simplest of life forms excluded? What test do we apply that all organisms pass, except for the simplest life forms, which fail?
Outlook Is Down
I think I’d prefer compilation to Go.
That's not how it works in a lab that relies on expensive equipmentvand multi-year research programs. Those PhD thesis projects are minor variants on your PIs research program.
I sold my last company https://drodio.com/socialize-was-acquired-by-sharethis-heres... and Armory was my 4th startup. I also probably don’t qualify as “young” having been doing startups since 2000.

I found YC to be extremely valuable for all the reasons I shared.

A side story: After I sold my last company in 2013, I met a guy (who worked at the acquiring company) that had big startup ambitions. We were on a bike ride one day (probably around 2015) and I told him I was going to apply to YC the following year to do a startup. He scoffed, and said the same things as you above — “YC is for young founders w/o experience.” He said he, too, was going to do a startup, but not apply to YC.

Fast forward five years. Armory is growing very fast.
My buddy is unemployed after spending $350k of his own money attempting his startup.

Was YC the difference? Impossible to say. But I know my story is true, and I’m thankful for the intense focus YC provided — even for a startup veteran like me, with a successful exit, who didn’t necessarily think he needed it.
#HugOps to the SRE's rolling back changes. I can’t reliably access anything right now so I’ll just use this as an excuse to take a brief walk.
I think the best part is that every message back from support is from yet another new person. That tells me that nobody owns problems. And if nobody owns problems, nobody cares about fixing them.
Hello, I had a look. The video seemed to mostly chat about how it's implausible for someone to lose the nose pads on their glasses and keep wearing them. This is false. I had one pair of glasses that was quite comfortable even after the nose pads fell off. He also says it's implausible to have a nose pad, then not have it a month later, which is what one would generally expect if the thing was lost in the intervening month.

He talks a lot about how someone looks different under different lighting conditions and says that video compression artifacts are CGI anomalies.

My overall impression is that you should see a doctor about this and ask for antipsychotics. I don't know how to tell people that in a way that works. One of my best friends became schizophrenic and spent years studying the luminiferous aether (this is not a thing) before he died for schizophrenia-related reasons. So it's painful for me to read this stuff.

I'd be willing to chat more. Please reach me at the email in my profile.
In the case of the Uighur, “rural ethnic minorities” isn’t really an apt name anyway. For the last several centuries, the Uighurs have broadly been towndwellers. (Other minorities in Xinjiang like the Kazakhs, Kyrgyz or the Iranian-speaking peoples maintain a more traditional rural life). Already on their own, the Uighur were on a path towards enjoying all the fruits of urban modernity. Most of the Chinese development brought to the area has been focused on making life better for Han Chinese settlers, not the indigenous population.
I feel like WSL2 was a step in the opposite direction, previously it was integrated with windows directly, now it's basically just a vm with some nice mappings

FS performance WSL2 -> Windows is almost unusably slow
Setup a local UserContent.css file for yourself and you can style any website any way you like:

http://kb.mozillazine.org/index.php?title=UserContent.css&pr...
Ah, I think I'm starting to understand. Ideological warfare, IMO, is not real war and should be countered by facts and public education, not by declaring a War on Memes and defense with censorship.

If a platform is afraid that an adult might see a particular piece of information or a particular idea, and be radicalized by it, they've not adjusted to the Information Age. We might need a better way to authenticate trustworthy sources, but I don't think the attack from Tiktok is a sharing of authoritative facts, it's at worst a message that the Chinese government is less evil than the US would like to represent them.
https://portal.office.com/servicestatus

Title: We're investigating a potential issue affecting Outlook.com

User Impact: Affected users may be unable to access Outlook.com services or features.

Current status: We've identified a recent change that appears to be the source of the issue. We're rolling back the change to mitigate impact.

Next update by: Monday, September 28, 2020, at 11:00 PM UTC
Voter suppression is a strategy used to influence the outcome of an election by discouraging or preventing specific groups of people from voting.

Looks like a perfect definition match.
> 3.1415926535897932384626433832795028841971693993 [...]

I know this much is correct because that's how much I've memorized.
I thought it was interesting and inexplicable (to me) that she would even bother buying a handful of shares and then selling them based on insider information. It makes no sense to me that someone who already had that much money would want to waste her time and attention on making a few extra dollars.
I'm not saying it didn't happen, I'm just saying I don't understand why she would even be interested.
> didn't have the overhead of a traditional newspaper

Hm. So you are saying going online decreases costs? Can't have it both ways...
Not H1B. Some Education visa.
> The government isn't targeting people by race. It's targeting people by culture and behavior.

Are you saying that the Chinese government force abortion by culture and behavior [1], not by race?

[1]: https://www.vice.com/en_us/article/v7g8m8/forced-abortions-a...
Here's a java snippit that may be of interest to you [0] by a user called Riven [1]. It should be considerably faster than the lookup table with LERP (not that it really matters at this point since we're just counting nanoseconds on one hand). I recall going down this rabbit hole somewhere around High School as well five or so years ago, and ended up brainstorming potential faster implementations on an old java forum with several users. I believe you have a Intel-Core-i7-8559U, which if userbenchmark is to be trusted, leads me to believe the snippit I linked should be in the 3ns range assuming a warm cache for the lut. Accuracy is configurable based on the sin bits.

[0]: https://gist.github.com/mooman219/9698a531c932c08ccefd86ba7c...

[1]: https://jvm-gaming.org/u/riven/summary
carbon is unique among elements in the number of molecules it can form. silicon is a distant second and everything else is pretty much a non starter.

water is less of a requirement but you need some kind of liquid for the reactions to occur in and their arent many candidate liquids at plausible temperatures
Possible? Yes.

Likely? No, especially given that most of the solar system is composed of material in similar quantities. It's possible we could find different forms of life-producing chemistry in star systems with different proportions of elements.
I don't want to condone violence or anything, but I've always wondered how advisors like this don't get murdered. I've definitely met PhD students who would prefer prison to the alternatives of quitting or staying under their advisor.

I suppose people who are inclined in that direction would get out some other way before things get that bad.
You hope that the walk only need to be brief...
Author of the blog post here. I totally agree with you.

People think of OT / CRDT as realtime algorithms for realtime collaborative editing because they're always programmed and used that way. But the conflict resolution approach doesn't have to merge everything as-is. You could build a CRDT or OT system that generated VCS-style conflicts if concurrent edits happen on the same line of code. To make it a valid OT / CRDT algorithm the main constraint is just that every peer needs to resolve conflicts the same way. (So if I merge your changes or you merge my changes, we end up with identical document states). It would be easier to implement using OT because you only have to consider the interaction between two peers. But I think its definitely doable in a CRDT as well.

I think having something that seamlessly worked in both pair programming setups and with git style feature branches & merging would be fantastic.

I have a lot of thoughts about this and would be happy to talk more about it with folks in this space.
> you meet many bankrupt people on luxury cruises and first class airline tickets?

It is quite common for the affluent in the West to have to declare bankruptcy for business reasons, but still maintain their affluent lifestyle through other sources of income that remain unaffected. That bankruptcy filing limits their access to credit, but it doesn’t affect their ability to purchase travel.
On the context of the post he was replying to, yes, I agree. If it's taken as a simple answer, that question sounds completely disingenuous. But I also find it hard to read the comment as a literal answer to the parent.

But anyway, the reason people are uneasy all over the thread is quite simple. Banning a platform this way is a serious interference on the freedoms of expression and initiative, but letting the platform unchecked is a serious offense to the US sovereignty. There are no good options among the ones presented to the people, and the real non-damaging options depend on coordinating a system that is so complex that nobody is certain that they can.

By the way, just for completeness, that's how people around the world feel about Facebook too.
Remember the recent Twitter attack, where malicious actors were able to post from many high-profile & verified accounts? The attackers could've done just about anything. Moved stocks. Start World War 3. And all they did was try a cryptocurrency scam that netted them $couple-thousand.
Most of these custom keyboards run the QMK software. All the customization is within the keyboard's software, so the OS never knows. The keyboard is just a plain USB keyboard, as far as it can see.

That said, I think it's a good idea to keep function keys if you use them. There are some keyboards with them, but it's surprising uncommon.
Ready to use your skills for something that matters?
do people actually expect meaningful advising in undergrad? my adviser hardly even had a chance to "vent" at me (he didn't really seem like the type anyway). I met with him once each semester as a formality to get the key I needed to register for classes. aside from the one time he suggested I not take the three hardest courses in the major concurrently, he didn't really say much. I was usually in and out in fifteen minutes.
Brutal. My experience has been that people who do good work and take performance reviews seriously advance just fine. I can count on 2 fingers the number of times in my 23 year sales career that someone was promoted because of reasons unrelated to performance, and both times it was the same loser who was drinking buddies with the VP of Sales.
Most employed programmers can't do "industry grade engineering". Physics grad students are plenty capable, with a boot camp if needed.
I assume that you mean a code generator for Idris 2.

I think the easiest way to get going is to start from an existing code generator. Idris 2 currently supports: Chez Scheme, Racket, Gambit Scheme and JavaScript. Pick the language you are most familiar with.

The files that are relevant to the Chez Scheme code generator are located here (similar locations for the other code generators): https://github.com/idris-lang/Idris2/blob/master/src/Compile..., https://github.com/idris-lang/Idris2/blob/master/src/Compile..., https://github.com/idris-lang/Idris2/blob/master/support/che...

The current code generators are based on an intermediate representations called `NamedCExp`, defined here: https://github.com/idris-lang/Idris2/blob/master/src/Core/Co...
`NamedCExp` describe various forms an expression can take. These need to be translated into the target language. For example `NmApp` represents calling a function with the given arguments. You don't need to implement everything to make a proof of concept.

The following document describe how to add a new code generator (It does not go into details of building it): https://idris2.readthedocs.io/en/latest/backends/custom.html

You can see an overview of the different intermediate representations here: https://github.com/chrrasmussen/Idris2-Erlang/blob/master/do...
(Note that ErlExpr and AbstractFormat is specific to the Erlang code generator)

If you have more questions, you are welcome to join the Idris community at any of the locations listed here: https://www.idris-lang.org
I'm assuming this is related: I can't do any development using Visual Studio 2019 at the moment because it calls home to verify the license and it is currently unable to log me in to to verify my license. So VS is basically bricked for me until this gets fixed :-(

Screenshot: https://rog.gy/ss/3b14f7a2ac.png
Ability to lie in the grass of a park with your dog by your side for no reason at all other than to enjoy the fall weather and rustling of the leaves.

Ability to grind and realize you can do anything.

Ability to let go of things that hold you back.

Ability to love.

Ability to inspire.

Ability to find peace within.