skysight-inc/HackerNews huggingface dataset:
The EU has it's own systemic issues. However, they are different because it is mostly based on a Napoleonic Law basis rather than Common Law basis.

The problem in the US is that judges don't throw around the "this was pretty obviously frivolous and you lost so you have to pay for the court costs" card anywhere nearly enough.

Another problem is that the lawyer doesn't share in the penalty even when it gets applied.

A final problem is that the lawyers and judge are all buddies and see each other for lots of cases, so they're unwilling to actually slap each other when one of them is being stupid.
This is difficult to express, but that difficulty inherent to my process of describing my perspective to you is a motivator for me doing so. And that's where difficulty/challenge as a component of knowledge acquisition is important.

We memorize and recall within the limbic system. That's the same system that also facilitates our emotional and physical responses to stimuli. And as I see it (keep in mind I'm not a neuroscientist), increasing emotional activity alongside the task increases the overall allocation of physical energy to the limbic system. I believe this is the physical component that defines "flow", or the ability to be so immersed in an activity or series of activities that, as I am at this point in my writing, we forget time. (I need to go stir tea on the stove. One moment...)

Alright. Um, our ability to sustain enough engagement in something to optimize our retention of that activity is, I believe, critically dependent on emotion. Think of reading a law book. Now, think of reading a law book on accounting. Now, think of reading a law book on accounting while referencing the IRS.gov web site for available white papers. The further we venture into emotional detachment from the activity, the more willpower we need to engage, the more energy we deplete through continuous activation and reactivation as we doze off and have to return and restart a portion of the activity.

I agree though that the challenge has to be enjoyable. I'm not interested in learning a new programming language while doing a handstand. I am, however, interested in learning a new programming language if a boy I like also likes it and likes to talk about it, and I want a reason to talk to him more often. (I had a stint learning C++ for that reason. And it's still one of the best things I've done because it expanded my understanding of paradigms and language capabilities.)
Erring on the side of simplicity is a good rule of thumb. Sometimes the simpler thing to do in a million-line codebase is to statically type the code.
The best markdown editor component I've found so far is tail.writer[1] – full-featured and has many themes, including one that looks just like GitHub's comment box.

[1] https://github.pytes.net/tail.writer/
Isn't that the benefit of cloud?

Maybe I'm spoiled by GCP and it's not the same in other providers; but I can have a brand new debian VM configured and operational in less than 10s (less the time that I run my own startup script).

Debian machines spawn with incredible speed; not much slower (if at all slower) than a new container.
Based on a month in China, and having relatives there, I'd say very much yes to the second question.

If they want, they can trace your whole day from start to end in a city.
Quite interesting article. After graduating from a control-theory-heavy program, I have started thinking about animal movement as an optimization problem. A manipulator is moved into a desired position while minimizing the cost function of pain, in order to avoid damage to the body.

That would fall in the "useful painful pain" category, I guess.
I have always wondered how could the world allow the genocide of the Jews during the Holocaust. Now I understand. It's all about financial gains. No one will speak out against such atrocities if it's against their financial interest. In today's world, no one will speak against China due to their selfish interests.
> I think you fail to understand just how prevalent these issues are for people of color every single day.

Beaten in public for not "taking a knee"? White supremacist. Fucking nazi scum.

Latino killed by police? White person? Asian? Black cop killing a black person?

CNN's silence is deafening. Only Black Lives Matter.

> Justifying one's existence and identity every single day is exhausting on a level that all other problems are simply irrelevant when existence is in question.

All those straight white men with their white privilege and white fragility that the media paints as evil, horrible, racist monsters never have to deal with that.
If you don't want your open-source project used in for-profit projects, license it that way. Amazon is playing by the rules these projects set out, and not by a technicality. That, and the reason some of their services (let's say RDS) are popular is the open source projects backing them were already popular, in part because their licenses are permissive enough for for-profit use. Arguably, this popularity helps the projects. What Amazon is doing with RDS isn't any different from a for-profit company hosting Mysql themselves.

They're also not really monetizing open source, at least not any more than a consultant does. What you're really paying for is Amazon to manage it for you--that's their value-add.
Thanks, that needed to be said. Hopefully not all research communities are alike, and the behavior will be very different in the security/privacy community for example. That is part of the reason why I work in the latter field rather than in PL.

Also, I really enjoyed this paper for the exact reasons that GP disliked it: it is short and understandable even with very remote and vague souvenirs or Coq.
The treasure trove hidden in discarded computers
A $26B Truck Company with Zero Revenue Just Surged 103%
But err, that's exactly what's happened. We now know that China locked down domestic flights originating from Wuhan in Jan 23. While at the same time pressuring various world governments and WHO to continue accepting international flights.

I feel like this needs to be unpacked for a lot of people. There are two pieces:

1: This paper claims that the virus was circulating in micro-clusters earlier than currently believed. It makes no claims as to any coverup.

2: There is clear evidence of an aggressive coverup lasting at least several weeks prior to covid becoming official. This makes no claims as to when the virus started circulating. Only when the authorities became aware of it.

These two statements are unrelated. The root parent post poisoned the well by conflating them. This paper is just another step towards tracking down the origin of the virus, it has nothing to do with coverups - whether real or conspiracy theory.
I read this in my head with Comic Book Guy's voice and it made my day.

It's funny how once you get hung up on a minor detail it spoils the entire experience. I had a friend who refused to play Jedi Knight II because the light saber physics didn't work like they did in the movies. Each to his own I guess ¯\_(ツ)_/¯
You do if you do a resume driven development.
For example, consider Sweden's approach. I have no idea whether their strategy is right or wrong, how should I know? experts disagree.

But it surely takes a lot of confidence to pull that off, knowing that opposition parties will feast on any opportunity to publicly decry your recklessness.

Covid-19 is real and it kills people, it's effects can be and will be measured.

We do make tradeoffs between economy and safety all the times, but we do that for things we're used to (traffic, pollution, diseases prevention, ...), so some people expect we can do the same kinds of tradeoffs with covid-19.

Again, I'm not an expert and have no idea on how to compute such a tradeoff.

But my point is that there is a inanimate force that is just pulling that card off the table.

It doesn't help that in some countries it also became such a heavily partisan topic.

I'm not from the US. I live in a country whose government has been very proactive and the population is generally supportive of the (re cently lifted) lockdown. And that's a country where rarely the populace has anything good to say about the government (a popular saying "it's raining, damned government!")

Playing it safe seems much more effective politically, that unless you want to play some "strong man" narrative like some governments did, there doesn't seem to be any advantage in taking excessive risks.
Heh, I had to go from 16G to 64G because of how often I was hitting OOM when compiling big stuff (a few times per week at least). And that was in 2016...
Yes.
The macbook 15" 2015 was just running at 55°C with zero fan noise when "just" browsing the web.

The 16" runs at 67°C with 2500rpm when doing the same task.
So its neither quite nor cool doing basic tasks.
You can turn of turbo boost to get around it, but I was expecting something in the same ballpark in terms of coolness and fan noise for basic tasks without tweaking stuff like this myself.
If that fails the interview, especially in a startup interview of all places, then that's a red flag on their end. Shows lack of pragmatism, poor communication and unwillingness to embrace lateral thinking.

You came up with a working solution that fell outside the spectrum of what they were expecting. And they couldn't adapt their thinking/hiring process to that so more fool them.

In a generous interpretation of the situation they weren't a good fit for you anyway.
Curiously, in https://bugs.chromium.org/p/chromium/issues/detail?id=333617 people are complaining about the opposite problem:

Linux kills a Chromium process, leaving bigger memory hogs roaming around.
What about PURPLE?
Oh yeah, sounds like bad communication on his part.

How did you handle looking up two characters vs one? Take a pass for all the doubles first and consider those negative? Or keep a history as you loop over it?
Question: some of the security/management concerns cannot be addressed via AWS Fargate?

The bottom line is: K8s is awsome but it is complex.
It is a Google-needs-oriented software.
Sadly average project will not have that complexity you find in Google Plex.

I can run Oracle Database in 100MB of RAM...you need 4GB at least to run a K8s node... a costly option.
Below ten servers I find no point in K8s: I highly suggest docker swarm.
Not true in my experience, if you're a poor communicator you cannot be a good developer in a team environment.

Developers are not the sum of their raw coding ability. If you are a savant genius at coding but a poor communicator, you will be a terrible addition to any large organization.

Such mavericks might be effective in startup environments, but try joining a large org and start tearing up code without communicating effectively, you will be out within a month.

I'd even go as far as to say raw coding ability isn't even a developer's most important skill.

I'm a full-time developer and coding isn't even 50% of my job.
The serialization format still shows when you read them today, but many of the quality books today are written like screen plays. I've not read enough from that time to know if the format that I identify as serialization was apparent in other books.
I'm not sure why.

My personal experience is very good and i'm looking forward to a bright future.
Except when the candidate isn't told that they will have a timed coding interview in advance and in general what it would be.

I've been asked to write a full-stack app from scratch, and I spent like half of the time debugging the webpack config, which could've easily been solved by having a template prepared in advance if I knew what I was doing.

If anyone's reading these, please have the coders work off of an already existing template that you give them.
Hi!

I am a 100% newcomer to the world of formal proofs and certainly dont know Coq. Because your topic was down to earth and the proof you provided were simple, I was able to understand these proofs.
As such your paper made me aware of how this community builds papers and proofs, and I can understand how this will grow insanely in complexity. Thank you!
I agree with your assessment of what is causing some people to dislike those they label SJWs, but I am still deeply bothered by the term used (though I haven't really seen a legitimate example of item 4).

We don't call rioters and looters 'BLM warriors' or 'freedom fighters', we call them by the negative characteristics that set them apart. By extension, the term SJW and its association with those who exaggerate and cause harm from the social justice scene seems designed to make social justice seen like a negative, instead of explicitly pointing a finger at doxxers and mobs.
Right so in addition to the complexity of running k8s (which is the general point of the post) you now have to learn about OAuth servers and LDAP integration.

In many corporates you also now have the challenges of cross-team/department work, for the k8s team to work with the AD team to get it setup.

And still that won't get you away from the problem that without a first class user / group object in k8s people often end up running into problems with JML processes over time and mismatch between AuthN and AuthZ...
> 'telnet' on linux doesn't handle UNIX sockets

Someone should write a patch to fix that. There is no reason why the telnet protocol can't be used over UNIX domain sockets.

As you note, telnet has some advantages over socat/netcat/etc, e.g. the Negotiate About Window Size (NAWS) option can be used to notify terminal resize events (SIGWINCH).

One could also register and implement a telnet authentication type [1] to trigger authentication via SCM_CREDENTIALS. The server could use this to confirm the client has the expected UID/GID.

[1] https://www.iana.org/assignments/telnet-options/telnet-optio...
That's not quite how it works and in my opinion not the main problem. Take for example DARPA grants, they are controlled by outside people and I don't think it works. You essentially have a "case worker" often with little understanding of the field pushing in some direction. Moreover the amount of admin around these grants is staggering.

The root cause of the situation is that there is not enough money in the system and compared to previously more money is distributed by competitive grant processes. This results in a couple of things.

1. The cutoff (reviewer mark) where grants get funded or not is completely arbitrary, because it is in the flat part of a arctan or logit type curve, so small differences or luck can me you are able to do your research.

2. Competition therefore is fierce.

3. To balance the odds you have to write a lot of applications (academics now spend most of their time either writing grants or administering their grants, not doing research.)

4. It encourages incremental research, because non-incremental research implies high risk, but no one can afford the risk to fail, because having a significant reduction of publications reduces you chances of getting grants in the future (see 1.). Once you get some gap in your funding its almost impossible to get back.

5. This disadvantages women who want to have children.
If you are into integer sorting, this might be of interest as well:

https://yourbasic.org/algorithms/fastest-sorting-algorithm/

https://sorting.cr.yp.to/
Decision trees are a type of Machine Learning, no need for the quotation marks.
You're just describing leetcode here. Not something most people even do in their day-to-day.

A lot of frontend devs don't even work with the DOM directly after having spent years with React. Could they do it? probably. Are they prepared for DOM-related manipulation questions on a whiteboard? nope.
Woah, that's even more interesting. You can see the effect different titles have on the popularity of the exact same link.
History timeline misses the container technologies across commercial UNIXes like HP-UX, Tru64 and Solaris, and mainframes.

However the main point still stands that k8s is overkill for like 90% of deployments using it.
Maybe that is a solution to keep cities habitable in wet bulb scenarios- make giant hygroscopic collectors of air humidity.
> huge, kinda pointless, companies (Alcatell-Lucent)

Why is Alcatell-Lucent kinda pointless?
most people probably want the following:
- no downtime deployments
- distributed jobs
- as managed infra as possible

without k8s some things would be hard.
This is valid when you write java(scripts) a code base that don't expend to multiple files and become a whole Application like we have today in the front end landscape.

You solve scripting language problem with better code organization? While in the first place the language was designed to solve scripting problems, DOM manipulations, now you can use JavaScript to build backends and SPA's hybrid apps, and most importantly some huge code base of libraries like Gatsby, vscode, where large teams are collaborating in the same project. How would you solve all the runtime errors? How would you solve expending the capability of your code editor? How would you solve refactoring? Just to name very few of what something like Typescript is capable of.
Yup, mostly in the south east US:

https://downdetector.com/status/google/

https://outage.report/google/amp
I think that the overall sentiment is "break code in intelligible chunks"?

I also used to work on big commits but at some point switched more to branching and merging a lot, which to be honest feels a lot more natural in git. My branches are very topical, don't need to be stable, only run a subset of tests/build tasks etc. Then I squash them back into the main branch.

Now for me, big commits are sort of like file blobs, where vcs are the wrong tools for that. But it's funny that when I first started using vcs (and any tooling, really) I was like, trying to get them to bend to my workflow instead of bending my workflow to the tools. Like, the tools have inherent qualities that makes certain task easier, and going against this _natural_ grain just made my life harder.
Not taking anything away from the worth of this tool but if you do happen to find yourself needing to quickly inspect which files a process has open you can do so using the /proc file system:

ls -l /proc/$PID/fd/

Additionally you can also use the /proc file system to display where the cursor is in those files by outputting the contents of

/proc/$PID/fdinfo/$FD

which is handy if you have a long running process but forgot to pipe it into `pv` (or any other long running ingest that lacks a progress UI)

(Both tricks are Linux only)
Working in “InsurTech” myself...

I’d say customer acquisition is the biggest cost and insurance companies are terrible at it because differentiation is almost impossible in a price driven by extreme price war.

It’s not uncommon that 30-50% of your travel insurance premiums are going to a broker or price comparison website. Talking about great value.

It’s not as sexy as ML in claims but one of the big innovations Lemonade has developed is looking like the anti-insurer and creating a huge PR machine around that. True or not, it worked.
The New MongoDB Shell
Location: Portugal

Remote: Yes

Willing to relocate: Yes

Technologies: Java, Rust, Elixir, Ansible, Linux

Résumé: https://github.com/marcelo140/cv/blob/master/cv.pdf

Email: marcelo.caridade@protonmail.com

I am a Junior Software developer with interest in building distributed and scalable systems. In my current job I'm mainly working with Java and Ansible. In my free time I prefer to work with Rust or Elixir.
That’s the stick way. The carrot way is to offer a bonus if the employee stays for a year. Even more effective is to give the bonus immediately, but require they repay it (or forfeit final wages) if they leave earlier than a year.
Are you a freelancer or a contractor? I.e. are your engagements on the order of weeks or months/years?
Google down in parts of the southeastern US
It certainly feels intuitively wrong, especially when you find out that they use their own sales data and inventory to determine what white labeled products to release.

That’s not to say that it’s new or illegal, it just feels scummy.
I think the problem is that it all feels so "one off", so Docker feels like the better option. Taken as a whole I guess all those one-offs in Nix will hopefully lead to something better in the end, there seems to be a lot of work behind the scenes here.

For us Docker is how we manage reproducibility, and it's pretty damn fine in so many ways, most certainly a lot better than Nix for the most part.
Just be thankful in English there are spaces. Chinese doesn't have even that!
A big way to eliminate transportation is to legalize the construction of housing and the operation of businesses in and near cities, then allow people who commute for an hour or two to move so they don't have to commute. This is impossible, because we (boomers) have decided that it's important for our society for local governments (boomers) and sometimes residents (boomers) to have veto power over housing construction and the ability to delay business openings by years.
I wouldn't call it extremely likely. I think you are underestimating how prevalent psychedelics already are in our society. Whenever I see people trying to be afraid of psychedelics I just think that they would probably outlaw sex too if given the chance.
We must navigate very different fields then , because what I'm seeing cannot be "professional disagreement" mistaken for something else. But even so, this is a sterile debate. What is important is that our academic system selects for bad actors in all fields through the "publish or perish" motto. In my field at least, dedication only will rarely propell you to full professorship, because you are competing with those who are dedicated to both research and academic misconduct. Noone becomes important by being nice. A second and important downside specific to medicine is that most academics also do clinical work. Now what do you think happens when the guys running the clinics are hiding in their office most of the time to write papers? Lack of supervision of juniors, in addition to the fact that hiding in your office often does not make you the best clinician.

What's truly sad is that people will often push for being cared for by the big fish professors when it's actually often the worst choice they have.
I just wanted to express my appreciation of this reply. I originally wrote a simple ":)." but it's not really how it works here on HN :). Anyway, thanks for not being stubborn and pedantic, this is part what makes most of HN nice.
At least this article doesn't peddle the usual "If you don't like <server/site> you can take your data elsewhere" nonsense, that seems to be trotted out in every other discussion of how 'arse-sum' the fediverse is.
To solve a Problem we must first admit there is a problem.

Which in itself is the biggest problem we have had since birth of humanity.

There are problems that cant be solved in your position or resources. There are problems that cant be solved without higher level knowledge and visibility. There may also be a problem that you should not solve, i.e It is a feature not a bug.

The bring me solution answer may have worked in Engineering fields. But it surely does not work across most of the industry.
> Higher paying jobs don't pay higher for no reason. One of those reasons could be that you have unique skills worth paying for.

In tech, often the high pay comes from knowing the latest hottest tech. My devops friend is making 2x the usual devops pay only because he's competent around a combination of latest cloud and big data technologies.
Strong Institutional Demand for Bitcoin
That and... the war
Given the relatively small size of their book, a few outlier claims can destroy all their economics. It should regulate over time.
I've built my project template around conda, primarilly so that a new user can just do `make install` and have all environments created. The docker portion also works fine, the only issue being that the images are perhaps a bit larger than I would like.

https://gitlab.com/mbarkhau/bootstrapit