skysight-inc/HackerNews huggingface dataset:
The risk of myocarditis is 11 times higher for unvaccinated individuals getting COVID than it is for people receiving the vaccine[0]:

“In a detailed analysis of nearly 43 million people, the risk of myocarditis in unvaccinated individuals after COVID-19 infection was at least 11 times higher compared to people who developed myocarditis after receiving a COVID-19 vaccine or booster dose, according to new research published today in the American Heart Association’s flagship, peer-reviewed journal Circulation. This analysis included data from England’s National Immunization database for people ages 13 and older who received at least one dose of a COVID-19 vaccine between December 1, 2020 and December 15, 2021 in England.”

0: https://newsroom.heart.org/news/myocarditis-risk-significant...
The problem is if you assume a resolution is possible, and it can be shown to work, that is science. When people say "Science can't solve problem X" what they are saying is either "Problem X is unsolvable" or "X isn't really a problem". Science by definition is a a self-updating system that accepts new information based on what works.
Your mistake is thinking that abuse reports you send can truly measurably reduce abuse.

It’s not true! Any IP address you see in your logs has almost certainly already had a ton of automated abuse reports sent about it.
Ah sorry I did not get the "size 140" reference, it's in a sizing format I'm not familiar with!

As a former-kid who had his own dreams (Scotland winning the World Cup) which have had to be progressively scaled back as I grew up (Scotland qualifying for the World Cup) I sympathise, and I hope your Arsenal pal gets to see the tournament they dream of :)
Oh what a tasty bit of propagandistic argumentation that is.

The reaction : everybody with a pension, or expecting a pension, fearful of losing their nestegg, rallys to defend the high taxes. And wailing fills the air, obscuring further discussion.
I think that's the opposite of what's implied here. They're implying CDC is being infiltrated by the people is is supposed to be regulating. In your example, the troops were not being infiltrated by journalists to circumvent the armies control over journalists.
Person with gobs of money has no problem raising money. I suspect EM is merely the latest example of this. I’m sure warren buffet or bill gates or whomever can attract massive piles of money right now. Only demonstrating a loss will break the spell and it might take more than one screwup.
This is hacker news not Facebook. If you want to argue politics go there.
worked so well cloudflare came into existence and nigh-obsoleted it
There's a transition zone from "fast" to "slow" fluctuations around the mean waiting time that's more complicated and is an area of active research. If the fluctuations are 5x below the mean waiting time, I'd guess the effects of fluctuation will be gone.

Here's a recent paper on the topic, if you're interested in the cutting edge research: http://www.cs.cmu.edu/afs/cs.cmu.edu/user/harchol/www/Papers...

Thanks, I'm glad to hear you liked the Nudge result!
There are certain guarantees you want such a formal specification to give, like for example not getting permanently stuck in some state as with the present bug. You can formalize the proofs for those guarantees and have their correctness machine-checked. Something like TLA+/PlusCal is likely suitable for that.

A formal specification is less ambiguous than a prose specification. Formalizing the TCP specification will, if anything, expose aspects where the specification is unclear, or corner cases where the specification actually leads to unwanted behavior and doesn’t provide the desired guarantees.

So, while you can’t prove that the formal specification matches the prose specification a 100%, you can prove that it provides all the guarantees the original prose specification was aiming for (once you’ve formalized those desired guarantees), which is something you can’t do for the prose specification.
I suspect your post is sarcasm, but you didn't include any markers and I've seen this argument in earnest enough times that I can't just assume it is sarcasm.
The cost to climate change for not hurrying can be considerable. The question is whether going faster is really "rushed", or if the delay is actually unnecessary. Most signs point to the latter.
Masking seems like a normal way to prevent respitory diseases. It is still advised if someone wants full protection.
Please see https://en.wikipedia.org/wiki/Source-to-source_compiler to see the usual definition of transpiling, and how it is different from compiling and cross compiling (mentioned under "not to be confused with").
Prisons: Reform – Or Abolish?
It's not computation in a traditional sense, but it's programming of a kind.
And I think that, sadly, it's not even a full solution, because linux can manage to get thrashing even without swap. It pages in and out things like memory mapped files or the content of executables of stopped processes. See for instance:
https://serverfault.com/questions/898388/how-to-prevent-kern...
You can configure earlyoom to tell it which binaries to preferentially kill.
Love deep dive troubleshooting like this. I haven't heard of systemtap before; looks nice. When I had to troubleshoot a kernel bug [1] I used perf [2] probes which are also really nice for this kind of debugging.

[1] https://www.spinics.net/lists/xdp-newbies/msg01231.html

[2] https://www.brendangregg.com/perf.html
Put a rubber band on the claws. Like they do in the tanks at red lobster.
> It is very surprising in that context that Governments haven't pushed harder to secure their energy security more aggressively.

Some governments have, to the tune of millions of dead people in the middle east. Sometimes aggression is misdirected.
> The state would not allow him to have his say, to raise constitutional issues

I could just quote thwayunion's comments on not being allowed to re-litigate issues that were already decided on in an attempt to derail the damages phase of the trial, but Jones already attempted to argue that what he was doing was protected speech. (In fact, I wasn't even going to respond until I remembered his TCPA motions where he tried just that.)

In De La Rosa v. Alex Jones et al, (D-1-GN-18-001842, 345th District Court of Travis County, Texas), Infowars filed an anti-SLAPP motion, which is implemented in Texas under the Texas Citizens Participation Act (TCPA). From [0]:

> "The [TCPA] protects citizens who petition or speak on matters of public concern from retaliatory lawsuits that seek to intimidate or silence them." In re Lipsky, 460 S.W.3d 579, 584 (Tex. 2015) (orig. proceeding). The protection comes in the form of a motion to dismiss a suit that would stifle the defendants' exercise of those rights.

In the anti-SLAPP motion, Jones' attorneys argued the case on its merits - that is, at this point in the trial, they weren't attempting to delay and obstruct by any means necessary, they were actually cooperating with the court.

And yet, despite actually working with the court, their motion was denied, meaning the lawsuit was not dismissed for infringing upon Jones' first amendment rights. And this is extremely notable since the TCPA is one of the most aggressive anti-SLAPP statues in the country - that is, if you lose an anti-SLAPP motion in Texas, your speech is so insanely out of line that basically no court would consider it to be defensible under the first amendment. Again, from [0]:

> CONCLUSION

> Having determined that the parents established a prima facie case for defamation per se that was not subject to the defense raised by Appellants, we affirm the district court's order denying Appellants' motion to dismiss.

His other anti-SLAPP motions also failed.

In summary, Jones already tried the first amendment defense, and lost. Therefore, even if he cooperated and wasn't defaulted on, he would still be barred from presenting a free speech defense during the damages hearing, because the court had already decided that his speech was not protected by the first amendment.

[0]: https://casetext.com/case/jones-v-pozner
Ask HN: Which organizations are the best at software development?
Yes, one can name Google or Uber as examples of places where great software development* takes place, but I'm curious what the HN community's take is on what other, non-obvious organizations or teams do this as well.

*I define great software development as those that produce the best outcomes compared to others. I think of rapid development/release, testable code, high-functioning teams, not only following best practices but creating innovating software as well.
Building a Power Grid to Span the World
Thank you. Just to be clear about one thing: nobody buys a license for Ardour, it is released under the GPL.

You can choose to pay us for the service of building it for you, or if you like, providing a ready-to-run version that we can actually support. That revenue allows myself and other Ardour contributors to work on Ardour as a way of making a living.
> probably

I agree, and I'd like to understand the reason why "probably" disappeared from the press release. If you claim something, you should be able to back it up with some numbers, right? I'm a big fan of Bro and fully agree with the "leading solution" or "everybody is using it" phrases, I just miss the data that would make it the number one.
Is a (set-theory based) program which predicts its own halting outcome (and then does the opposite) able to predict its own halting outcome correctly?
“DNS abuse” in that context means “people pointing DNS records at servers with content I don’t like :(“

Unlike the name suggests, this has nothing to do with actual abuse of the domain name system.
Sure. I’m familiar with the NAT VPS providers. For the most part they are just providing an ultra cheap service, as there seems to be a market for that. Some people are OK with Ipv6 only or some ipv4 ports and they will just funnel the needful thru Cloudflare and they have an ultra ultra cheap website/service. Even cheaper than the cheapest shared hosting but they still have a box they can control to some extent.

Even with openvz/LXC though, they will generally give you a few choices of distro flavors. So in general if given a memory allowance 256 or under, definitely don’t choose anything Red Hat based or you’ll suffer from yum potentially not working.
The point is nepotism, not a point for point identical situation. The problem is that groups are cross pollinating in a situation that should be independent and by its nature adversarial a lot of the time.
I mean, you're comparing them to Apple. I'm pretty sure the Illuminati are less secretive than Apple.
I really liked OpenSCAD, because I didn't feel like I had the dexterity or the mindset for regular 3d/cad software, going back to the 90s. Mouse interface for 3D design never worked for me. Designing physical things using a programming language seemed ideal. For a while I was certain nothing could be better, certainly not traditional CAD.

However, I recently discovered FreeCAD and I have been converted. The paradigm of making a sketch, defining constraints and letting an optimizer figure out specifics is so much more easy and powerful than having to write all the functions myself.

Committing to getting over the learning curve was one thing, and just getting a decent quality mouse instead of using my laptop touchpad was also a big enabling factor.

I get really frustrated with how buggy and confusing FreeCAD is sometimes, but still, it seems infinitely easier to create "professional looking" parts. Fillets, chamfers, etc, are a lot easier. As I recall, Minkowski sum in theory might be quite useful in OpenSCAD, but in practice it was unreasonably slow. And last I'm aware, OpenSCAD was single threaded so I don't feel like I could benefit that much from upgraded hardware.

FreeCAD also can tell me stuff like the volume of my part as well as dimensions I didn't explicitly define. I don't recall OpenSCAD allowing introspection on your objects, which is kind of an obviously useful thing. Plus, FreeCAD does some finite element analysis, which may or may not be reliably informative in my hands, but in principle can give me some advice on the properties of a part before I print it.

It appears FreeCAD can integrate with OpenSCAD to some extent, but I haven't tried that.
Can I use to make a Dj mix?
JPMorgan Chase bets big on quantum computing
No native Pipewire API support and none planned. On Linux, there are audio/MIDI backends for ALSA and JACK. Pipewire mostly supports the JACK API (and likely will do so completely in the near future).

[EDIT: if you can work with playback only (e.g. during editing or mixing), we also have a PulseAudio backend on Linux that will (like JACK) also talk to PipeWire. ]
Giving you the benefit of the doubt...

If an institution (like Harvard or Stifel) really pays for your product, then you should write a case study.[0] That would be effective and honest advertising!

However, unless the institution is paying, you shouldn't use its logo. E.g., if a college student signs up for an account, that's not the same as the college itself using or endorsing your product.

[0] Here's an example case study from Patrick McKenzie (patio11): https://web.archive.org/web/20120211173734/http://www.google...
I’ve found that I’ve enjoyed books more as audible… in most cases (there was one notable case where that reader and editor completely messed up the third book of a trilogy). The thing with audible is that I can’t skip over the “boring” parts as easily. Safehold and Anathem where two that this was important for (I will note the Recluse series got odd if you listened to them in chronological order rather than publication order as the author kept using the same phrase in later books and the quality from book to book varied wildly).
But people aren't skeptical.

I have seen too many fake social media posts that re-use footage from old natural disasters, protests, political rallies, terrorist attacks and even movies - all to forward some kind of false political viewpoint.

These spread quickly due to outrage, but disproving them is hard.
Is this frustration specific to Elastic, or do you actually not like the ELv2 license for COSS?
What is mindlbowing to me is that all this work on geometry was initially done when there was absolutely no concept of atomic particles, and very little real representation in "visible" nature.

Then hundreds of years later we started to look at macromolecules and found their assembly states often are perfect, or near-perfect representations of platonic solids, such as icosahedral viruses, octohedral and tetrahedral iron storage proteins, etc.
Sigh.

This is yet more gated content on the hopes someone or something does the right thing.

I deleted my account when GH demanded a separate license for everything I had (for that ml crap you made, no less).

My answer in dealing with GH is to create fake emails, do the register bullshit, and get what I need, and throw the acct away.

I'll save my stuff for my GL instance, or go to sourcehut.

Excuses to gatekeep can rightly die in a fire, and let the crucible sort it out.
The 51% threshold in this metric is not meaningful like it is for block creation. It only means that it takes slightly longer for a transaction that interacts with contracts on the OFAC list to be included.
I really love working through Project Euler problems and coding the solutions to them. That, and very recently making a Game boy emulator in Rust. Never had any clue how emulators work and it's just so much fun.
You'd have to explain what "a DJ mix" means to you before I could answer that.
Heh, I get the joke.

But really, is it really the problem? I'm considering the idea from both angles of supply and demand right now. I mean, once upon a time ago, stuff like crab and lobster was considered poor persons food. It was so plentiful that the story goes 'You could just walk down to the local ocean side and scoop some out of the ocean without any trouble'.

The way I see it is this. Pricing is indicative of supply and demand. If demand is high enough, suppliers will attempt to meet that demand. When demand wanes, supply burgeons, thus creating a reason to lower prices so that demand matches supply again. So in a sense, while price would seem to be the culprit, I think it more or less comes down to the fickle nature of the human.

Take red lobster for example. I never eat there, because they always somehow have some 'sale' happening. This means one of two things for me. Either they are selling old product as "fresh" which is not possible in many places they operate, or they are selling under the 'actual' price to increase demand to help meet supply.

Now extend that to the rest of the industry. Where does that land us?

In my mind, it means we are over fishing the species, all because other companies like RL allow for it to happen by continuously artificially spiking demand. Because at the end of the day, even if RL doesn't make profit, the fishermen do. RL and others like them keep buying it. It doesn't matter to the supplier of these restaurants if the food is being eaten or tossed. It's already caught.

Make sense?
Absolutely.

But would you be surprised of such a decision?

Heres a proposal: As organizations grow, the size of a solution becomes imcreasingly proportional to the size of the organization rather than to the size of the problem.
This is a ridiculous take. Vaccines have long been our most effective weapon against infectious disease, especially viruses. The CDC screwed up a number of things in the last few years, but vaccination is a vital tool for protecting the whole community with very few downsides.
Sometimes though, they get it really right. Before the legal issues Alex Jones was very much being 'cancelled' or at least ostracized.

He has made over 200 million though from his platform, and conspiracy talk show, and decided it was a good idea to pester and make fun of people who's kids died in a gruesome shooting. Seriously, there's an evil bar and he's just slightly above serial killers and hitler. Running a grieving parent who's 6 year old was murdered and claiming they're a hoax and not real.

I can't imagine going any lower than that, and in a case like that he definitely should be cancelled.

Bill Cosby is another good example, he should be a pariah.
I feel sometimes maybe the back and forth online open 'battles' can become evidence in court for injustices, so maybe the answer would be an immutable Twitter where what you say can't be erased and to get an account you must be 'verified' so you better be damn sure you want to say what you want to say to the whole world.

i'd be much more hesitant if words had permanency with screenshots they still kinda do, but at least then you can claim it was photoshopped, hell AI could probably easily make screenshots of tweets that never happened.

Cancelling happens on the left too, Chris Matthews called Bernie a nazi, was afraid he'd hang him when he became president, and called his supporters brown shirts which is very derogatory because those were basically Nazi's and Bernie had relatives killed in the Holocaust. Of course turnabout is fair play, as Chris Matthews was cancelled shortly thereafter.

Dr. Jason (can't remember last name) black guy on MSNBC called Bernie's female supports the "island of misfit black girls". He received a lot less airtime after that, again rightfully so.

I still have a hard time seeing where canceling isn't anything more than just accountability.

ADHD has me all of the place on this issue, but I guess my tLDR:

Often mob justice is the only justice anybody will get so it is warranted, and it happens at all points on the political spectrum, I feel it's childish perhaps to think you as the center of your universe are getting unfairly dished on and can't take the heat, having autism/adhd I've said things before online and had some depression from backlash, often I just mispoke and sure it made me more cautious about what I say, sometimes but it made me more cautious.

People SHOULD be cautious about what they say online because it lives on forever. Sometimes you need to get 'burned' before you can realize oops I see that was wrong. At this point 'cancel culture' though seems to be a childish cry of people who want everyone to think they're the 'victim', and I just don't see most of these people as real victims. Sorry, not sorry.
A real life Gotham city.
That number could increase soon too. The current governor is under federal tax fraud investigation. He bought the mansion next door to his, purposely removed the toilets, and then declared it uninhabitable to avoid paying hundreds of thousands of dollars in taxes.
> I really don't care to dig

Then why are you opining on the subject?
How does the length of the burst depend on the size of the event?
Not really, being anti science like most of the "critics" of the vaccines were is what should get you booted. The CDC did fine with what they had to work with to be honest. The vast majority of the people I saw being critical of the vaccines had no basis other than "I don't trust this!" and they had zero proof. 99% were hacks on twitter or far right wing "news" outlets like Fox news which have lost all credibility.
Right, and so with that, demand should taper down a bit. But only until other things become more expensive and now that food source is the cheaper one...
SQLite calls this an "update hook": https://www.sqlite.org/c3ref/update_hook.html
> This is a good time to write a "Lies Programmers Believe About (Niche)" piece.

And switch careers to blogging about programming? New niche!
When you say “trolling”, do you mean “saying an inconvenient truth”? What does constant identification serve, apart from keeping people in ignorance?
I have no interest in owning and operating a printer, but e.g. Shapeways is expensive and slow, so I wish there were more service providers near me.
Garbage in -> garbage out. Thank you for your humility. You acknowledge that you're good enough to be dedicated but not good enough to be impressive. If you re-use your methods, then you would only be creating devs who are again only going to be dedicated not impressive.

Any biography of GOAT athletes I've read inevitably depict tremendous personal sacrifice. Whether you call grueling schedules, pushing themselves nearly to their physical and psychological breaking point, as "hustle culture", it's undeniable that the road to greatness is filled with incredible suffering.

We would all like to wish ourselves to greatness without putting in the effort that goes with it. Unfortunately, that is not how the world works. Having said that, while positive thinking only goes so far, it's a good salve for anyone in dire straits. In other words, positive thinking won't solve your problems, but it might make you feel momentarily better. Best of luck.
So what about things which they have actually done?
No diesel and humid southern Virginia. Just bad(Epigenetic) luck I think.
Retail interest in investing went way up during the 2020-2021 bull market. Not surprising that a bunch of small software projects followed.
Moving to Canada from the US was a weird experience. They sell butter in 454g bricks. That's a pound, but it's sold in grams. The wrapper is marked with graduations of whole, half and quarter cups. They sell meat and cheese by the kilogram, 100gram, pound, or ounce, with different brands using different units -- making price comparison between similar products a bit of a chore.