skysight-inc/HackerNews huggingface dataset:
1 point by zabzonk 1 minute ago | edit | delete [–]

You could probably sue him. Antibiotics should only be prescribed for salmonella food poisoning (and almost all similar gut problems) in severe cases - normally all you have to do is keep hydrated and you will get over it. Otherwise you run the risk of introducing antibiotic resistance, so such treatments may become ineffective in severe cases.

Not a medic. Used to be a microbiologist.
> At some point we need to think pragmatically about what kind of society we want to create, rather than spending all of our time worrying about whether or not people are getting what they deserve.

To me, these two things are the same.

I want to live in a society where people are held responsible for their actions. If they commit a crime, they should be punished in proportion to their crime. This is a kind of humanism because it respects individuals' freedom of choice (i.e. you choose to commit a crime...or not).

To be concerned "whether or not people are getting what they deserve" is the definition of justice. And it goes both ways: if the punishment is too severe, too random, or inflicted on the innocent, that is also a problem.
So technicaly how new users of your "SaaS filter" will manage to get 200€/per hour from newly listed adds if your newsletter (notification) will be categorised not to one user but lets say to 10 per job by the similar selected skills (filter) of main experiences (egz. photoshop, html, word, singing, hoby bicycle?

I see a result of filtering
*a random bozo sending the same message template to everyone.
Block space is always a little bit of a bidding war, even with zero fees. That's because each additional byte added to a block increases the time it takes to propagate the block by just a little bit.

When miners find a block, they race to get it published as quickly as possible to as many nodes as possible. If A finds a block, and stuffs it full of transactions; and shortly thereafter B finds a block, and includes no transactions, B might actually "win" the race because B can propagate his tiny block much faster than A. So each txn added incurs a tiny penalty just by virtue of adding to the payload.

> they decide which fork to run

In reality most hashpower is pooled and pools autoswitch between forks depending on which is more popular in the moment. So most people running miners are mining all forks.
> I'm not sure what you're calling "spec" vs "model"

This is from memory, but the TLA+ toolkit distinguishes between your "specification of your algorithm" and a (bounded) "model of your specification".

So, you might have some spec for a sorting function that works for arrays of natural numbers of arbitrary length. And your model would limit it to arrays of length 5, and "define" the natural numbers to be `range(0,10)` -- ie. you are checking a finite "model".

I think this is consistent with the language used in the wiki article (the OP).

> You can see how I'm working against the way TLA wants to work

I'd much prefer your suggested workflow. I don't recall that you can write plain old pcal

It's amusing that you want some TLA CLI tools that work kind of how the LaTex toolkit works, another of Leslie Lamport's contributions...

> I always meant to publish these after XSA-299 went public, but haven't gotten around to it.

Please do!

> It would be nice if I could designate just one file (written in C) whose functions would be translated into TLA. The properties you want to verify about those functions would obviously need to be written in TLA directly.

That seems like a really tractable problem to me, if the C files were written with this in mind. I've actually been thinking about this since giving an internal talk on my TLA+ project last week!
One problem with this is that, as mentioned, some julia packages actually are state of the art. There isn't a C equivalent for everything DifferentialEquations.jl can do. Ditto for Zygote.jl and Enzyme.jl.
Silicon Valley Stays on Top as Tech Salaries Climb Across U.S.
People who don't know what to do are in danger of being dragged under by the drownee.
Only because the users haven't yet experienced a situation like this where the real value of "free" gets exposed.

Everyone loves to think "that can't happen to me" then act all surprised when the inevitable happens.

Grashopper and ant with a world full of grashoppers :p
Years ago I read an interview with a prison warden. The interviewer at the end asked him what he would want the public to understand. The warden said, I would like the public to understand that everyone here is going to get out eventually.
I live in the Netherlands, and there definitely has been a great deal of protesting and general mayhem. More than a dozen cities had large protests, vandalism.. we had a group chat where people told others about places where this was going to happen in my city, in our case to avoid them, but for others to coordinate.

Mind you, heavy lockdown measures have only been here for a couple of months. I have no doubt if the government makes a step towards keeping it for years, the protests will reignite.

Regarding 1), that stops absolutely nobody here. The city center is bustling with crowds, and protests for other issues still happen, there is no "police squashing".

2), that is a USA-centric view. There is little QAnon talk over here.
I'd likely translate "gravitsappa" as "gravigrabba".
is the M86k used in any modern systems?
I always found SPARC's stack handling to be very elegant and I write enough of low level code that these architectural details do from time to time impact me, but isn't it largely irrelevant for the industry at large?

After all MIPS's original insight was that machine code was now overwhelmingly written by compilers and not handwritten assembly, so they made an ISA for compilers. I think history proved them absolutely right, actually these days there are often a couple of layers between the code people write and the instructions fed into the CPU.

I guess my point is that nowadays I'm sure that many competent devs don't know what little-endian means and probably wouldn't have any idea of what "register windowing of the stack" is, and they're completely unaffected by these minute low level details.

Making it a bit easier for OpenBSD to find subtle bugs is certainly nice, but that seems like a rather weak argument for the vast amount of work required to support a distinct ISA in a kernel.

Honestly I'm not convinced by the argument for diversity here, as long as the ISA of choice is open source and not patent encumbered or anything like that. Preventing an x86 or ARM monoculture is worth it because you don't want to put all your eggs in Intel or Nvidia's basket, but if anybody is free to do whatever with the ISA I don't really see how that really prevents innovation. It's just a shared framework people can work with.

Who knows, maybe somebody will make a fork of RISC-V with register windows!
Isn't that blatantly illegal?
It's hard to say here in the US, since rehabilitation over retribution is poorly studied, particularly for violent offenders.

As I linked in response to your other comment asking a similar question, though, other countries have demonstrated quite a bit of success with the approach, Norway as one example having a low recidivism rate even among violent offenders. The Norwegian socioeconomic safety nets certainly help, too; crime in general is a function of both mental health and economic standing, so public policies aimed at addressing both of those things will naturally lead to both fewer incarcerations and fewer reincarcerations.
Do we have any general anti-virals? Seems like the few anti-virals we do have are pretty targetted towards certain types of viruses.
Not really surprising if you've been following the beta progress. I doubt Tesla will move past level 2 until they are at a point where Level 4 or 5 is possible.

With that said, I have real doubts that they can get their with the current camera suite. IMO, they don't have enough redundancy. Further, I think elon's anti-lidar position is a mistake. Even if they can make it without lidar, I think it will set them behind the rest of the industry.

Likely, we will see something where they collect enough training data to hit level 4 + training suite and eventually they'll release cars with new sensor suites. Once that happens, my bet is that's when they'll actually release level 4 capabilities. I highly doubt any current car will ever allow hands off driving.
I fully agree
I don't let candidates know either and it has nothing to do with legal liability whatsoever.

If I post a job up for a developer position, even as a small company in Toronto I get on the order of 1000 applicants in a matter of 2-3 weeks and I usually will only hire 1-4.

I am not going to come up with a rejection reason for 996 people. The reason you got rejected is because there are a ton of you out there and I can only hire so many so I am going to hire the very few who I am very certain will do a good job for the specific requirements my company has right now, even if it does something means I end up rejecting even better qualified candidates who I am uncertain about. Every hire costs me on the order of 50k per person in straight up recruiting costs, ramp up time to get that member to be productive, time lost doing interviews and filtering 1000s of people.

Hiring and firing people is basically the option of last resort because of how risky, expensive, and time consuming it is.

Finally it's highly unlikely that anything I say will be of much help to you anyways.
You had so many more points to make, but your first one stuck out to me:

> - The essentially institutionalized use of rape as a means of controlling inmates;

It's super messed up that, although we make a big deal about rape in our culture, when it comes to someone going to prison, even for nonviolent offenses in some cases, it's socially acceptable to joke about men being anally raped in prison. I suppose there are some especially bad people whom I'd care less about being raped, honestly, but I think it's kind of sick to wish that upon someone. In some ways it's worse than admitting to wanting someone dead because it's intended to be especially sadistic and humiliating. It's sexist as well; just imagine the kind of response someone would get if they joked about a woman getting raped in prison. If you're a man, Americans believe you deserve to get raped if you commit a crime, or are at least callously indifferent to it.
San Francisco’s only level 1 trauma center does not take private insurance, so if you are taken there, expect an absolutely massive bill despite how good your employer-provided health insurance is.
Not as I understand it. It was installed because of the Airbus accident in the South Atlantic. An extreme case, yes.
But with the engines moved back, the plane has the natural tendency to stall. Which is very common.
It's not about him. It's about us, as a society. When we imprison someone, we take ownership and responsibility for their well-being.

To be clear, we can decide, as the responsibility holders over their well-being, that we believe they should be treated like garbage. Right or wrong, we have that ability and there is no higher authority than society itself to determine if that's right or wrong.

Although I have a strong opinion about what is or isn't an appropriate punishment, we absolutely should not be basing our decisions on the feelings of the victim. Putting aside that the victim is dead and can't express how they feel about it, this is no way to run a law-based society.

If I commit a crime, and someone else commits an identical crime, surely we can agree that the punishment -- whatever it may be -- should be the same (or at least equivalent). It shouldn't vary based on who the victim is or how the victim may feel about it.
If only there was some way to resolve issues, like having a customer support like with reps who could examine what happened. I hear Google is pretty strapped for cash, though. I have no clue how they'd pay for it, other than, perhaps, taking out a loan on the 11th ball pit or the backup three-story chocolate fountain at Google HQ.
No books seems unusually cruel. And to what possible benefit?
Did the PwC auditors have skin in the game? Do they have to stand by their decision when questioned or is it just a stamp of approval?
> but if you're looking for specialist expertise (eg. computer vision, control engineering, operations research) it's a lot trickier and not always only a matter of compensation.

It's not tricky at all. Those are chicken/egg jobs - can't get the job without experience; can't get the experience without the job. Hire some people and train them. They won't all work out, but the ones that do will be worth it.
Article is misleading. Tesla sent a letter to the CA DMV requesting approval for a feature which they referred to as "City Streets" which they say is level 2, and will continue to be level 2 as it is developed. They specifically say in this very document that they will develop higher levels of autonomy in the future, so it's pretty clear that the "final release of City Streets will continue to be level 2" quote is just referring to the particular subset of functionality that they're seeking approval for.

From the very same letter, there is also this quote:

Please note that Tesla’s development of true autonomous features (SAE Levels 3+) will follow our iterative process (development, validation, early release, etc.) and any such features will not be released to the general public until we have fully validated them and received any required regulatory permits or approvals.
That is true as long as you are employed. Once you lose employer-provided healthcare or fall on hard times and your expenses mount with no income, things get a lot more tenuous. The folks perched at the top of the heap are not the ones who are the determinant factor in the quality of healthcare provisions in a country.
More egalitarian funding will just make the wealthier classes just put their money and students somewhere else. I live in an area with a lot of private and charter schools. This is the mechanism that the community members have evolved to fund+support their children's education directly the way they want. If you try to make people pay for something they don't want to - they'll just find ways around it and you could even be left with even worse outcomes than before.
"How come you're so concerned about other countries making peace with Israel, "

I'm not concerned with any nation making peace with the next because mostly they have a pragmatic peace.

The 'concern' is the ongoing incursion into the occupied territories, against all international condemnation and the duplicity of US actions i.e. technically declaring the occupation illegal while literally at the same time moving embassies etc..

The legitimacy of the Jews right to a homeland and their problems derived from nearby enemies is constantly used as cover for their other actions.

Zionism is not supposed to be Apartheid, but in pragmatic reality, it is.

That there are not sanctions against Israel is a testament to it's far reaching influence.
No JMAP support?
Encode Mighty Things
Hes thinking not of 20$ out of pocket but more like the $20k horror stories we sometimes hear about.
This is interesting. Is the 3 months number something arbitrary? Are there major groups advocating this? Beyond limiting the harm if prison, short stints could make gangs harder to form in non-lifer prisons.
"Stable"? Like the version that screws up basic window management features? (Simulates the Alt+Tab behavior; doesn't actually let you have two Excel windows side-by-side.) Thanks, Office team.
Stories of prison bring up ideas like this. But I don’t think uniformity in treatment would work.

If a person is in prison for violence then treatment would be no more violent games and videos.

If a person was in prison for theft or gambling related, then treatment would be prohibiting acts that deal with money or games of chance.

If a person was involved in bribery or lying, then treatment would be avoiding anything that involves cheats.
Did you have positive experience with google support yourself or do you work at google? Never heard of any positive customer support experience with google.
Interesting, thanks!

Not an index per se but the Canadian Centre for Policy Alternatives publishes living wage reports, here is how they calculated it in the last one (2019): https://www.policyalternatives.ca/sites/default/files/upload...
Nevermind the pump and dump, which has been right out in the open for years. What about selling people a $10000 option that doesn't work?
I'd be interested to hear just how many times the average dress gets worn now and what percentage of them only ever get worn once. I suspect it's a significant percentage.
> Link to a PDF of the actual exact print menu.

One would that that would be universally useful. But on mobile I find reading a PDF can be a pain sometimes.

But yes, that should be good for 99.99% of restaurants and 99.99% of their customers.
You're not supposed to, but you get multiple gmail accounts for that - "service" accounts if you will.

Then you never use your service account and it gets disabled by the inactive account filter.

Damned if you do, damned if you don't I guess.
housing is getting rediculous. moving to Nebraska + upgrading internet
But there are still apps that have permission to run location service in the background e.g. Tasker, GPSLogger.

I'm on Android 11.
Not talking about all applicants here, I'm referring to people that have been interviewed and made it to some kind of final interviewing stage where typically you end up with only 3 or 4 applicants max.

The one time this happened I had gone through the phone interview and had what I thought was one of the best onsite interviews I'd ever had (in over 25 years of software development). The hiring manager actually called me up a few days later and apologized for not selecting me. He said that I interviewed well and everyone on the team liked me, but that the other candidate had some extra experience in an arcane area that was quite relevant to what they were going to be doing. I thanked him and told him that I understood as not many people would have actual experience in that tech. It was helpful to know that my perception (that I had interviewed well) matched their perception.
> so I don't think that would make a significant difference.

I think it would make a significant difference to the prisoners at these prisons
One of Elon main points was that you can't have all these ships built in clean rooms by PhDs.

You need a large number of workers, who can weld, move stuff around install stuff onto the rocket.

The most difficult to produce things, like the engine will be delivered.

There will still be a lot of engineers required, but maybe not as much as you would traditionally think.

There is also already a fair amount of heavy industry there so, its not like they are going to some total backwater.
SEC seems almost as bad as the ATF sometimes.
I'm not at all educated on POP/IMAP but I always thought the deletion thing with POP was just by convention and there's nothing in IMAP preventing you from doing the same there.

getmail supports deletion as an IMAP client, for example.
Could be a new API that needs to be supported. I just downloaded another app (NewPipe) that let me specifically choose some new API that made its external storage permissions work.
Thanks for your all your content on TLA+ -- learntla.com was very helpful!
Fish market my butt.
i'm genuinely curious. What is the precise nature of these "Dark Forces" and who are the powers driving them?
Brazil: Lula has convictions quashed, leaving him free to challenge Bolsonaro
Except that when we hear of a for-profit nursing home abusing its residents, we are shocked, and set up an inquiry, and pass some laws about how people need to be treated.

When we hear about how prisoners are treated -- actually we hardly ever hear about how prisoners are treated, because most people don't care that much.

The way society is ok with the treatment of prisoners is the root cause of the way they are treated. Plenty of for-profit enterprises exist that aren't allowed to abuse those they have power over.
It seems that technical interview is a great way to do psychological evaluation. How does this person manage stress and deal with it?
With all due respect, I think part of her issue is she looks at everything from a "sexism" lens. Her first discriminatory comment seems like a sensible thing to tell any new grad.

She complains that the company didn't tell her she was a diversity hire? Doing this seems like a recipe for any diversity hire to always have imposter syndrome.

There's definitely sexism in the tech industry but I'd argue the best way forward is with tact. Coming out guns blaring with accusations and always assuming bad intentions will just alienate people from the cause.

She'd be better served trying to understand where people are coming from and working through specific, addressable issues.
> they will develop higher levels of autonomy in the future

Any bozo can make claims about the future.

And you're a bozo for believing them. Do you believe everything you see in writing?
"Not having access to entertainment is not cruel or unusual"

Do you mean by some legal definition, psychological, or personal opinion?

Personally, I don't see how spending most of your day in a cell without a book or game, for years, wouldn't result in severe psychological damage. Damage that might have consequences for others once you're eventually released.
Sure I could've focused on explicitly the Peninsula like you originally mentioned, but 75% of the Peninsula is living in Redwood City, Palo Alto, Mountain View, Sunnyvale, not the 4 adjacent tiny towns you mentioned + San Mateo.
The worst was when I contacted Google Fi about my Nexus 5x bootlooping, where they wouldn't help me at all until I gave them the verification code from my Fi account. Normally that would be easy, but being on the road with my phone dead was...challenging... and support did not once attempt to show any compassion or willingness to work with me to figure it out.

I've also had a case where my Google-owned phone running Google's OS on Google's phone network wouldn't download my eSim, and it fell outside the Google support script, so they couldn't help me.

I learned two things, one was always have your 2FA backup codes handy, and the other was that Google support is not helpful. I'm no longer a Fi customer and have been slowly pulling all of my subscriptions from them.
A lot of the news coverage of the Netherlands protests has been saying that they aren’t principled people disagreeing with COVID policy, but rather just young and marginalized people enjoying a chance to go wild and engage in vandalism. (Just like the 2005 French car-torchings were only very slightly based on minority grievances, and otherwise just young people going crazy.) Meanwhile, polls show that the Dutch population broadly supports the restrictions. As someone there in the country, do you feel this is inaccurate?

And no, not an American-centric view. QAnon has become a very visible thing in anti-lockdown social media and protests here in Eastern Europe.
Those were all existential civil wars, though. Those wars threatened core territory and were very much in the face of the people involved. Those wars determined the fates of those nations far more than securing one wayward province. And both the ACW and the Vietnam War had its share of war protesters and resisters who were morally opposed or didn't see a reason to get involved.

An aggressive war on Taiwan would couple the conflicted feelings of a fraternal struggle with the civilian comfort of America's Cold War and War on Terror imperial adventures. Would middle class Chinese in the big coastal cities be completely fine with seeing or at least hearing about people pretty much just like them getting bombed across the Strait? Or would they view it as an unnecessary, gratuitous, extravagant, waste of life and treasure?