skysight-inc/HackerNews huggingface dataset:
There's a tension between people using Scala for pure FP and people preferring to opt into pure FP whenever the model domain is needed, or that don't care about tracking every effect in their program and just focus on the 80/20. There are also those that use Scala for data science and other use cases for quick prototyping.

The interests of all of these parties are different and that's what sometimes causes tensions, but these tensions do also exist in other programming languages that aim at a broad audience. Just look at Rust. Languages that do not show these tensions are languages owned by only one party (most of the time, a company) and that are the only stewards of the project and those controlling the agenda. The good thing about Scala is that it's flexible and it allows you to use it for your use case regardless of whether the language designers want to support your use case or not.

Your claim about Scala tooling being outdated or outright abandoned is not true. There has never been as good tooling as Scala has today, with a lot of innovation happening in the field. The reality is that Scala has really good tooling, on par with that of Kotlin and Java, and sometimes even better. Just look at projects such as Metals, Scalafix, Ammonite, mill, bloop or Scala Steward to get an idea of what I'm talking about.

Also, the Scala team is not working on Scala 3, Martin Odersky's team at EPFL --LAMP-- is. The Scala team at Lightbend is working on keeping improving Scala 2 and making sure tooling is still as good as it gets for when Scala 3 is finally released.

There are lots of people in the Scala community that are not so much into "FP language theory" or category theory and just see its potential as a cross-platform language to prototype and write robust software.
Well to be honest those politicians will also be affected by the facial recognition tech used in the cities they live in just as any other citizen. If I were them I'd actively try to buck the trend not just wash my hands of it.

But I think the point they want to make is that they did not mandate using it. Something along the lines of "you can use it but don't blame me for setting the trend" I'd guess.
Good question. That is part of the second point. You have to show that there is no room left.

For example say you want to show that a real valued solution stays bounded. Then you have to show that a solution always exists, starts at some small value and "it never occurs that the absolute value of the solution is bigger than 1000". Because you ruled out other scenarios this then implies that the solution is always bounded by 1000.
I don't know why he didn't link the right scene but here it is: https://youtu.be/4nj0vEO4Q6s?t=265
Ask HN: Microsoft Azure is hiring only Americans?
Hi HN,

I was looking for potential opportunities in Microsoft and specifically in Azure which is close to what I already have experience.

I noticed that all the position requires the "Microsoft Cloud Background Check" at first I thought that it was some formality, however it seems like it requires to be an US citizen.

Is this true? Are there an insiders that can confirm?

EDIT: I believe the confusion comes from this quora answer: https://www.quora.com/What-is-Microsoft-Cloud-Background-Check

Indeed, I know that quora is not a reliable source of information so I wanted to dig deeper. Moreover I read this document as well [1] but it was worded a little confusing.

[1]: https://docs.microsoft.com/en-us/office365/enterprise/office-365-personnel-controls#microsoft-cloud-background-check
It is good to see that large scale surveillance is rejected. But I know it is important to stay vigilant. The EU certainly has an ambition to be more attractive as a location for tech, but I think surveillance and security technologies have a high amount of grifters and should not be encouraged.
the EU allows its countries to pursue their own policies, this is not hypocrisy, its simply clarifying that the EU itself will not be implementing this technology.

What individual countries do is not up to the EU parliment.
It can often give false positives, but it's mostly okay and lots of people really enjoy it. It has innovated a lot on finding better ways of showing types.

It'd be good if the OP elaborates on what "bad tooling" we have in the Scala community given that today Scala's tooling is good and on par with that of Kotlin and Java.
Could this be the beginning of the arm transition?

I mean porting kernel extensions would probably be a big deal, so deprecating them would be the first step.
What Is Inbound Marketing?
No it’s not. It’s clearly delineated. As “Productivity and Business Process””
Should I expect ARM processors to be the most energy efficient for compute? Eg if I’m in AWS, should I be choosing graviton instances?
Japan Goes into Reverse on Going Green
Nice game! How do you refuel or collect debris? Is that discarded when another player dies?

Edit: Nvm. It seems I wasn't noticing debris being generated by shooting it instantly.
Leaking Data from Air-Gapped Computers via Keyboard LEDs
Is it profitable? There was just a widely publicized rumor that Google execs weren’t happy about GCP’s profit.
Another of this submitter's collection of Amazon affiliate links with no added content (tag=mostrecommendedbooks-20).

In this case, a "single* recommendation is enough to make this list. How handy.
It's still inflated because azure revenue is counted with other server products like Windows Server, SQL server and Enterprise mobility under the 'Intelligent Cloud' division.
How would the salespeople make their money then?
Think whatever you want but the statistics is very clear on this. When time got reserved just for men it significantly increased the number of dads taking parental leave and who extended it.

For countries who have tried this it is very popular and it has been considered a success.

Parents really like it.

It is not just “mild uneasiness” For many countries it has significant career repercussions to prioritize family. I know many Nordics who while living in the US who experience that they are not taken serious by their boss if they priority family.

You can even find plenty of Americans living in Nordics who can attest to this. If you prioritize family you are considered as not taking your career serious.

I mean American bosses freak out when people are away for more than 1-2 weeks.
But not terrible enough to issue a refund for the taxpayers.
World’s oceans are speeding up – mega-scale consequence of climate change
I was wrong, MS seems to have changed its revenue disclosing methodology but it's still not clear how much Azure generates as it's lumped with Windows server, SQL server and Enterprise mobility under the 'Intelligent Cloud' division.
Audio sounds to listen anywhere and anytime for success, wealth and happiness
Sounds does not sound like a sensible reason at all, since that would deprecate nearly all commonly used technologies.
I agree with you 100%. Improving my productivity for 20% will not give me a 20% salary raise, since those two don't actually correlate.

It would just make me more worn down and exhausted when I leave the office, and require would longer recovery time afterwards, thus eating my free time.

If the corporates don't want to compensate fairly for the extra productivity, then the optimal solution is to do a bare minimum of productive work and minimize own efforts to be able to focus on things that really matter to yourself.
(Insert the usual discussion about org-mode here.) ;-)
> I haven't really dug into

An international collective of doctors and scientists who advise the World Health Organisation said this isn't a these you currently, why exactly do you have any reason to doubt them?

Only have to look at the other response here to see how certain types with absolutely no concern for the truth want to dominate this debate, it's just another opportunity for them, nothing else.

The WHO has been previously criticised for only declaring emergencies when it involves America or the holiday season. There's published papers on the matter saying so.

You can't please all the people with this stuff but the onus is on anyone claiming why this body made up of international experts all in competition with each other suddenly decided to collectively conspire in some sort of bizarre attempt to hide the truth?

The scientists advising WHO saying this stuff have far more to lose than the commentators here, people shouldn't lose sight of that very salient fact.
I think it's not.
How effective are carbon credits at eliminating footprint? If company X runs an efficient datacenter with 80 GW wind and 20 GW coal power, and company Y runs a dumpy datacenter with 200 GW coal power, but company Y buys 200 credits, is company X still the one doing the most harm?
Do you have links to any of the devices? There are no pictures in the article.
ed shines on movile on advanced usage, much more than any other editor.
I wouldn't say it's easier, but you can achieve more deeply tailored audio environments with Linux than with macos. I have a friend who is able to run a vector of 4 samples on Manjaro with the high perf rt kernel and using alsa backend. This is impossible to achieve on macos without significant hacking or maybe one of the new workstations. Even then...
I love those TV options when they work. I hate hate hate hate juddering motion on any screen. I will agree that sometimes the quality of an actor can degrade when you get to see more frames of them per second. (As if you are able to see more nuances which makes you know they are acting.)
>"what if we didn't care about encoding times?"

Yeah, I can already see it. AV5 with 3 months of encoding time on a 128 core EPYC for a 90 minute movie.
Outrage as German center-right votes with AfD to oust Thuringia premier
Whenever I see a productivity blog by someone who is enthusiastic about recent changes they've made to their life, I immediately assume the writer is quite young.

As people get older, they realize that you only have the "right" to write a blog on productivity if you've actually found a system that keeps you productive for years on end.

If you do find such a system, it's much more likely to be idiosyncratic, involve a complex set of barely conscious reflections and automatic associations which get you into a certain frame of mind, and also almost impossible to fully describe since you probably don't understand every element of it. Which makes it nearly impossible to write about.

By this I mean productivity becomes part of who you are, so that your "productivity system" becomes barely distinguishable from your personality. That is, to outsiders, you have a productive personality, or you are "just an innately productive person".

This alienates the productivity seeker, because not many people who are not productive currently can imagine becoming innately productive people. So in turn they seek help from people who are not "innately productive", and instead have recently developed some kind of conscious system to deal with productivity. Which is a fragile approach.

The blockage points seem to be identity trade-offs like "are you willing to become less open-minded and curious to become more productive?". Because often what is holding you back is an addiction to a certain frame of mind that is antithetical to completing a specific set of tasks each day. The blockage is that you're not actually willing to become an innately productive person.
Or Else the best place these days seems to be Twitter and getting other developers support.
Separate WIFI/network for IoT devices.
Do not route to the internet in any way (skip buying anything that requires it).
Connect to windows (or other OS) PC only, non-routable.
Disable all connections from that network to the PC.
New Coronavirus 'Won't Be the Last' Outbreak to Move from Animal to Human
Well this wasn't at all what I was expecting it to be... Thought HN had gone Rave.
It looks like it's the crudest form of telecine, a video camera pointed at a projection screen on the wall.

Maybe even the "weaving" motion is from a slightly swaying cloth projection screen?

I'd be interested to see what the Lumiere train movie would look like if properly laser scanned in 4k with a wetgate.
Because we visited with a child in breast feeding age, and spoke to American relatives and friends with kids of similar age.
Signed Zero
Why Astrology Matters
Carbon neutrality is a flawed statistic IMO and can be doctored with a lot - e.g. if Google pays a company X to plant an amount of trees, who's to say that neutralizes carbon?

Keep it simple, just publish how much power they're using and what the sources are.
Switching from Google Analytics to Fathom
Astronomers discover unusual monster galaxy in the early universe
I get nuisance phone calls all the time, it is a lot more disruptive than nuisance emails.
Wait people still leave atime enabled?
> Better for everyone long term, except maybe their tax dodging share holders.

Wishful thinking, these people will earn money regardless.
You could have sent someone with a sealed letter by taxi from every precinct, and it would have still been cheaper.
The FBI Downloaded CIA's Hacking Tools Using Starbuck's WiFi
I don't understand your logic. You would have paid those high taxes regardless of Elterngeld. You didn't pay those high taxes because you received Elterngeld. Therefore, if you receive Elterngeld, you receive it from other people.

Yes, the government doesn't "give" money, it redistributes it. Some other people are paying for your Elterngeld. Even if in your head you assume that it is paid from the taxes you paid, the money you received for Elterngeld is now missing for other things, they are a loss for the rest of society.
Don't Waste Your Time Mastering an Elevator Pitch
These are interesting tips. Personally I believe that 7 hours of good sleep supersedes all other tricks.
Archeologists find trove of medieval artifacts in cesspit
One could interpret this headline as 'misleading' : The parliament is not speaking on general policy, but only on the application of the technology on themselves ( the MEPs ).
> Familiarity breeds contempt.

And it goes both ways. It is quite common to start a new gig being energetic and enthusiastic. Even chores feel not that bad and even interesting. Fast forward 6 months and the enthusiasm wanes, everything starts looking quotidian and boring. I guess humans are just fond of shiny new stuff.
Twitter should be seen as an asylum if you ask me. But yes, if they leaked numbers from third parties not involved in Twitter at all, there should be severe legal consequences.

But I doubt there is much incentive to even create a legislative basis for such transgressions. Complicated topic to be fair, but we will only see improvements if there are severe penalties for "loosing" data. Since no system is safe, there is only the alternative left not to collect info you do not need.
Just did exactly that -- got a PCB, case, switches and keycaps.

Thankfully PCB was QMK and VIA compatible so nice GUI to flash the firmware with my desired keyboard layout.

https://caniusevia.com
https://github.com/qmk/qmk_firmware
The one technical reason I see for doing this is to help in dealing with customer bugs and complaints. So strictly in a diagnostic capacity.
No. They do. I have one.
That's not an answer to the question that was asked.

Some people might not want to help animals or people in the third world, they might specifically want to help cancer patients.

Furthermore if someone is looking for the most important thing to work on, it almost certainly isn't animals or third world poverty, though it also probably isn't cancer either (unless they have an unusually efficient way to help), because cancer is basically the least neglected cause in the world, as well as being highly intractable.

If you want something a lot more impactful than working on either of these things you have to think outside the box, do something that few others are working on and that could have a large impact in a way that is not well-known.
Google – A look back at 15 years of mapping the world
Why not have a site where people can openly comment and discuss individual research papers? This would make it more accessible to the public and increase the transparency in the research.
You can have a mod that keeps the conversation on topic and in any case it's better than nothing.
> UPDATE (2020-02-05 17:28+00:00): Other researchers and habr users had pointed out such vulnerability is restricted to devices based on Xiongmai (Hangzhou Xiongmai Technology Co, XMtech) software, including products of other vendors which ship products based on such software. At this moment HiSilicon can't be held responsible for backdoor in dvrHelper/macGuarder binary.

This was an interesting update, especially the last sentence.
No, they are actively pushing it for new licenses and renewals.
If you want to save to local storage with a fancy WYSIWYG, here's an 18-line html file that calls the Trix CDN:

https://gist.github.com/bachmeil/7c19e72b9a5c49a85e8cecb0b7a...

Can't say I use it very often, but it was cool being able to do it in a few minutes even though I'm not a web developer.
> it's standard practice to listen for PORT over the environment variable

I didn't think of this, I was thinking of making something like config file where user can specify it. This will be a lot better than that, so I could ask users to set CORTRIS_PORT & read that?

edit: I'm now reading port from environment & setting it to 8080 if it doesn't exist.

> you are opening and closing your DB on every request

I don't understand about controllers part, could I open the db at start & put db.Close() at end of main (?), is there more I have to think of (like what happens after program fails & the connection is still open?)

> http.Error(w, err.Error(), 500)

Is it safe to pass the error to the user? Could something go wrong considering the source is already world readable?

It would be nice if anyone could set it up on heroku free tier, where do I learn about it?

I'm planning on getting a cheap vps to deploy my little projects. Thank you for looking at my project!
Did you read the article at all?

The European Union is already planning to introduce a temporary ban on facial recognition in public spaces - PRECISELY because the technology is being rolled out throughout European cities without first assessing the impact on rights such as privacy.

The story is about a leaked draft of a plan to introduce the same technology on the parliament itself - which would be inconsistent with the previous point.

I don't see any hypocrisy here.
Re: 1, pull requests should not be blocking; if it is blocking, go for pair programming instead and/or in addition to. If a pull request not being merged blocks someone else then you need to review your planning.

2. Yes, but it should interrupt the whole team. Share the pain, the cause, the solution, and work on how to prevent it in the future.

3. If you're immediately working with them you should be in the same room with them. Or voice comms if you're in a remote situation, but I suspect most people working remote will work quite insulated anyway.

4. Yes.

5. If it's a message it can wait, messages are asynchronous communications. If it's time critical they need to call.
The race to produce a vaccine for the latest coronavirus
Location: Berlin, Germany

Remote: Yes

Willing to relocate: No

Technologies: Android, Java, Kotlin, Team building, Tech Hiring

CV: https://drive.google.com/file/d/1lvHDJDNaI-d8e2mBWDz5XaXURRX...

Github: https://github.com/robertoestivill/

StackOverflow: https://stackoverflow.com/users/961759/robert-estivill

LinkedIn: https://linkedin.com/in/robertoestivill

Email: robertoestivill 'at' gmail 'dot' com
Microsoft is merging its Windows and hardware teams
RIP tonymacx86 :(
"It is not just “mild uneasiness” For many countries it has significant career repercussions to prioritize family."

Yeah, that is exactly the worry about "finances" that I mentioned. Why are you hellbent on disagreeing with me?

I also get the notion that the repercussions may now be less for women because when you hire men, you will now also risk losing them to parenthood. But parental leave is just a small dent. The bigger impact is that women will tend to work only part time or not at all once they have children.

Also, as for the alleged "frowning": doesn't it contradict your theory that fathers actually did take parental leave when they were given time allotted especially for them? Imo it rather confirms my theory, that the reason fathers rarely do it is because it is a female privilege that mothers would have to give up (or would be forced to give up by such new laws). The frowning by society must have still been in place, but the mother privilege was not, because she had no claim on that period of parental leave (it was only for fathers).
Looks like a band-aid for bad API.
In addition to the "dumb mistake log", see if these things can be automated; for your Markdown example, set up your editor to format / fix issues automatically, e.g. using Markdownlint. Use the available tooling; take some time to tweak your editor, that kinda thing.
Hey siscia,

MSFTie chiming in here. I'm probably the wrong person to speak to the "cloud backround check itself" but I can tell you that on multiple azure teams I've worked for, I've had the opportunity to work alongside Iranian, Nigerian, Australian, <take your pick of esoteric location>, citizens/peers. As such I'd be somewhat surprised if that was a hard prohibition.

Reading the official documentation here [0] I'm inclined to be confident in my assessment, the citizenship requirement seems limited to those working on USGovt clouds (there are similar fascinating rules for e.g. German cloud to conform with their regulations)

As always I'd encourage you to talk to a hiring manager to sanity check this statement, but I would simultaneously encourage you to not let US citizenship stop you from applying. MS (and I'd make a similar statement for other bigcos too, to be fair) always needs good people.

[0] https://docs.microsoft.com/en-us/office365/enterprise/office...
Grass Roots
Short term, I suspect that it’s going to be more relevant for porting functionality to iPadOS and/or allowing that functionality to be shared between Mac and iPad (in Catalyst apps).
LinkedIn Makes Formal Statement on UpCounsel
Why do you need cross-browser testing for compatibility?
HTTPS: //djsupplement.com/nature-crave-keto/
Nature Crave Keto is a dietary enhancement that gives better ability to burn calories and overhauls the ketosis procedure in a sheltered way. It works quick on the off chance that you follow count calories and do exercises while taking this enhancement. This enhancement diminishes your weight in a solid manner and there is no hazard in taking this enhancement. It improves your emotional well-being additionally by lessening the feeling of anxiety and leaves a positive effect on your physical wellbeing.Nature Crave Keto works in a positive manner on your body and lifts the vitality levels. It helps in discharging the ketones exogenous in your body which helps in diminishing your general weight. It makes your body dynamic by raising the vitality levels. It diminishes the feeling of anxiety and upgrades your mind-set. It helps in detoxifying your body totally and controls your hunger too. This enhancement redesigns the digestion level and improves the blood stream in your body which helps in improving the working of your organs.

https://djsupplement.com/nature-crave-keto/

https://youtu.be/Ox7sfHK-ViM

http://supplementsworld.over-blog.com/nature-crave-keto

https://medium.com/@supplementsworld/nature-crave-keto-pills-price-diet-reviews-side-effects-more-b019ba0664cb
I personally don't care. I even usually opt for the cheaper Netflix without "Full HD".
I also thought this was about a grandma who would lovingly guide me through the hard parts of bash... which honestly still makes more sense to me than the headscarf ideology.
I don't use transcoding, as plex asks premium account for internet connectivity and transcoding is not needed over lan.