skysight-inc/HackerNews huggingface dataset:
I find it entertaining that lsd and mushrooms is a no no in the US, while drugs like Ambien that often cause somnambulism are "safe" to treat sleep problems.
There are clearly a couple of people who really care about this internally and push to let it keep these features. I hope that the day when they are drowned out by the rest of the company does not come…
Well your straw-man is completely weak and not relevant the conversation about government tax policy

We are not talking about a "family" but talking about government, that is something very different and it is very dangerous to view government as a "family" in the same way it dangerous to view a corporations or your employer as "family"
What you are describing is not enough, the X server or the X compositor would still need to scale windows up/down if they don't support scaling or if you want to have fractional scaling. It's not something a old-style window manager can do -- There is just no real "Xorg way" on how to do this right now.
They might be referring to an antipsychotic like olanzapine https://pubmed.ncbi.nlm.nih.gov/26216558/
The age old problem of verification vs. validation. Verification is about whether or not you built something right. Validation is about whether or not you built the right thing. This article is about using Z3 to pursue the former, the latter is an entirely different issue.
Yup. Build it, ship it, and spend the majority of the dev time writing integrations that aren't really made any easier by any particular framework.
Don't blame Cobol for the 2 days. Cobol might have old roots, but I'm sure it's many many times faster as all the fancy JavaScript and Python stuff.

It's just because because the Exchanges are lazy and did not care until now.
The Future of Data Engineering, and the Tale of Two Data Warehouses
Good catch, I forgot dividends.

Interesting that the last year performance was so bad - I think that stock market drop back in March and the general volatility / reshuffling since then must have hurt the leveraged strategy.
> Sometimes I wonder if a prerequisite to becoming the kind of civilization that could span a large volume of space is becoming the kind of civilization that has solved the problems that might drive a civilization to need that kind of expansion.

Or we may just discover new risks to avoid. Our ancestors created new villages because the river dried up, we might want other planets due to extinction-level asteroids, and our descendants may need to sidestep The Interstellar Ooze or whatever.
Which, in turn, requires trusting or proving the soundness of your program generator and only proves that your incorrect original program is exactly as incorrect as the model that verifies it.

Automating the stronger proof (that the model is exactly as correct as the original program, and that the model is correct) hasn't been solved in the general case, to the best of my knowledge.
> it was like my mind was used to doing nothing consciously at night

I used to stay late and do school projects at night (mostly programming). I always felt my mind is so calm and with no outside distractions I was able to focus very well and be very productive (may not be objective truth at all though).
I think that's a couple of misunderstandings together.

One is that the only kind of thing to do is work at a job, which is what labor force participation measures. But that's not the case at all, and it's obvious from your second graph. Do you believe that in 1950 ~70% of women were idle, doing nothing? Of course not. They were doing all sort of societally valuable work. It just wasn't in the form of a paid job. And that's my key point here: there is plenty of stuff that needs doing that would make the world better. It's just that a lot of it hasn't been converted into paid jobs that would show up in a graph like this. Just try thinking about all the things wrong with the world and ask whether more people helping with them could make them better.

Secondarily, a decline in the labor force participation rate can have all sorts of causes. The formal definition is "the percentage of the civilian noninstitutional population 16 years and older that is working or actively looking for work." Labor force participation rate for people 16-19 is low. Is that because there's nothing a teen could do? No, it's because they're in school. Labor force participation rate for people over 65 is even lower, ~15%. And over recent decades, we've seen that that segment of the population grow rapidly. So the labor force participation rate has declined significantly because people are living longer and enjoying retirement.

And of course, there's plenty of overlap in the two factors. After my dad retired, he spent a lot of time volunteering at a school. The kids definitely needed the help, but he was unpaid. That's a great example of something for people to do that wasn't counted as part of the labor force. Similarly, my aunts spent a ton of time helping raise their grandkids after they retired. Because of politics and accounting rules, that's not a formal job, but it's absolutely socially valuable labor.
You can get a four year old ICE car with 40K miles for ~$12K, so that’s probably too much to spend on maintaining a much older car (unless you’re sentimental about it).
It is true that mandatory helmet laws do not reduce bike fatalities. It would be difficult to come up with a testable hypothesis as to why that is, so this sort of reasoning is as good as it gets.
Are you in a "no fault" insurance state?

Where I am, you make a police report, and they determine who (legally) is at fault.
Related: See (hear) author Michael Pollan's 2018 Fresh Air interview on NPR about his experiments with mushrooms, LSD and other psychedelics while researching his book, "How to Change Your Mind."

https://www.npr.org/2019/05/24/726085011/reluctant-psychonau...
Those are just two ways to describe the same thing. It is impossible to grant equal privilege to everyone else without dismantling the systems of white privilege which are designed to prevent that from happening, and doing so would by definition remove privilege from white people.
I'm sorry what? I've used Windows 10 scaling and it looks horrible compared to MacOS native 2x HiDPI scaling. The computers are made for HiDPI or not and it looks very natural compared to windows which doesn't scale all elements by the same amount.
It seems like, since these labels are structured, it should be possible for them to really determine the sandboxing. Maybe Apple intends to move in this direction in the future but doesn't want to say it yet - maybe they're happy just having some basic marketing in place about how much they care - but this is definitely how things should be heading. Your label says "data not collected"? Then the SDK will return all-zero for any hardware and vendor ID, use a fixed user agent and no non-standard headers for all HTTP requests, clear caches hyper-frequently, and report every location at Cupertino.
And I'll say the same to anyone who supports BLM, that's my point.
I just picked up some psilocybin and I’m very curious to try it got the first time. My PTSD compounds my depression and fuels my anxiety. Very interested to see where this research goes.
I’ve built an Open Source Django starter template which uses a sinilar stack. It implements the full payment flow, basically ready to be deployed: https://getlaunchr.com/

It’s fairly new, all feedback greatly appreciated.
Came across this today, a panel of economists that believe larger investments would have sped things up considerably, with significant beneficial impact:

https://bfi.uchicago.edu/wp-content/uploads/2021/01/BFI_WP_2...

(summary is in a table on page 6)
>psychosis is a thing

Looking through Google scholar + personal experience I don't see evidence that this is an issue for non-schizophrenics.
I believe in the concept of free speech, but I’ve said it before: free speech is the right to speak without going to jail, and that’s the extent of it. It doesn’t mean the right to be heard, or the right to speak without other consequences. And this is a clear cut case where the supposed right to be heard is profoundly damaging to the targeted individuals and to society as a whole.

So why don’t we apply the same standard to speech which targets larger groups? Why is it OK for platforms to publish the 30K lies [0] made by the former US president - for the profit of both the platform and the politician - but not ok for these horrid shame sites to exist? Why is it OK for Google to redirect these people and sites to /dev/null, but not for Twitter or Facebook to do the same?

Anyone who is upset by this article needs to understand that the only difference between the vengeance nutbags and lying politicians is the scale of the damage they can cause.

It’s got to stop.

[0] https://en.m.wikipedia.org/wiki/Veracity_of_statements_by_Do...
So we went from heavily left to middle of the road for a few decades to back to left? Sounds like reversion to normal state of affairs.
This may apply to equipment and even buildings to a certain extent, but qualified nurses are not something you can just purchase off the shelf like a new rack of servers when demand is high. This applies doubly so for intensive care, which even regular (i.e. non-ICU) nurses are not qualified for without prior training. Where are those people going to come from when demand peaks?
In a democratic country, if you want to change policy you need to get elected. If you are a civil servant, you can advise but if the elected decision makers decide otherwise you either execute the orders or you resign. Allowing someone who refused to execute legal orders and who publicly expressed dissent to be transferred in this situation is actually recognition that healthy debate is good and speaking out in a democracy should not be punished, particular when the dissenter is an otherwise extremely competent individual working in the best interests of the country. It's certainly not something an authoritarian would do. However, elections have consequences. In the elections in question, twice, a majority of the supposedly oppressed group, Indian Muslims, has voted for the current government. Unless of course you believe that female Muslims or those male Muslims who want to live in the 21st century shouldn't count.

The Supreme Court determined that as a general matter communications should not be restricted and that any ordinance to restrict communications needed to be on the basis of a determination that restrictions were needed that was reaffirmed periodically. The Supreme Court could have required the government to restore mobile access to Kashmir as of a specific date and the government would have been compelled to do so. They didn't, because the Supreme Court of India like most of the silent majority in India understands that a citizen's rights only exist so long as the State itself exists. All rights can be suspended in an emergency. A bill of rights is not a suicide pact.

The restrictions are not a restriction on any individual or group. They are a restriction on a geographic area. The majority of state citizens of Kashmir, certainly a majority of the residents and descendants of residents of Kashmir in the 1970s, today resides outside Kashmir. Most left due to terrorism. There are no restrictions on them, no matter their religion or political beliefs. Remember, there are areas in the US where no radio transmissions are allowed[1]. If you reside in Kashmir today, you are free to travel outside the state. If you do travel outside, you can use your mobile phone to your heart's content. If you aren't a resident of Kashmir and you travel to Kashmir, no matter your religion, ethnicity or other grouping, you can't use a mobile phone while there.

[1] https://en.wikipedia.org/wiki/United_States_National_Radio_Q...
It's own platform?

They're monopolies. They are the market.

There is nothing free about a moderated market.

Robin hood investors disliked a move by management and voted with their feet to place one star reviews.

Google removed them all.

You can but ma private companies if you want but you're only pointing out how monopolistic these platforms are. Good luck with antitrust Google. You gonna get fucked over a barrel. People are waking up.
My car is currently 8 years and 150k miles with no issues. There was some leaks to fix, but nothing significant, only $300 for the entire work. I have a truck that is now 22 years old and also 150k miles, but it is a diesel and so you will probably say it doesn't count. My last car (sold only because my job let me take the bus) was at 260k miles and no issues (though I did change the timing belt on schedule).

Modern cars will generally last at least 300k miles today with few problems. When the finally die it is because the body is shot - something that has nothing to do with the power train. (I live in an area where winter means a lot of salt on the roads, my friends in warmer areas report cars lasting even longer).

Of course I probably shouldn't say this. People like you who trade in their almost new cars all the time because they are afraid they are a money pit keep people like me in nice cars for not much money.
Plus dual motor electric cars (most Teslas) can run on one motor. So in the unlikely event one of your motors fails you can still limp home without worry about blowing your head gaskets.
> That's not what is commonly understood as access to the input system.

Then most apps have no need to have access to the input system.

> So long you be willing to live with a walled garden environment where one's text editor either can't edit the files on one's system any more, or is given sufficient permissions to circumvent all of this regardless.

Sandboxing does not mean the OS cannot extend the sandbox on demand in response to user consent.

> You should `strace` a browser and be surprised that it constantly needs to read and write files from all over the system.

These should be enumerable.

> I would also be rather annoyed with a browser that can only save files in one folder rather than wherever it please me.

See above for sandbox extensions.
Spiders and inability to scale things is one of the most common types of hallucination that is common to all paychedelics.
No it’s not — it’s pointing out that those arguments fail when looking at existing systems, and would trivially deny things that we know we want. A slippery slope would be that the reasoning lends itself to more extreme reasoning down the line. You don’t need to bother with that here, we’re already arguing from the bottom of the slope.

This simply argues that they’re special-casing against non-established systems — if you applied it uniformly, you’d trivially lose things you obviously want to keep.

That is, this is a stupid operation that is at best sponsored by “think of the children!” Mothers Against Everything foundation.
There is a consistent trend. modi Govt pushed policies written by crony capitalists ambani adani. wenever the govt sees any public dissent they shut down internet and meanwhile push misinformation campaign on ambani owned TV channels. Half bake distorted news of the level no western democracy can even imagine. Mukesh Ambani directly or indirectly controls almost whole mainstream media who is modi main financier. Farmer protest is genuine, peaceful and succeeding so they shut down internet in state of haryana and at the protest sites. If some journalists tried to reveal truth, he is being jailed. Just like happened to mandeep punia today. The violence on 26th Jan was orchestrated with direct support from Indias home minister using delhi police and Trojan moles in the farmers, which farmers leaders have already declared to be working by conniving with modi govt.
- California used as example due to high EV adoption
- Here is a link containing the UK's daily load factor https://gridwatch.co.uk/ Its quite flat.
But if he admitted τέχνη goes back more than 50 years then Ben would need to engage some actual STS instead of just projecting current investment trends! He might even need enough object permanence to understand things existed before he was born!
On the contrary - a project, which ignores how the majority of their potential user base installs software is entitled and arrogant. I don't like Homebrew, but it is de facto the standard way of installing software on macOS.
So I didn’t want to give the company name because it’s just an anecdote, but it’s from a company that is usually in the top off people’s minds when asked about car manufacturers who are synonymous with quality.

I don’t think the Sprinter vs Transit example is a very illustrative one. Personally, I’d rather have a used Ford or Dodge simply because the life cycle cost of a Sprinter is insane where I live due to maintenance costs. They have similar base prices new but with any features the Sprinter quickly outpaces (ha) a similar American van in initial cost as well. I don’t think they are apples to apples.

It didn’t work for the Big Three because at the time, Japanese were trying to differentiate themselves and they did it on the quality front. I tend to think it was more about complacency than planned obsolescence.

I think people generally look at mechanical and electronics very differently. People often look at simplicity in mechanical designs as a feature, where I think the opposite is true in electronics. I’m skeptical that people will be buying EVs expecting to drive the same one for 30 years, but we’ll see.
Performance is rarely the issue, at least for us. The problem is, when the algorithms don’t work, then what?

A batch size of 1 != an average of larger batch sizes. It’s why the BigGAN paper reports “bigger batches = better FID.”

This proposal gives the advantage of a small batch size (and there are advantages) without sacrificing the option of large batches.
I think psychopaths and sociopaths are pretty evenly distributed across the economic and career choice spectrums.
That was only in July and only due to the high AC required. Are you planning on recharging only 1 month of the year? How good are your batteries and where can i get them?
Based on the light levels we see 20 miles south of you, coming from SF, I wouldn't be surprised if you can't really see the Milky Way much. Come on down to the Galisteo Basin Preserve some night and see how it looks from there. Or, since I'm guessing you're at LANL, maybe just stay at the lab late one night :)
Decades? Next actual long term recession? Hard to say, how long did housing market keep going up?
Gell-Mann Amnesia effect.

https://www.goodreads.com/quotes/65213-briefly-stated-the-ge...

What Mass Media calls facts are more often wrong than right, even without any political bias. When political bias are factored in, so called "facts" are complete opposite of what they are.
LOL! "Disappointed", Nice, Justin. :)

Those other ones are Information events however, not Warning events. ESE (as part of being "embeddable") has a couple of logging level controls (JET_paramEventLoggingLevel, and JET_paramNoInformationEvent). Each component is responsible for setting it's event logging level, the ESE default is ... let me call it, "fully diagnosable mode" (for us, not you ;).

Anyways, all events start like this:
"svchost (48984,R,98) TILEREPOSITORYS-1-5-18 .."
... the service exe name at beginning, and the "instance" name there at the end. If you get me a few of the noisier components, I will try to find the Windows component owners and suggest to them that they set the logging level higher.

Thank You,
Brett Shirley [MSFT]
Pretty sure Ben read history at Cambridge and is aware of the past.
Before the World Wide Web and Stack Overflow, we used plenty of Reference Books and specific UseNet newsgroups.

Yes, it was a slower system, but it was just as good in the final result.
Find this book and read it:
https://muller.lbl.gov/teaching/Physics10/PffP.html
You don't always have control over your input sources, and you may not be responsible for the output format. As I posted elsewhere in this thread, my consumer desktop pc has a 10Gb network card, and has an SSD with a read speed of over 5x that, and 2TB capacity. If my data source is ascii formatted floats and I have to work with that, then I have to work with that.
I honestly don't mind "look at this cool related thing I built" comments, especially if it's free and open source and something I can learn from.
True.

The most probable reality is that neither the bulls, nor the bears, have any clue what will come in China. They probably make less money if they admit that though. "There's too many variables to be certain." Probably sells less than, "The Secret to the Future of China!" So they have to go one way or the other to justify their paychecks maybe?
A funny and classic introduction to love, fur coats and logical fallacies.
https://www.filozofia.bme.hu/sites/default/files/love_is_a_f...
There are diminishing returns here.

If you want to play mobas or competitive FPS the actual amount of grunt required is going to be flat.

If you want to play the latest assassin's creed then it's harder to do, but still, assassin's creed Odyssey on a 1070 is still stunningly good and gets decent frames - the requirements will always increase but the amount of power required to get a certain fidelity shouldn't be too bad.
First time I see Z3 in the wild. Bonus points for the CLI friendly model checker, but lisp syntax... is less legible than TLA+ imho. Gotta give it a try someday to see for myself if the experience of creating the spec is better.
This did not work between 2000-2003. Companies whose share prices went up 10x still want away.

The GME rally amazingly even exceeds the biggest bubbles of 1997-2000 in %-change and volume.
If you look carefully enough at the implications of our situation through the lens of the 2nd law of thermodynamics,
the Fermi paradox becomes a lot less paradoxical.

Edit: Apparently I have violated a HN taboo in even daring to mention that bothersome little law.

Understanding it and its implications and applying that knowledge to our IRL situation on earth might not be fun, however IS fundamental to making plausible statements about perpetual motion and related topics (i.e."von Neumann probes.")

Now, all that remains to be seen, this being HN, is:
Will this comment be downvoted into oblivion without a good reason being proferred?
> The value of a shiny new Veyron. Once it’s driven off the dealership premises, its value begins a free fall to the ground

Generally true of mass produced cars, very often not true of small production run, high-priced supercars, which often do the opposite.

Including Veyron:

https://www.hotcars.com/bugatti-veyron-has-actually-increase...

But, even @ $300K instead of $2-3 Million, that’s still a huge multiple of the mandatory liability coverage in most jurisdictions, so carrying only the mandatory minimum wouldn’t do much for you if you cause one to be totalled.
I think I'm going to sign up for one of these, or just start trying things (I heard ketamine is also effective) in March.

I've had severe clinical depression on and off for 12 years now. I've had all the SSRIs, none worked. I've tried the SNRIs and they worked a bit 8 years ago, but aren't working at all now. I started lithium a week ago, that's not having much effect so far (dose should be reviewed next week). I think the latest term in the US is Major Mood Disorder.

Only around 30% of people with depression ever find an antidepressant that works for them. So for all the SSRIs, SNRIs, Tricyclics and other, the SUM effectiveness is 30%.

There's really very little left on the menu and I have no expectation it will work.

So, anyone got any experience with self treatment?
Or... is it possible that we are not supposed to meet the "others?

Consider:
If you wanted to build a "terrarium" for sentient evolving life forms how would you keep them from escaping?

1. Make the distances really really big
2. Put a speed limit in the environment

Rolled up with the Fermi paradox this simulation has "smelled fishy" to me for some time. :)
Let me ask another question,

how do we evaluate the accuracy of a model?

Thank you for your time.