skysight-inc/HackerNews huggingface dataset:
The video shows separation of the James Webb telescope from Ariane 5's upper stage, and following solar array deployment.
For haskell programmers most likely! Just like there's only the obvious way in which groups are useful for speed cubers.
Since the nuke one was filed here I add as a sibling comment that the McLaren F1 no longer needs a particular 1990s Compaq laptop.

https://tiremeetsroad.com/2017/12/19/no-mclaren-doesnt-need-...
> In practice, we have always, always, always known that vaccination did not stop transmission

Since this is something people commonly write around here, I am truly curious to know what you read that lead you to believe this? It's weird how many people believe the vaccine is not effective in stopping transmission. It's not 100% effective, and how well it's working to prevent transmission is a moving target as the virus changes, but if you think the effectiveness number is zero percent, I would like to understand where you got that. I'm pretty sure the official numbers are still above ninety percent, even with Omicron.

(it is of course true as you hinted that the vaccinated have less severe cases and shed less virus, etc.)
Like what? Please, do tell.
Looking at the vaccination materials my wife got when she was vaccinated, I noticed some disturbing notes including that animal trials had never been completed.

Being healthy and under 40, and given how quickly these vaccines were rushed out, I merely want to wait until the long-term effects are known. I don't think there's anything extreme about that.

It should be noted that I've had covid (from visiting fully vaccinated and boosted family) and have had the antibody test confirming I should have some degree of resistance now.

However government policy and messaging has all been based on vaccination - not verified natural resistance (which studies show are robust to many variants, unlike vaccination). I can only conclude that the government does not care about health outcomes: It only cares about vaccination status. After being denied entry to restaurants and events and generally punished by society for what I deem to be reasonable caution, it starts to feel very dystopian and gives me all the more reason to pause and wait for long-term studies to be completed.

Incidentally, I'm one of the most vaccinated people on Earth. I've had over 90 vaccines prior to this event, including three just prior to the outbreak of the pandemic. None of them have ever required me to sign a liability waiver. Yet another reason I'm cautious about these vaccines: If the manufacturers are more uncertain of these vaccines than usual then why shouldn't I be?
Hi guys -- Mantic Markets co-founder here! Thanks for checking out our site!

Most startup ideas are counter intuitive, but I appreciate the skeptical response here.

The case for user created and resolved prediction markets is that it's simple, clear, and actually what traders want.

For example, Zvi, who writes on Omicron and consults on prediction markets, recently blogged that the ideal way to resolve markets is to have Scott Alexander be the judge. https://thezvi.wordpress.com/2021/12/02/covid-prediction-mar...

Reality gets messy and judging outcomes ultimately comes down to a person's priors and expertise. We envision a world where experts that you trust run markets on topics that you trust them on.

Right now, we have launched a play-money version of our site, and are exploring options such as moving into crypto. I will say that we love how easy and fun it is to participate with play-money, and believe that the results can be accurate.

Imagine if your favorite Twitter and Substack personalities mixed in prediction markets with their regular tweets and posts to help their analysis or make a point. It's like a Twitter poll, but with a system for accountability that drives accuracy!

We think a super-accessible site that makes accurate forecasting fun can lead to a profound impact on our knowledge and guide us to a better world. Thanks for reading!

--James
"Application ... settings" is (probably?) still ambient authority - the application has the permission to do XYZ so all parts of the application have permission to do XYZ, and it might be possible to confuse a part of the program that isn't supposed to XYZ into doing so.

Capabilities is about associating the permission to do a thing with the handle you'd do it through; unrelated parts of the program don't know how to talk about the thing so can't do it.
I appreciate the Fexofenadine/Allegra recommendation for the non drowsy effect. Thank you.
"The Bell Curve" also talks about the Idiocracy premise.

I know the premise of this book is different, but they do touch on the fact that siblings usually have the same level of intelligence.

This is a very controversial book. Any thoughts anyone would like to share?
There IS a more or less common understanding about what "Western" in the context mean. You want to waste time arguing semantics - be my guest. I have zero desire.
Then simplest way to do so is to sample a normal distribution twice and normalize the length. Its significantly faster too.
Yup, this was totally criminal in most jurisdictions. I don’t care if the person intended to help; this kind of vigilante hacking deserves to land you in prison.

You want a bounty? Talk to me before you break into my systems. Because once you do that without my permission, you have proven yourself completely unworthy of being trusted. Why should I believe that you have not installed a rootkit or other tech that you did not subsequently disclose?

You will need to be treated the same as any other criminal. If my insurance gets involved, that also probably means directly assisting with an attempt at criminal prosecution.

So, yeah, brilliant strategy. /s
Originally in the 1990s when there were 3-button mice without scrollwheels, especially on Sparcs and whatnot, middle clicks were good.

But then mice standardised on scrollwheels and the middle button being the depression of the scrollwheel - and it's not so good anymore. It's way too easy to accidentally scroll when clicking a mouse wheel, and few people would disable the scroll wheel or get 90's type straight 3 button mouse.

The middle click in windows for "scroll mode" (or something) as you say, is useless. And I can only assume that's a mode that exists precisely because people without scrollwheels still need to scroll so it emulates the wheel. Poorly.
Areligious, atheist, etc. Presupposes that religion, dogmas, sects are the default state of being. It isn't. Urban is, I think, a more accurate description when it is defined as anti-sectarian.

I agree with you the year's got to be arbitrary in practice, however I don't understand how your statement answers my concern about using mythology, can you elaborate on that?
public-private partnership is one of the pillars of neoliberal win-win politics. At least this is how it's being sold. However, it's one of the biggest clues that regardless of who you vote for in America (left or right), the shareholders will always be taken care of..
My problem with Idiocracy is the assumption that working class and poor breed only more dumb people. This is untrue, as many of our brightest people came from humble backgrounds. The quote evolutionary biologist Stephen Jay Gould is most know for is “I am, somehow, less interested in the weight and convolutions of Einstein's brain than in the near certainty that people of equal talent have lived and died in cotton fields and sweatshops.” The progeny of smart people are not always smart. I enjoyed Idiocracy for it's commentary on dumb and vulgar culture taking over.
> picking from a uniform distribution is unlikely to generate what you want.

I see now, and I think this is a good point. Maybe I just said almost the same thing. Without looking at frequency plots, if I just think about what I expect to get with a DFT of high-pass filtered white noise, I’d assume it’s blue-ish in the sense of having less low frequency, but I don’t think I would expect it to produce the same perfectly even spread that the void-and-cluster algorithm produces. It seems like this implies that a forward DFT of a void-and-cluster blue noise texture has some structure that might be hard to see in frequency space, we can’t assume frequency noise that looks white really is white, and maybe there is a relationship between the frequency and phase components that just aren’t met by picking a random angle & radius.
you think this is bad? https://ocrportal.hhs.gov/ocr/breach/breach_report.jsf
Meanwhile, police departments around NY state are just ignoring the requests.

https://www.democratandchronicle.com/story/news/2021/12/06/n...
So https://ec.europa.eu/commission/presscorner/detail/en/ip_21_... ?

That requires the booster to be treated as proof of vaccinated status for 9 months, it doesn't predict that proof of additional shots will be required in the future. Which makes sense, as we don't have the information to make that determination!
Japan has also been known to cram passengers into trains during rush hour.

I imagine this practice has probably been fervently deprecated due to covid19.

https://www.youtube.com/watch?v=E7kor5nHtZQ
To save others time, here is the "subgroup analysis": https://www.nature.com/articles/s41591-021-01630-0/tables/4

For men under 40 who got vaccinated one time, the rate of myocarditis increased from 8 to 21 events per million OR from 15 to 33 events per million (depending on the vaccine).

For men under 40 who got a second dose of the vaccine, the rate of myocarditis increased from 5 to 21 events per million OR from 7 to 18 events per million (depending on the vaccine).

For men under 40 who got infected with COVID, the rate of myocarditis increased from 7 to 17 events per million.

Am I reading the data wrong? My takeaway is that there is extremely low risk of myocarditis for young men (which is supposedly the troubling subgroup).

Surely, these extremely low risks of myocarditis are far outweighed by the benefits of the vaccine.
Stanford is also remaining willfully ignorant of prior infection-conferred immunity, easily measured by IgG assay. This is all becoming very embarrassing.
Also there's plenty of reason to believe that Florida's numbers are serious underestimates. IIRC their testing rate has been low, and they've been in the news for suppressing bad numbers more than once. I might trust numbers from an independent study, but not from anything under the DeSantis regime.
Use authenticator app for 2FA, not your phone number.

But be really sure you want to do this. The main reason I would not recommend ordinary consumers do this, is that if you lose your SIM (eg, stolen or lost phone), you can go to a mobile phone shop and get a new SIM card issued to you after verifying your identity. With other forms of 2FA, you do not have access to the same real-life-based identity verification service, and it is also essentially the source of SIM-swap risk.
I may not refuse tetanus and flu shots but I will 100% retain my RIGHT to refuse those shots. It's 100% the responsibility of the government to prove both the utmost necessity and the spread-prevention efficacy of any medical procedure the government forces upon its citizens.
This is also true for many colleges & universities in the USA. If you have any university affiliation, check with your university library system first.
> The premise of Idiocracy is that dumb people reproduce more and society gets dumber. Eugenical yuckness...

Agreed, but after watching Idiocracy a few days ago, I saw that the background imagery of the the year 2505 in Idiocracy is dystopian: there is desertification, food scarcity, decaying buildings, traffic accidents, garbage heap collapses, lack of sanitation, poor medical care, etc. it doesn't actually look anything like a risk-free environment that rewards witlessness.

I'm sure we can think of the current situation that endangers the survival chances practitioners of stupid behaviour as well.
All analogies are flawed. My main point was that, in terms of the Governor's own analogy, and also literally, the reporter didn't "take" anything.

All analogies aside, intent matters, and the reporters intent was to report a vulnerability and then to report the Government's actions to the public once the vulnerability was fixed. Neither of which are illegal.
The vaccines help protect you from long COVID and from very serious complications that can form (or even death).

It is very misleading to imply that only old people suffer from that as there are countless stories of “I have a 35 yold friend with no pre-existing conditions who’s fighting for their lives”. If it were only old people the hospital situations would look drastically different and we wouldn’t have capacity issues. We maybe are now better at saving those people than at the start of the pandemic but we’re not perfect yet.

Hopefully the COVID pills coming out to treat it are going to meaningfully reduce the outsized burden anti-vaxx people are putting on the health care system (overwhelmingly, if not even exclusively, the people ending up in hospital due to COVID are unvaccinated)
Frama-C allows writing formally verified bug-free C. It is certainly tedious though; you essentially have to write two versions of every function: (1.) the actual C code for the function; (2.) a declarative formal specification of what the function does in ACSL (ANSI C Specification Language), stating all relevant pre-conditions that must be met prior to calling the function, and all relevant post-conditions that hold after the function runs. Then you have to add annotations to computation steps in the function code proving it causes the post-conditions to hold if the pre-conditions hold.

Nevertheless, it is extremely powerful because it can prove the correctness of arbitrary heap manipulation algorithms (lists, trees, graphs). You can formally prove complicated C pointer manipulations are correct that cannot be expressed in 'safe Rust'. There is also the CompCert formally verified C compiler.

I've also studied Ada/Spark's formal verification abilities and C is way ahead here. C is also way ahead of C++ because C has far fewer complicated semantic rules that need to be formalized before they can be analyzed. Even parsing C++ is an enormous task.

In the coming decades as the automation and ease-of-use of formal verification tools improves, I think C may well end up being the best choice for security-critical and correctness-critical systems programming. With current tools it is already ahead of Ada, C++, and Rust.

https://frama-c.com/
That sort of nailed it from my understanding as well.

Also, and apologies for the cynicism, a lot of the current DSLR following is another rich person's hobby which never produces anything other than 4TB of stuff in a Lightroom DB that no one ever sees or is interested in because it's basically crap.

The one actual professional (as in paid as main income) photographer I know doesn't talk about the technology or the brand of camera they use at all because it's mostly moot: it's the picture and getting paid that matters. They don't carry their camera anywhere either; just an iPhone 12 mini.

I attended their photography course at a local college and about 90% of the attendees turned up with their £3k+ DSLR set up and were disappointed that it was mostly theoretical and composition related rather than how to use their toy. I had an entry level Nikon D3100 at the time and was sneered at by the rest of the folk. I now use an iPhone only. Subject matter is more interesting than the technology for me.
They're using "argument in the alternative" [1], which is logically sound. The goal isn't to show that any particular alternative theory is true, just to show that the mainstream one is false.

[1]: https://en.wikipedia.org/wiki/Argument_in_the_alternative
https://abcnews.go.com/Health/breakthrough-covid-19-infectio...

“Breakthrough infections are not evidence that vaccines don’t work anymore than the fact that car crashes [that] are still sometimes fatal is evidence that seatbelts don’t work. We use prevention tools because they help reduce our risk of serious disease or death, not because they are guaranteed to 100% always keep us safe,” Murray [, an assistant professor of epidemiology at Boston University School of Public Health] said.
Webster's anti-regulation definition predates Covid: https://apnews.com/article/fact-checking-034481134066

I totally agree that it's nonsensical. The tendency of many people to conflate the positions of "X is a good thing to do" and "everyone should be forcibly compelled to do X" is routinely frustrating.
There were 2.88MB floppies, or... I think that was actually an encoding thing? That is, I think you could take a "standard" 3.5" floppy and use special software to format it up to 2.88MB. (Maybe it just changed the track sizes or something, and hoped your disk was high enough quality to take that)
Words are lossy.

Thinking ambiguity can be removed if you only use common words is misguided. You will get writing that is bland and lacks nuance and you may limit the palette of what you can convey, but even then without a fixed exhaustive definition for every word there is ambiguity in shades of meaning.

For example, what exactly does “common” mean above? “bland”? (writing is not a food, is it?) what precisely does it mean for writing to have “nuance”? and so on.

It depends on overall style, but I generally enjoy writing that thoughtfully sprinkles around less common or even invented (DFW) words. It keeps me on my toes—human memory is not perfect, if I haven’t had to consult the dictionary in a while then my vocabulary must be degrading.
Second this recommendation for the terminal. For my CLI toolbox, VisiData is my favorite.

I find VisiData is great for quickly exploring and querying data from the CLI. It can handle many types of files (SQLite, CSV, TSV, Excel, JSON, YAML, etc). Visidata loads all the data into memory, and so is very responsive when exploring the data. It allows you to quickly do all sorts of of adhoc queries interactively, without having to write a valid SQL query.

I haven't used Q. When I first heard of it, I liked the idea that Q allowed you to run random queries on CSV and TSV files. However, it seemed like it would be slow if you wanted to do follow up queries, since it had to repopulate the in memory SQLite file for each query. Though it looks like the latest version has a way to cache the generated sqlite file. So that seems like it could help.

Also, if I have some CSV, TSV, JSONL data sqlite-utils is useful for converting them to SQLite, and then exploring with Visidata or SQL queries.

Q: https://github.com/harelba/q
sqlite-utils: https://github.com/simonw/sqlite-utils
> If someone finds an item on the street it will be dropped off at the nearest Kōban box

Unless it's an umbrella. For some magical reason, umbrellas are excempt from this rule and can be taken from wherever by anyone. I lost a cheap umbrella like this during a trip, and read about it and apparently it's the one item it's definitely not safe to leave unattended in Japan. Go figure!
I can't believe I'm participating in this conversation, but misapprehensions beg for clarification.

pie had the sexual connotation decades before American Pie, see notably "hair pie" at least from the 1960s; also earlier cherry pie with its jailbait associations; I would imagine also dating back to the early part of the last century in Black vernacular, see for comparison jelly roll.

cream pie only recently took on its modern meaning; prior to the last decade or so it referred to the same thing it does now, but only in the context of eating it. search usenet archives (see asstr.org) if you feel an uncontrollable need to learn more about this.

creaming, your jeans for example, equally applies to women.
I'm vaxxed and had my booster:

1) I had my booster 2 weeks ago and still am having side effects. I had 2 days of feeling like shit and having my physical output at maybe 20%, slowly recovering but after 2 weeks still around 75% or so. Not sure if it will improve come the new competition season. Same issues were reported with teammates. (I play a sport competitively, 2 days before the vaccine I did a 4.5 hour hard intensive training day, was ok and recovered fine. Just yesterday I had a training match and after 1 hour or so was feeling the lack of strength and difficulty breathing). I am not high risk for covid related issues. Right now, the booster has been quite an issue for me, and if I don't go back to 100% soon, my next year tournaments/ranking is compromised.

2) My kid is at an age they are pushing for vaccine for his age group. His risk based on my country data is pretty much zero (4 severe cases, 3 had co-mobilities that a normal cold would get them in the hospital, and one apparent healthy kid had severe issues but recovered). Risks from the vaccine for this age group are bigger than covid for him. I am against vaccinating him. (mother isn't and he will be)

I am not anti-vaxx (I even got my booster) but if they told me I could be 2+ weeks at reduced physical capacity befora having the booster, I wouldn't have done it.
I agree with you to an extent. I think stupid entertainment is fine in moderation. Sometimes it's nice to mentally checkout for a while.

Collectively, however, I think it's a bad sign.

TLC isn't the only one who saw a market and pivoted. Sticking with TV examples, the History channel has shows about monsters and aliens now. Discovery's content is almost as bad.

It's not just that there's a market for stupid entertainment. It's that the market for non-stupid entertainment seems like it's shrinking.
The science behind building a proximity fuze in 1942 is just mind boggling. Even though they infinite money at their disposal it's still insane that they were able to computerize a shell moving with 16,000-20,000 G-Forces in the days of vacuum tubes.
> Very fun times storing your home-work on a disk, bringing the disk to school and being unable to read it. Very common problem.

I never had that while growing up. Used floppies for ~6 years, since school computers were ancient, no usb, and the cd drives always struggled to read home burned cds.. Floppies worked 100% regardless of brand or drive.

In 6 years I had 1 floppy suddenly die on me.. which I thought was really weird.. Otherwise I'd carry around in my backpack 1-3, until they'd get physically damaged or start making new noises, that's how I knew it's time to replace them.
It's nice to see the same mistakes that people have been making for as long as I've been alive, on small and large systems all over the world, still happen on projects with professional teams from HPE or IBM that cost hundreds of millions of dollars.
Florida also has a significantly older population than NY, so those figures should be age-adjusted to take into account COVIDs disparate mortality across age groups. [1] Amongst large states Florida (239) is much closer to California (216) than NY (299) after adjustments, and California had some of the most severe lockdowns, while Florida had some of the most lax.

Still, if they merely kept even with NY, and also managed to have a booming economy, a net influx of population, and very little disruption in primary school education, I’d say that’s pretty good.

The damage that has been done to a generation of disadvantaged kids in states that shut down schools for extended periods is going to have to be reckoned with for years.

[1] https://www.bioinformaticscro.com/blog/states-ranked-by-age-...
I wouldn't surprise me if they did: cold storage on obscure storage formats.
SpinLaunch: Company hurls satellites into space using giant, spinning machine
Or maybe he was right and most activism is emotionally driven rather than rational or data driven, and is ultimately ineffective.
Right, the overall density is a coarse measure of the resources available for infrastructure (presuming that they will at least correlate with population and distance). If you have higher density, it is very likely there will be relatively more resources to deploy in a given area.