skysight-inc/HackerNews huggingface dataset:
Coroutines fit into some functional languages fairly naturally. They can be constructed out of the primitive operator call/cc (call with current continuation) in Scheme and simple cooperative threading, exceptions, callbacks, coroutines, etc. are usually implemented that way in Scheme, and pretty widely used. It meshes okay I guess with the rest of the language and libraries, but Scheme doesn't really have much in the way of libraries.

Coroutines are a type of monad in Haskell. If you want function calls to alternate between execution streams, that sort of chaining of execution, is what Haskell's monads deal with. Instance the type you're using in the Coroutine class, and any functions with the same Coroutine type, will automatically work as coroutines between each other when you suspend them. It's part of the standard library in Control.Monad.Coroutine. Since it's a monad, it composes with other monads, and will work with most library code. As to IO, with a lazy evaluation language, when a blocking call is made, other parts that can still evaluate (not just pending coroutines but also regular functions not depending on the blocking call) can continue, so all IO in Haskell sort of works as you describe there, I think. Lazy evaluation is usually implemented with coroutines, IIRC. In a sense, every value in the program is in its own coroutine, that runs when the value needs to be calculated because some other value depends on it. Analyzing the efficiency of lazy programs suffers the same kind of problem you mention with concurrent programs, to be fair.
"(5) ... SQLite allows multiple processes to have the database file open at once, and for multiple processes to read the database at once. When any process wants to write, it must lock the entire database file for the duration of its update. But that normally only takes a few milliseconds. ..." - https://www.sqlite.org/faq.html

You can start your new version of your application in a new process that opens the same database file, switch your load balancer to the new app, allow the old to drain all requests and then terminate the old app.
You're my favourite kind of employee/colleague. Someone who knows something about what they're doing because they took it apart and put it back together.
do we know? has any angy ex-twitter engineer revealed the secret sauce to the world?
This is a very real problem and the only viable solution I know of is for the local government to mandate a certain ratio (with error margins) of different types of establishments.

For example, not more than 15% of a street can be hotels, or clothing stores, perhaps at least 25% be bars/restaurants/entertainment, etc.
I have heard Musk say that they try to stay at a fixed margin.
Wikipedia moderation system is hidden by default (meaning: you have to hit the history link and wade through a wall of technical conversations) and Wikipedia is asymmetric: users who create content are a fraction of user that consume content. The latter can't get moderated directly. It works in the sense that less people have the scope to be caught in it and those who do have no in-platform way of communicating it to other users, but Wikipedia is more a collaborative platform than a social network.
That's unfortunately true, though the the reduced productivity from the pandemic was another major factor. The increase in money supply provided by the stimulus, particularly the portion that went to economic segments with significant remaining marginal utility for the goods and services included in inflation measures (e.g. poor people that haven't been getting enough essentials) likely is a large driver of the initial inflationary pressure. The additional economic inefficiencies from the job-swapping and slow hiring coming out of the pandemic were also major factors.

I don't, however, think that one-time stimulus could maintain the current inflation, which is probably due more to the hiring difficulties and natural positive feedback loop that maintains inflationary economies.

Of course, if we hadn't diverted so much of the economic gains from the past decades to the wealthy and instead allowed a proportional increase across the economic strata, I expect the inflationary effect of the economic stimulus would have been far less muted (since there would have been much less pent up demand).
> Basically what Putin wants to do with Ukraine, Musk will do with Twitter

This is your brain on propaganda folks
Oh, interesting! I thought that the sub community got all the nukes fresh from school, and the surface nukes all had a sea tour under their belt before getting sent to Power School / Prototype.

You make a compelling case - OOD on a carrier has got to be a hell of an interesting job! Personally I liked the smaller team on a sub, getting to do TS missions, etc. But I can definitely see where you're coming from. (And frankly, I still think submarine life is better than traditional non-nuke SWO life, still.)
It’s not anonymous speech though but pseudonymous. The “profile” can get trusted over time without knowing the real identity by establishing a reputation for good content.

Although this will probably get derailed now by GPT3-esque astroturfing/trolling.

Anonymous speech is like graffiti, pseudonymous is like Banksy.
>> I'm highly skeptical that putting the extremes in greater contact would cause de-radicalization. I think it's more likely that would cause the extremes to further polarize and dig in for apocalyptic battle for the fate of the world.

> I think allowing both extremes makes it clearer where precisely the center is located. Look at it this way -

1) That's not at all what I was talking about, to the point where your comment is kinda non-responsive.

2) I think you're likely basing your reasoning on false assumptions about the distribution.

3) The ability to more accurately label oneself one some spectrum seems kinda pointless.

> Allowing both sides to speak without censorship may not have any impact on the actual L and R extremist, but it will hopefully have an impact on "normal" people and stop warping their perceptions.

4) I think the situation you're trying to engineer is likely to be alienating to "normal" people.
do you think that lawyers make 200k per year?
It has been a serious problem, you read in the news about some warship crash every few years! It's likely that the Navy hasn't restructured things because they simply do not need to and have no incentive to do so. We're not exactly in a peer conflict.
The example he cites is from a tweet made by a guild of writers for the Oxford University Press.

> We, the members of the OUP USA Guild, are calling upon our colleagues and authors to take a stand against the upcoming publication of “Gender-Critical Feminism”. Sign the petition below (OUP employees and authors only).

Yeah, that's not a "ban", and "gender critical feminism" = TERFs. Ie, "people who think trans women are faking it so they can rape women and children in bathrooms or 'cheat' 'the system'"

Remind me which side thinks businesses have a constitutional right to refuse to serve people if it violates their "beliefs"...yet finds it unacceptable that unionized workers are objecting to publishing of research on a subject?

Also, remind me which side is boycotting a major entertainment company...because said company's CEO voiced displeasure...at a bill that bans any language referencing non-straight gender orientations?
>Click the "Sparkle Button" to change the timeline sort algorithm. Right, totally obvious...

Holy crap, I can actually use Twitter again. Thanks.
They don't even need to use Mastodon itself. CNN, Fox, MSNBC, NYT etc could put ActivityPub in their content management systems and be direct participants to this wider standards-based ecosystem.

btw it'd be nice to see the fedi grow beyond being the "mastoverse", other implementations of AP exist
Ironically half that code (END...) is valid Ruby!
My experience, as well. I just set up my parents' Linux desktops to look and act like the systems they were used to and it's been fine for them for years. They've even added printers and scanners to their systems without my help.
If by juicy you mean deranged, then yes. It was bizarre reading that kind of crap on pcmag.com.
I can see that. I can also see that when you try too hard people are repulsed, not attracted.

It's the reason why managers kept rock bands under wraps, not doing direct interviews but leaking stories of their antics.

There is something incredibly repulsive about a grown man taking the time to tweet 50 times a day for attention. Again every manager knows about this effect and I think also every poker player.
I noticed it as well, they were slowly sliding in hopes no one would notice, when did EFF became ideological?
> if they don't do it already

That's an interesting point. A practical description of the algorithm from the perspective of someone trying to game it may be more useful than anything Twitter or Google would release.
It’s an insidious illness. I was mostly like you: no issues getting to sleep, no issues with teeth, no coffee. I was diagnosed with mild sleep apnea. My symptoms were lethargy and having major trouble studying. It caused me to drop out of university, not knowing the cause. It’s something that can slowly erode your heart health and actually starve your brain of oxygen each night. Get it checked!
Use the Nitter extension. Or browse private mode. Problem solved.
I think you may be responding to a different comment? May want to re-post in the desired thread.
I found out that at least 300+ people block me, but I'm not blocking anyone. Even 9 people are blocking my private Twitter account, despite the fact they have no idea what I post on that account.
Turns out, no amount of money can speed up launch of a rocket when the regulatory agency in charge approving launches takes months to respond.

Turns out no amount of money can speed up opening a car factory when a bunch of so called "environmentalists" keep nagging the regulators for baseless water shortage claims (all of which have eventually been declined).

Musk has already done more awesome stuff than any single human in history has done with their cash. He has built multiple companies, each a catalyst and revolutionary in their field; has paid more tax than any single citizen in US history; and shit load more than I can remember right now from top of my head.
Give me something like the Netflix DVD plan recommendations, but allow me to download a DRM-free video file (with configurable subtitle options) for like $5-$10/movie. I'd be all over that service. And since I'm paying per movie, doesn't even really matter if it's five services.
I've seen people do this egregiously - the last startup I worked at people almost seemed to just make stuff up on LinkedIn for their title, that knowing their official title and actual responsibilities was BS (although some people had real internal titles that also didnt really mean what they said in the real world.) A lot of "lead" implying "the lead", when it really meant "senior" as in there are many, it means you have 2 years work experience and no reports. And a lot of "head of" when what was headed was 2 people, but framed as a region or service line.

I have subtly played with my title occasionally, to try and reconcile it with normal industry titles. But I've found it doesn't change anything, and have reverted to just putting my employer given titles and explaining them, as the other comment said
there is nothing to discover anymore. everyone is retweeting the same stories. and the best bet at discovering is via soomeone you follow
iPhone/iPad's LiDAR Scanner.
You understand it, it's just like instagram, facebook, reddit etc, you let them pick something for you via some algo or you order by date.
That isn't very fair though, because its very different concern isn't it?

The racist algorithms critique isn't that their is a shadowy conspiracy of people pushing buttons behind the curtain, getting the results they want with conscious decisions, it is a concern about datasets mainly, as well as sociological questions about unconscious bias in testing and verifying the correctness of programs, which can cascade into social effects.

It is a completely different thing, and one grounded in actual research.
Do you think twitter was a significant factor in Trump's 2016 win?
SpaceX is not just a technology problem. It's a sales and marketing problem. You're not selling to the mass market, you're selling to a government. You need to convince people with power to buy your product. If they don't, your business can't get off the ground.
Because the technique it uses is "clever" and at the same time terrible. It only works if you have 100% code coverage in automatic or monkey testing. The key quote from the paper is.

"""
as the
program is exercised, it converges towards a
correctly refactored program.
"""

This occurs because the refactoring engine uses runtime data to discover the correct types and thus correct refactorings.

It is certainly not the same robustness in refactoring that you get with a statically typed language. I don't want my refactoring to "converge". I want it done.
I really enjoyed this Smarter Every Day episode that talks about maintaining air quality on a submarine: https://www.youtube.com/watch?v=g3Ud6mHdhlQ
Author here.

I think the lack of specificity is a fair criticism of what I wrote in the piece, but this is also something I was very aware of when I wrote it, which is why this caveat is included:

> The management principles below reflect lessons I have learned the hard way. These are things I wish I would have known and internalized when I first became a manager. By keeping this brief, I hope that it will be easily consumed, perhaps at the cost of people being able to fully understand each point.

Maybe at some point, this expands into multiple pieces or a short book, but for now, this is what I've produced. It won't be specific enough to be useful to everyone, but hopefully some folks find it helpful.

There is no manual to being a good manager. Only ideas you can project into your own approach.
Stanford Nurses Announce Strike
Apple seems to consider that they are the kernel and your machine is just a terminal that happens to run on their platform.
The whole profile should be verified. Photo, description, screen name, etc. and any change to any of it requires a re-verification. This would prevent stealing accounts and help solve the issue of regular people with famous names being mistaken for celebrities.
Click the first link in TFA - the entire post is tongue-in-cheek.
Physicians have a certain amount of Continuing Medical Education required each year to maintain their state certification. At these CME conferences, patient cases, novel treatments, etc are presented to the audience.

There’s also plenty of marketing done to physicians by pharma and medical devices.
“See @yishan’s thread on moderation”

you mean go on twitter? ew, no
Probably 99%. The people doing next-level stuff are largely being humored so the FAANGs can hire more early 20s grunts who think they're going to be working on ML (they won't be) or even given the time of day by leads on such projects (ditto). You give some famous professor a high-6 or low-7 figure salary in a position where his job is to publish papers--or not, because no one who matters in the company will ever read them--but you get incrementally more effort out of the youngsters who think they've got a chance (and they don't) of working on something more exciting than Jira tickets.

I don't think the FAANGs will ever come up with AGI and I am glad for that. If the private sector gets there first, I am going to "accidentally" die of hypothermia on a hiking trip because I will do anything not to live in their world.
If you want to try out some of these models, AI Art Studio[1] has Pixray, VQGAN, and Disco Diffusion available.

[1] https://ai-art.latitude.io/
Small but non-zero chance.

The price was <$40 before Musk announced, currently $51.7.

At this point, an investor might see it as a chance to make $2.30 MAX or loose 11.60 OR MORE if it drops lower than it started.
Covid May Be Messing with Men’s Fertility, Study Suggests
Although primarily a respiratory infection, COVID takes a toll on a number of other body systems. One of the prominent effects is to the circulatory system, as evidenced by an increased risk of heart attack after having COVID, and, yes, maybe erectile dysfunction too. More recent research has found yet another non-respiratory effect caused by COVID: impaired male fertility. The new study suggests that the coronavirus alters proteins found in the semen of men who recover from the virus, some of which are related to fertility.

For the study, published last month by the American Chemical Society, researchers examined semen samples from 10 healthy men and 17 men who had been diagnosed with and recovered from COVID. The men ranged in age from 20 to 45, and none of them had a history of infertility.

The team found that sperm from the men who had recovered from COVID had decreased motility and count. They also had an increase in abnormally shaped sperm compared to men who never had COVID.

The researchers looked closer at the semen collected from the participants, to the proteins inside of it. They found lower levels of 21 types of proteins and higher levels of 27 proteins in the semen of the recovered men compared to the control group. Two of the fertility-related proteins were present in less than half their expected numbers.

“Whether this is an impact of the virus or the ‘butterfly effect’ of the infection it causes remains to be understood, but the effect is profound in COVID-19 survivors,” the researchers wrote. “Hence, there is a need to assess fertility-related issues in recovered patients carefully.”

Scientists are still unraveling the acute effects of the coronavirus on the respiratory tract and other body systems, but also the myriad long-term effects we see in long COVID patients who have recovered from infection. More research is needed to uncover and isolate the long-term health implications of infection, which could include a decrease in male fertility.

“Even though the patients of COVID-19 appear to have recovered clinically, biological processes such as reproduction may be compromised,” the researchers wrote. “To further understand these processes, it would be intriguing to validate more of these dysregulated proteins in a more significant cohort split into grades of disease severity and long-term recovered patients longitudinally to confirm the implications of COVID-19.” In other words, it’s unclear whether mild COVID could impact male fertility, or if only severe COVID could have an effect.

Because the cohort for this study was small, and samples could not be segregated based on severity of disease, more research is needed to determine if these results are repeatable in a larger, more diverse cohort. So if you’ve had COVID and want to have another kid, don’t worry just yet, especially because any actual impacts of potential difficulties conceiving after COVID have not yet been measured. If you haven’t had COVID, however, this study shows that although we know much more about the disease than we did two years ago, there are still plenty of unknowns, and you would do best to still try to avoid it.
Indeed, if they had made a profit would they have shared it with the company? (Obviously no)
All carmakers said the same thing about electric cars in 2005.

Old space told the same thing about reusable rockets.

Doesn’t mean Elon will get it right this time, but you cannot fault him for thinking people don’t get it and he can solve it and he has the resources to back his vision .

Better than say bezos or elision are doing with their fortunes at least he is trying something.

Losing 40 billion isn’t all that much money for him and losing twitter is not all that bad for us either so why not
Im working on something similar. Mine is a RFID scanner kiosk that uses a local db when offline. How do you manage sync conflicts?
I think GP was making a different point, that I happen to agree with, which is that Tesla invests heavily in certain areas (battery tech, drivetrain, performance, safety) and virtually ignores other areas (creature comforts, quality of interiors, body assembly quality at times). So depending on what things you personally weigh heavily, a Tesla seems like either the deal of the century or an overpriced hunk of garbage.
- takes its object-oriented cues from Smalltalk and not Java/C++/(other class oriented OO langs).

- Block notation allows for easy composability of logic.

- very easy to make DSLs.

- takes a lot of hints from Functional dynamic langs like Lisp.
> The question was whether gender/race education has been prioritized over math/science, and if so, did it result in worse math/science education

The primary motivation for holding back students _was_ gender/race concerns. It's plainly stated in the GP's linked document and in many other documents on the CA education "reforms" that differentiating students into different tracks is supposedly racist.

> What you described has been happening long before anyone cared about gender and race

No, it hasn't. State standardized testing has lowered standards, but individual school districts have always been free to move advanced students onto a faster track. I don't know of any high performing school district that actually cared about standardized testing results, because their students were so overprepared for the state tests it didn't matter.

> being rejected by Harvard has had on Asian people, and I say this as an Asian person

I see you're not familiar with the history of American discrimination towards Asians. Maybe we do need some education in our schools on racism against Asians to teach people like you? You should start with the Wikipedia article on the Chinese Exclusion Act and go from there. I don't see how you can compare gay bashing to literal concentration camps, systemic bans on Chinese immigration, and indentured servitude of Chinese railroad workers.

> I say this as an Asian person

Would you feel the same if you worked your ass off and got rejected but saw people with inferior achievements around you get accepted because of their skin color? If I was your boss and I promoted your black coworker over you because of his skin color wouldn't you be mad? Don't dismiss the hard work of millions of high school students applying to college with a simple "being rejected by Harvard".
The pill was put in place to prevent a hostile takeover, not to prevent any sale. Twitter accepting the offer does not constitute a 180.
Oh, there's definitely conflict. I'm a pretty calm guy but I got in a pretty memorable screaming match with the senior most enlisted guy on the boat. But most everyone has incentives to work it out - its to no-one's benefit if people are so hung up on something they can't do their job. In my case, because of that screaming match I really earned that guy's trust (and actually my whole watchteam's trust).

You do end up getting a spidey-sense for when it's too much for people, though. That quickly gets escalated to the CO/XO and people get transferred off the boat. (That's rare, though.)
I know this article (https://news.ycombinator.com/item?id=29510266) was submitted 5 months ago, but this is a new story on this news.
> How do cures propagate?

Conferences, journals, peer review, workshops, etc.
It wasn't data - it was an "example" of made up numbers. But you immediately assumed the numbers were based on something factual. Because it fit your biases? Was published in a text book? Doesn't matter - your post proves why it was a horrible, horrible thing to have - in a math book of all things! There are plenty of subjects to have as examples yet they had to pick something political?
Your damn right it was attempted indoctrination!
A coronavirus that's not airborne?!

When was this exactly that YouTube was banning videos for saying it was airborne? Examples?
The whole page is a joke. If you click on the first link on the page, you'll get the joke, hopefully. It's a satire of chess.com's calling a chess.com competition the "chess.com world championship".