skysight-inc/HackerNews huggingface dataset:
Meanwhile, the earth burns in the background. Bad to worse for next few decades.
A great paper on this topic:

D. J. Pearce, “Sound and Complete Flow Typing with Unions, Intersections and Negations,” in Verification, Model Checking, and Abstract Interpretation, vol. 7737, R. Giacobazzi, J. Berdine, and I. Mastroeni, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 335–354. doi: 10.1007/978-3-642-35873-9_21.

https://ecs.wgtn.ac.nz/foswiki/pub/Main/TechnicalReportSerie...
SSRIs are speculated to work via activation and downregulation of certain serotonin receptors, in particular 5HT1A, an autoreceptor responsible for regulating release of other neurotransmitters in the brain. Buspirone acts directly on 5HT1A as an agonist, I believe, which is more direct than the shotgun approach of SSRIs. In theory, activation of 5HT1A and its downregulation can help with depression and anxiety. Buspirone also blocks some dopamine receptors, but not any that are associated with dopamine blockade from antipsychotics, so their serious dopamine-related side effects aren't something to worry about, but the blocking might also contribute to anxiolytic effects.

Newer SSRI-like drugs that block the serotonin transporter and activate 5HT1A also exist, combining the actions of both drugs.

It typically takes serotonin receptors about two weeks to downregulate, and possibly even months to see any effects on depression and anxiety. Buspirone is not like benzodiazepines that work pretty much instantly, but it doesn't come with any of the risks benzodiazepines do.
For performance anxiety, try asking a doctor for propranolol.

Propranolol blocks the physical symptoms of anxiety. It stops your hear rate and blood pressure from rising. It stops those uncomfortable adrenaline rushes. It stops stress-induced trembling / shaking.

It's completely safe, any doctor will happily prescribe it, it's not addicting, and unlike benzos, it doesn't affect your cognition.
Saifedean Ammous on his recent Lex Fridman appearance talked quite a bit about "Time Preference", and how it shifted once we got off a gold standard. I agree with the basic premise that since we can't reliably save for the future, long term thinking gets discouraged. We've reached the point where only the very wealthy can think practically in terms of passing things off to future generations.
The CIA gave stinger missiles to the Taliban when the Soviets were in Afghanistan.
The Russians gave military hardware to the North Vietnamese when the USA was there.

Arming your enemy's enemy is nothing new.
Drones are effective, but nothing is ever cheap on the battlefield. While the warhead that ultimately kills the target is often cheap, the real cost comes from the system that picks the right target and delivers the warhead there at the right time.

Cheap commercial drones have a short range. In order to use them effectively on the battlefield, each drone needs an operator, who must also be on the battlefield. Those operators then need other people for watching their backs, coordinating their actions, and handling the logistics. Those 1000 cheap simultaneously launched drones are now an entire brigade on the battlefield, which is definitely not cheap.
P8 Every body whatsoever has an infinite number of parts.

P3 Infinite power is an original capacity to move the infinite.

So anything moving anything has infinite power, in which case everything moving something has infinite power?

LE: I re-read the P3 premise: only movers that aren't moved themselves have infinite power. All movers that have bodies are moved themselves (P6), so they don't have infinite power.
Last year and this year we watched it on the Peacock app (casted to TV), which I hadn't even known existed before looking for a way to watch Eurovision. Last year it was free to watch, but this year I had to sign up for a subscription ($5) to watch it... which I immediately canceled after it was over.
People really are bad at DIY medical care... if only we could found a profession dedicated to doing it for them...

I propose we call them, "Doctors," from the Latin word for "teacher," by reference to their role in instructing patients on the things they need to know about their health.
People have made DIY waterjet cutters with pressure washers and a sand feeder: https://www.youtube.com/watch?v=Lg__B6Ca3jc
UK "normally" has zero points? Not according to this table: https://eurovisionworld.com/eurovision/united-kingdom
"Outside of DWA, WDAS and Pixar, the majority of animation and VFX work for feature and TV has moved to Canada or Australia."

This is the 'glib' bit - I don't believe for a second that there are more animation jobs in Canada, even outside the big studios.

The US is 10x bigger, and, they have a lot of industry here.

Again: More jobs per capita? Even 'way more'? Entirely reasonable. But 'more jobs than the US' - or notably: 'the focal point of the industry' - definitely not.

It's important to recognize Canada is not 'leading' here so much as 'providing labour' - i.e. 'white collar auto assembly'.

If Canada was producing, financing, exporting creative work, then it would be another kind of story.
So, did the makeup guy get paid?
Reason never found a regulation they didn’t hate or cast as the root cause for a complex problem. The Kochs created it specifically to promote that point of view.
NSA Cyber Director Says ‘No Backdoor’ for Spies in New Encryption Scheme
As a child I absolutely loved chuckie cheese tokens! The entire crypto bubble makes so much sense now!
Honestly if it's not happened for you in 10 years, it won't happen now.

You can't change who you are.
"And those benefits to dieting are very much "potential". Study after study has shown that diets don't work in the long term; people usually gain the weight back."

I'm sorry, but this is misleading BS. Studies have found that diets don't work for most people cause most people just suck at sticking to diets, not because CICO is somehow fundamentally flawed. To imply the second is dishonest.

It would be like saying that suggesting people to work out to get in shape is useless cause studies have found that most people don't stick to exercise plans.

"Leave fat people the fuck alone about their diets."

Unfortunately we can't. Cause obesity is a real public health crisis and diets is why. That's not to say that we should encourage fat shaming. But we need to be honest and not coddle people
Aha!

So the shape is such that all parts of the cone converge at the center, so the full energy of the explosive is focused in that thin column.
I think the post is more about what Oak can do as a proof language. Obviously, anyone can pick apart the argument.
I think the distinction lies in God being that which cannot be moved, having infinite power is not enough to be God.
Funny! Right in my back yard
Maybe because a sedentary lifestyle can hurt mental health, and the more internet one uses, the more it tends to be a sedentary person?
Does anyone have access to the article? I'm curious what the relative dose was.
You can't. And I literally switched to Android specifically because of this reason.

Now I use youtube vanced, and as a bonus it includes sponsorblock that saves me a ton of time while I watch videos. It also plays videos while phone is locked, useful during jogs and working out.
Well, did you ever try calling? Because their call center is open late, weekends and resolved any issue I had with my advisor (i.e. an appraisal being late, clarification on cash out refinance as it was my first time doing it)

American Express ran (and still running) a $1000 credit if you used Better.com. Better.com also did not have a clawbaxk clause if you refinanced within 6 months (typical of most loan originators).

They also offered me a waiver on the appraisal while my local bank wanted like $500.

Like I said, there's a reason the churn community leveraged Better.com
It's still on the low side for engineers in a MCOL area.

55k was my best year. Usually I make under 25k.
It's pretty obnoxious how pharmacies and especially pharmacists have this kind of discretion. Just put my pills in the bottle, dude.

I got turned down for filling an Adderall prescription at a CVS because the pharmacist didn't like that I was paying in cash (credit card) as an uninsured uni student. Didn't offer to call my doctor's office to confirm the script. Just said oh, I don't like that you're paying in cash so I'm not going to fill this :).

I fortunately get 90-day prescriptions (how long will that last?) and every time I refill, I have anxiety throughout the whole process (the checkup, the pharmacy) until I have pills in hand. Every time I feel like it's going to be the day I somehow have to jump through more hoops like my friend who has to have his pills counted every two weeks for his painkillers.
The velocity of the jet is typically around 10 km/s. There is enough pressure to get trough.
I’ve been on Xanax on two occasions for very short periods of time to handle some acute anxiety issues and I can see why they are so addictive. At least at first, they are so clearly and massively effective.

My doctor very thankfully instilled a level of fear and skepticism in me from day one when he prescribed them, explaining that while they were a viable option for me in the moment, the effect begins permanently wearing off very quickly. They got me through some stuff but I was happy to stop taking them and hope I never am at the point where I need to consider them again having heard where it so often goes for people.
Gloria Parker, Maestra of the Musical Glasses, Dies at 100
I know someone that has been abusing benzos for more than forty years. In hindsight, the weird thing is she's still somehow functional, at least in Twitter. But of course: needs four or five pills to sleep four hours a day, paranoia, migraines and dissociative behaviour.
That is also possible in Prometheus, which is why I made the comparison.
A plumbing company, Benjamin Franklin Plumbing, used to have this in one of the toll-free area codes. (They May still.) Never made sense to me, what did Franklin know about plumbing? Benjamin Franklin Electricians would make more sense.
I think it’s dangerous to say you should never take benzos. People and their mental states are different.

For people with anxiety and panic attacks, benzo’s are literal lifesavers.
Restoring Window Positions in Gnome After Switching Monitor Inputs
I mean, a lot if not most drugs are addictive - if not physically, then mentally. It's all down to whether it helps you more than it harms you.

Hell, I can make the same argument about exercise - is it worth the risk of physical injury, something that most people don't even consider? I'd say yes, the beneficial effects outweigh the negative ones.

I've used gabapentinoids (and am using a gabaergic right now) to great positive effects. The downsides are there but they are minor. On that note, I have been using alphaPVP for ADHD management and am happy to report it is nowhere near as scary as the media makes it out to be. A shorter lasting version of methylphenidate, basically, and better than cocaine for the purpose.

Gabapentin and pregabalin withdrawal can be scary at first, but once you know the effects and learn to taper off, they're rather harmless. In fact, the biggest danger is in not being able to buy them because the medical system won't allow it, leaving you to quit cold turkey. Second biggest danger is from the police (illegal to possess without a prescription).

I have not tried any benzodiazepines or phenibut, but I'd bet they can be managed pretty well.
So we're doing random blogspam now?
Prometheus is adding sparse histograms. There's a couple of online talks about it already but one of the maintainers, Ganesh, is giving a talk at kubecon on it next week off anyone is attending and curious about it.
I have 0 experience with theorem provers (and almost 0 with proofs in general) but am at least somewhat aware of their existence. This might be the first time I feel like I can actually follow the code. Might start learning Oak because of this post, so thanks!
People like me who are obese(I'm Obese III) can't control the urge to keep intake food, which is a death spiral loop(we know!).

I suspect that this is partially influenced by gut bacteria, which sounds like pointing fingers to blame something instead of not enough "self-esteem".

It's more of multiple factors in motion, while the effects apart from self determination are heavily downplayed.

I'm currently trying to shake down some of my weight, but as soon as I started consume less, my mind gets fuzzy and work will not get done. And my blood sugar gets dangerously low. Counterintuitive I know, heh.

I hope for that one day I'll break the vicious cycle.
My favorite scene is the one where the Cray supercomputer inexplicably had the Windows 3.1 GUI.
> profit from it!

Empathy for other humans guides us to not take advantage of others for our own benefit. People's lives are getting ruined by this stuff, and even if they are shortsighted or gullible, they are still people who we should care about.
It would be funny if someone issues a stable coin for usd and then turns around and levers up on treasuries. And then interest rates go up and they get margin called on their treasuries position by their bank, oops !
My guess the main cause is the change of business model brought by eCommerce, especially WeChat. WeChat really makes it extremely easy for everyone to open a business and get paid. There are also other popular eCommerce platforms in China like TaoBao/Tmall , Pinduoduo, JD, DouYing (TikTok), etc.
I would love for someone to listen to me.
> People are really bad at handling their own medical care.

Of course they are, that's why they seek professional help from people who have spent years studying medicine and who can presumably be trusted to understand the intricacies of the issues involved.

People are bad at handling their own auto repairs, that's why we have mechanics. They're bad at handling their own legal issues, that's why we have lawyers. Etc etc etc

It seems pretty harsh to react so flippantly to someone facing negative consequences to the advice given to them professionals. It's nothing other than victim blaming in my view.
Have you ever wondered why the FAANG companies are all American? Why Elon Musk left South Africa to come to America? Why millions of people are trying to get over the border into the US?
A common sentiment when viewing something like this is "wow, they were far more sophisticated then we imagined," but it's taken me a while to think instead "we're not much more sophisticated than them.

The Clickspring guy isn't just making this replica, he's doing so using materials and tools available at the time. Several videos show him just making tools: taking simple iron and fashioning a tool like a chisel, then case hardening it and using it to make a file out of the same iron, then case hardening that so he can make drill bits. He comments several times that the quality of the basic tools, simply made, is so good that he'll continue using them sometimes in preference to buying more expensive versions.

The real point of reflection shouldn't be "we thought they were so dumb," it's "we think we're so smart."
Also even if you ignore the technical problems with electronic voting (which are numerous): electronic voting systems are incredibly vulnerable to disinformation campaigns. With paper voting (at least in germany), anyone can attend and help the count. The system is transparent, open and very easy to understand. That doesn't make it immune to manipulation, but it is the closest we got so far.

With electronic voting, only one category of people even has the ability to understand the system, so "the average citizen" can only ever rely on "experts". And let's be honest, even for individual programmers and computer scientists it would take a large amount of effort to investigate.
Get some news going that the system is flawed and you can't tell anyone to just go and check and verify for themselves, and we all know it's not hard to find "experts" that will gladly support that claim, even if it isn't true.
Forget ‘blown away’, get a load of these three guys and Big Jay McNeely: https://i.imgur.com/iUQ6hHO.jpeg
Why don't we stockpile it, though, like other critical items like petroleum and medicines, for temporary shorateg relief? Surely that's a government failure.
don't forget buspirone!
Same here. Occasional clonazepam use for panic attacks which are secondary to post-traumatic stress disorder.

Never even the tiniest sign of dependence. Sometimes I go months between uses.

I am also a chronic pain patient and I worry that benzos are going to get the opioid treatment.

There was a period in the mid to late 2010s where patients who depended on opioids for any sort of quality of life were taken off of their medication without any sort of alternative. It’s something that people love to gloss over when they talk about the opioid crisis, but if you knew someone personally who went through that, you know that we collectively subjected those people to torture.
Another part of my experience is learning to differentiate feelings. I know what you are talking about, and I've felt that too.

It's hard to talk about this without getting circular.

Primary Loop: Hunger -> Eat -> Time -> Hunger -> Eat (loop)

Secondary Loop: Weight Gain -> Notice Weight -> Diet -> Gain (loop)

I don't have a conclusion to this, I'm still trying to figure it out.

In the primary loop hunger keeps you alive.

When you get hungry and eat and feel satisfied, that operates on multiple systems in the brain and body. There are lots of hormones that are flowing and telling body systems to do things and also telling your consciousness what your condition is.

I'm not prepared to talk about the psychology in depth, but I do know that it feels very un-natural to be in a calorie deficit. I know that having low blood sugar makes it very hard for me to think. At times it's felt like my body is telling me I'm going to die and it's been very hard to ignore that feeling.
Bad ass.

Momentum trumps substance.
Report to Congress on Constellation-Class Frigate Program (FFG-62)
Dokku is amazing.

The single point of failure though, is something people worry too much about. If you are serious about what you host, you do need to have another host ready to go.

Majority of workloads can be down for a few hours without customers worrying anyway.

We actually use it for hosting quite large workloads, but we do have a few bar e metal hosts we manually provision different services across. At a moment's notice we can quickly push the app to a different server and would be down for a few tens of minutes at most, minutes normally.

I just don't get the expense of Heroku just because your (in reality) non-essential workload can't be down for a few seconds.
Yes, definitely a quick and dirty benchmark (I did test after I posted to see if initializing a does anything; it didn't). Timings for J below, since I think it's the most focused on linear algebra. The remarkable thing about the K code from the article is that it's all made from totally general-purpose pieces that have nothing to do with matrix products, and K interpreters don't have any clue what a matrix product is. In J the matrix product is written +/ .* with the generalized dot product operator . (which does need the preceding space, oof) and handled by specialized code. Given that, I found this measurement a little disappointing: about as fast as my C code in the 100x100 case and slightly faster in the 200x200 case.

a =: ?100 100$0
<.1e6 * 1000 (6!:2) '+/ .*~ a'
269
a =: ?200 200$0
<.1e6 * 1000 (6!:2) '+/ .*~ a'
1796
This is why I take dogecoin more seriously than most coins out there. Most coins have some built in deflation as a scheme to make money, such as Bitcoin's limited number of coins or Ethereum's burn mechanism. If you want people to spend money, you can't have hoarding it be the most incentivized means of using it. Dogecoin has a ~3% long term inflation, which is pretty inline with real world currencies.
The younger guy in this clip actually ended up retiring because he got brain damage in a contraption he designed for this show.

https://www.bbc.com/news/uk-58762935
Hopefully they didn’t buy too many 30 year treasuries to back those tethers. I mean bonds have lost some value as interest rates have risen.
The show was called bang goes the theory.
I don’t know if these figures are typical, but if not, they could, in turn, mean there’s unusually high demand to turn USDT into “real”(er) dollars, which would indicate collapsing faith in Tether.

FWIW, on Thursday I saw Tether (USDT) following the same pattern as TerraUSD: a small but persistent discount agains the dollar. I then sold/closed all my Tether longs. Not investment advice, DYOR.
Fantastic! Thanks, man.
A bit of a nervous twitch perhaps.
I guess it comes down do your preference, it's just a GUI for Docker you can do the same Docker commands and container manipulation with or without it.
The movie is about the way that little girls grow up in the society that we all actually live in. If you're not interested in seeing honest representations of the the world you inhabit, no one's forcing you to look, but don't think your decision to close your eyes has anything to do with protecting little girls.
Reminder that the KDE Connect app also works with the Gnome Shell version GSConnect https://extensions.gnome.org/extension/1319/gsconnect/
I agree that there is something uncanny about this site. I can't tell if I am looking at something genius, like someone describing something real but beyond the limits of my own imagination. Or if I am looking at the work of someone who has gone too far down the rabbit hole.
How about a simpler mantra: whenever possible, don’t be an asshole. Whenever possible, don’t work for one.
I think the best years are over for Netflix.

The hard awakening is here to make content that the users want and they are a movie/tv content company, not a „tech company“.

Their Engineering Blog is great, some really great projects, but sometimes and even more and more there are projects that left me asking: „Why so complicated“

At scale everything is a problem, but some „solutions“ seem „well we have staff, money and time for nice funny stuff“ vibe.

Like inventing batch jobs, but more complicated
Real world currency's value comes from an entire nation requiring it be usable for debt. That's an incredibly value thing to have. Cryptocurrencies have no such backing, and rely entirely on speculation for value.
Joking aside, if I’m seeing more than one of these hypothetical professions, someone needs to coordinate my care. For myself, I trust me to keep everyone informed. Anyone else wouldn’t have the same incentive to do a good job. After all, I’m the one that suffers the consequences if there’s a mistake. :)
I don't think it's just genetics, or genetics are rapidly changing in the last 100 years.

Personally I think it's some combination of gut biome, all than not messed up childhood eating habits (I've been taught to eat till stuffed, not so great in combination with my next point) , and way too calorie heavy (processed) food (it's not a challenge to find food where a quarter package is a healthy amount, way more challenging to find food where they food for a full package) not too mention it's made to keep you eating (so more is sold, sigh) . I'm always surprised people claiming not to have cravings whatever (even when the stuff is put in front of them), or be satiated by eating what for me is half a meal (even when I maintained a normal weight) .

Regardless eat less and try harder are hard to keep up, for me personally protein doesn't help to satiate me either. Part of it is that (for me) it's much easier to get into a habit to eat too much than to keep up the habit of eating just enough (I dare say 2+ years of keeping it low is a habit, but now for 3 wars annually 5kg was added: next try keto, hope it works as well as advertised)