skysight-inc/HackerNews huggingface dataset:
People who aren't PL theorists understand the multicore benefits even if the retrofitting paper might be over their heads. On the other hand, the bounding data races in time and space paper/presentation is also a fairly significant change that I don't think the average dev has an easy to understand relationship with.

Anil covers it in a bit more plain English in this Signals and Threads episode. Here's a bit of the transcript, starting at about 50 minutes in:
https://signalsandthreads.com/what-is-an-operating-system/

> Ron: Do you have a pithy example of a pitfall in multicore Java that doesn’t exist in multicore OCaml?

> Anil: There’s something called a data race. And when you have a data race, this means that two threads of parallel execution are accessing the same memory at the same time. At this point, the program has to decide what the semantics are. In C++, for example, when you have a data race, it results in undefined behavior for the rest of the program, the program can do anything. Conventionally, daemons could fly out of your nose is an example of just what the compiler can do.

> In Java, you can have data races that are bounded in time so the fact that you change a value can mean later on in execution, because of the workings of the JVM, you can then have some kind of undefined behavior. It’s very hard to debug because it is happening temporally across executions of multiple threads.

> In OCaml, we guarantee that the program is consistent and sequentially consistent between data races. It’s hard to explain any more without showing you fragments of code. But conceptually, if there’s a data race in OCaml code, it will not spread in either space or time. In C++, if there’s a data race, it’ll spread to the rest of the codebase. In Java, if there’s a data race, it’ll spread through potentially multiple executions of that bit of code in the future.

> In OCaml, none of those things happen. The data race happens, some consequence exists in that particular part of the code but it doesn’t spread through the program. So if you’re debugging it, you can spot your data race because it happens in a very constrained part of the application and that modularity is obviously essential for any kind of semantic reasoning about the program because you can’t be looking in your logging library for undefined behavior when you’re working on a trading strategy or something else. It’s got to be in your face, at the point.

(and so on)
Is it anti-trust? It seems blatantly anticompetitive but I’m curious what specific law they seem to be breaking (so I can add it to my anti-Twitter complaining heap).
Nah, not even the biggest in the past 20 years (Sumatra was larger).
I'm not sure how much free speech we should assume on someone else's private platform. In theory Elon Musk could close Twitter off to everyone, but his closest friends. In the same way that only a few people can use my phone to make calls. I'm no Musk supporter, but Twitter is his now -- if we don't like it, we should roll out a new "Twitter" -- which I'd happily switch to.
Thanks for the thoughtful and detailed response. I wonder how many entrepreneurs actually follow such a systematic approach and end up with a company on the other end?
Or the vast amount of plugins and community support. Using atom over vscode hasn’t really made sense for a few years now , and I loved atom
> Coal and nuclear are uncompetitive

In what sense are there uncompetitive? Do you take into account that they work on demand (and not only when wind/sun is available).
Fossil and biofuel are the ones that kill 8M per year. Not just coal.

That nice smell of wood burning in the air is pretty deadly, sadly enough.

https://www.who.int/health-topics/air-pollution#tab=tab_2
> - The right side bar is "dynamic". Most of the time it's the Explorer showing the directories and files, but when I try to search for something, though, it becomes the Search sidebar. Same for all the potential sidebars (Source Control, Run and Debug, etc.)

Yeah it's just a tabbed view. I like it, saves space while staying useful. Maybe because most software I use has tabs already.

- Everything is a plugin. That means I need to carefully check who's the author of the plugin, probably check as well the source code to avoid using malware, etc.

True, but most popular languages have plugins authored by Microsoft. Some are from Red Hat. You'll miss out on GitLens and LaTeX Workshop, but VSCode with only trusted plugins is more than good enough.

> - Everything is a plugin. That means I need to craft a set of plugins in order to work in certain projects. I prefer JetBrain's approach

For Python, web dev, C++, etc., there's a "plugin pack" that depends on what you need to work.

> No floating windows. Maybe I'm old-fashioned, but I prefer that, for instance, Settings to be opened in its own window, instead of opening a new tab in my editor. Also all the Settings in VSCode are on the same "page" (sure, whenever you scroll, the left-side grouping of Settings is updated accordingly, but imho it's difficult for me to focus on the section I need to work on)

Sounds like you just don't like tabs? I find that the window list gets way too crowded and messy when I'm working on multiple projects with multiple tools. Tabs (in browser, explorer and editors) are a lifesaver.
If it’s cheaper than coal then why are we still building so many coal power plants?

https://www.theguardian.com/environment/2022/apr/26/too-many...

Coal is at record levels.

https://abcnews.go.com/amp/Business/wireStory/report-worlds-...

Removing coal power plants would have made a noticeable difference.
Not of this size. Certainly single pieces are used in other applications where safety is even more critical such as submersibles. But manufacturing a tube this big would be impossible.
It is harder for the government to know who is spending cash, but easier for the government to devalue cash
Sure, we do all stand on the shoulders of giants. But the other things I listed requires significantly more research and development effort than building an IDE does.

Also I dispute that VS Code is the quickest editor out there. It’s faster than its Electron counterparts but that’s a pretty low bar. This isn’t a dig at VS Code, it’s my default IDE (well that and vim). But the largest part of the reason I use VSCode is because it’s free.

That, for me, is its real advantage. But that’s not an engineering achievement.
Elon Musk’s Twitter Suspends Accounts of Several Journalists
The country that takes control of its energy policy seems to be doing fine

https://www.visualcapitalist.com/chinas-energy-transition-in...
Any form of sugar? That includes essentially all fruits and most vegetables.
Took about 10 minutes to set up, and it's working great. Thanks!
> Quaker Oats Center of Excellence

Well, aren't we overselling.
Thunderbolt isn't that well supported, and they decided to specifically not use USB3 which is well supported for bogus reasons. #1 rule with Linux is pick well supported hardware.
i think all it does is show us two things. we now know for absolute certain that:

1) he recognizes that posts can have real world implications.

2) he thinks its ok to mitigate those implications through suspending accounts and deleting posts.

we now know these for absolute certain.

so how do he (and his fans) justify the mockery they give to other groups who ask for help due to very real and immediate dangers--he goes on "cancel culture" rants and "wokewokewoke" rants. even though he fully understands why they're concerned and has shown that he thinks its entirely acceptable to suspend and remove accounts.

well well well indeed.
The issue was caused by the forced reduction in heating due to energy sanctions.
The decreased warmth of the lobby caused the aquarium, which was sensitive due to its size and construction, to contract and contort to the point of structural failure.
If it can panic apparently they do have it.

https://en.wikipedia.org/wiki/BridgeOS says it runs the Touch Bar.
The article specifically says that this particular aquarium was made of glass?
I’ve used Fanurio[0] in the past and it works well. It won’t win any design awards, but it’s cross-platform (Java) and covers all the features without a subscription.

[0]: http://www.fanuriotimetracking.com/
Fascinating article on their early life and incarceration: https://www.newyorker.com/magazine/2000/12/04/we-two-made-on...
If by success rate you mean inclined rate, it varies a lot by level. I'd say it's around 30% for interns (which is by far more lenient) and closer to 5% for Senior level. However it's also common to downlevel senior candidates rather than downright reject.

From my side of the table I can confirm that of course luck plays a role. Nevermind the variability of the coding problems themselves, but the variability on the interviewers. Even in my company, that has a formal process and pretense of objectivity, interviewers quality and expectations vary greatly.

In short, I'd say what people on the hiring side hate to hear, but interviewing is ultimately a numbers game. I wouldn't take rejections too seriously. The best you can do is to improve your chances with proper prep (leetcode, system design) and interview broadly.
I don't understand your comment. You seem to be indicating that I am somehow opposed the wide use of solar or that I support wide use of nuclear power - neither of which is the case. I'm just saying that steam turbines being "non-profitable" is not a consideration in whether or not to use them.
Correct me if I'm wrong, but isn't one of the reasons we are building MORE coal (and biofuel) plants because the addition of solar and wind have added volatility to the electricity supply?

With few exceptions in the world, in a electricity grid the supply and demand of electricity have to be 1:1, and if wind and solar is adding volatility to that supply, another flexible power source suddenly becomes very profitable and useful.

Nuclear is costly to turn on/off, but coal, biofuel and natural gas isn't. So turning it on/off based on the shortage caused by sustainable sources is why they're coming back, have been my understanding
‘Mr. Musk tweeted last month: “My com­mit­ment to free speech ex­tends even to not ban­ning the ac­count fol­low­ing my plane, even though that is a di­rect per­sonal safety risk.” On Wednes­day, though, he equated the prac­tice to doxxing, or the pub­lish­ing of pri­vate in­for­ma­tion on­line with ma­li­cious in­tent, tweet-ing: “Real-time post­ing of some­one else’s lo­ca­tion vi­o­lates doxxing pol­icy, but de­layed post­ing of lo­ca­tions are ok.”’
>> Anyone who posts Mastadon links are being banned regardless of political affiliations.

> This is simply not true, just search Mastodon.social links on Twitter via this link,

As referenced by phoe-krk above, Twitter appears to be blocking Mastadon addresses in bios, not in tweets. That makes it a slightly different scumbaggery than we thought.

I find the BBC headline is confusing; it says users are blocked for 'Sharing' Mastadon links, which sort of (wrongly) hints that one can't tweet Mastadon links.
For your first point, you can drag views to other parts of the window.
Huh. Charge 25-40 cents/kWh, give back 5-8 cents. And that's not counting their own taxes and fees that allegedly go to improving their aging infrastructure that they can't fix with the profits they make.
The ultra-wealthy have complained for years about this. There's actually a method to get temporary and anonymous call signs for PJs through the FAA, but it's not supported internationally, so every time you leave US airspace you have to yank and reprogram the box. So basically Musk doesn't appear to be using the tools the government gives the ultra-wealthy to avoid scrutiny of their travel, probably because it's inconvenient, but he reserves the right to complain endlessly about it.
Lead and Cadmium Could Be in Your Dark Chocolate
Maybe I made a mistake. What I meant is that when you ingest food the body processes it and one of the products is glucose. So you can completely put aside all sugar ingestion, that's what I wanted to say. You've said that everything I said is completely incorrect so it would be great if you can expand yourself why everything is so wrong.
That's a strange way to look at sovereign wealth. Their government has power far beyond the budget and no real checks and balances.
Fruit also contains glucose. Studies of HFCS suggest that the problems all come from lack of signaling. Your body doesn't "notice" the calories you obtained from the fructose, which causes all sorts of downstream issues.

To see the effect for yourself: Go to a fast food restaurant, and get the largest sized cup that would normally have HFCS soda in it. Fill the cup with sugar based soda, and drink the entire thing at a normal rate. You'll likely feel full / nauseous before you get to the bottom of it. This doesn't happen (as soon) with HFCS soda.
I looked this up before posting my comment. According to Wikipedia at https://en.wikipedia.org/wiki/Witness_immunity:

"In the United States, Congress can also grant criminal immunity (at the Federal level) to witnesses in exchange for testifying.[1]"
Tell HN: Doing a chargeback against Google will get your account banned
I too enjoy doing crimes, where might there be criminal activity to partake in?
Even among 100% real honey, the ratios of sucrose, glucose and fructose vary wildly. At the extremes tupelo honey is very high fructose, and thus is famous for not crystallizing easily. On the other hand, canola/rapeseed swings so far the other way that it can crystalize in the comb before harvesting.
Neither Musk nor Ford live up to the idealized/made up version of Henry Ford.
I wonder if this is why some of my monitors don't come back on after sleep. Is there a way to tell if macOS did the pause via the logs?
https://www.youtube.com/watch?v=pu0nBUxdUo0 He was talking about a "monolithic an ruthless conspiracy"

Eisenhower also had a few surprising things to say about the "military-industrial complex" - but that was on his farewell speech.
Mastodon link posting also appears to be blocked. I mean, perhaps it’s time to deactivate the Twitter account and head on over to Mastodon.
I personally use ProtonVPN, since I also use ProtonMail. I'm not very knowledgeable about how well they stack up to other VPN's security/privacy wise, but it's free so I make use of it :)
I've heard that, for the most part, small dense LDL is what is mostly found in cardiovascular disease.
Try working on demand 20% of the hours since renewables easily without anything fancy reaches those levels.

Now your horrendously expensive plant became even more expensive.
A guy making geodesic domes without hubs came up on my YT playlist recently. I went in skeptical, came away thinking this is the way I would go .. uh, you know, when I finally build my dome-abode.

If you have woodworking skills (and table-saw, chop-saw), it looks like a no-brainer. For better or worse, the guy goes on a long time about the template/jig he creates — its utility become obvious later when he begins to make the panels.

https://youtu.be/Sl9fEp-27EM
Partially correct. Gluconeogenesis produces sufficient glucose for (adult) humans to survive.

https://en.m.wikipedia.org/wiki/Gluconeogenesis

Edit: Added „adult“
I wish that were true, but I think at this point it's technically mutable but ossified, much like the Bitcoin genesis block. You could change it, but you'd have to do a lot of work. So much work that it's just not gonna happen.
Now that I know how it's supposed to be pronounced, that's how I'll pronounce it.

So I just invalidated your argument, lol.
There is no such thing as a "90% buy to sell ratio", because every transaction consists of a buy and an equal-sized sell. You can try to classify each marketable transaction in terms of whether buyers or sellers were more aggressive, but that doesn't tell you anything about the state of the order book and the amount of resting orders that are present. Large portfolio do not unwind their positions by just throwing everything into the market as marketable orders, they put chunk after chunk of it into the order book as resting orders. That can easily drive down the price even if it looks like buyers are more aggressive in terms of marketable orders.
> AMZN is down much more

AMZN is down, proportionally, less than TSLA from its 12-month high (AMZN -49.7%, TSLA -62.5%; AMZN is also down proportionally less since close on Dec. 31, 2021 (AMZN -47.5%, TSLA -57.2%)..
Yeah, the problem in the EU is that they are lax in checks during the patent grant process and you have to sue to invalidate those patents later, even though they never should have been granted :(
Building temperatures were mandated reduced due to energy sanctions. This put stress on an already sensitive structure and caused it to fail.
Could you be more specific? I kept bees for a decade and don't know what you're referring to.
> (Is it just me or is there a lot of FUD in this thread?)

Lots and lots of 'this is why I haven't used Linux for N years (and thus don't know what it's like)'.

I have to use Windows at work, and the system is way, way less predictable and reliable then any Linux system I've run for a decade. Shit changes out from underneath me (Windows Update, policy changes) in breaking ways all the time, and there's often no rest to inspect or reverse what causes breakage. For every 'evening of Linux' I've had on my life, I have a few 'afternoons of Windows' (mostly hopelessly, blindly turning things off and on again) every week.

When I ask colleagues who are my more accustomed to Windows than I am about how to solve issues, how to achieve particular configurations, or how Windows does certain things, it becomes clear that actually managing their workstations like comprehensible devices which are substantially under their own control is a foregone conclusion to them.

The reality for Windows users is not a system that actually 'just works', but a deeply internalized helplessness that manifests as conservatism (attempting little, assuming many reasonable configurations are not possible), superstition (attempting and advising reboots, constantly, without being able to articulate a real reason), and blindness to the outrageousness of the situation (e.g., thinking it's perfectly acceptable that their laptop can't handle an uptime of 4 days before it starts falling apart, or 'I always shut my laptop all the way down at the end of the day so it'll run better').

It's no wonder that people conditioned by this kind of usage pattern don't have a sense of what reliability or mastery look like in the Linux world, how frequently issues like this do or don't occur, how easy or hard they are to avoid, etc. They live on a different planet, where mastery in desktop computing is worthless because there's just no hope for a predictable, transparent system that doesn't change out from under your feet. It'll just break tomorrow anyway. And on their planet, it doesn't occur to anyone to research hardware compatibility ahead of time; they never need to. So of course the thought of spending an evening rooting out a hardware incompatibility issue strikes them as some mixture of futile, extremely burdensome, and unavoidable/common for those poor Linux users— even when none of those things are true.
I'm curious how this relates to Skia (the library that handles cross-platform rendering for Chrome and Flutter). Seems like this could be an alternative backend but also could serve as faster replacement?
Daniel Stenberg (curl) knows the feeling.

https://news.ycombinator.com/item?id=12949114
Yes, steam is expensive to produce, utilize and cool.
>What’s wrong with Twitter? Tiktok, Instagram, Snapchat... Mastodon?

Err, the fact that none of them offer a way to find other queer users in the same area as you. This seems like a fairly basic point. If you're living in a small town, you're not going to be able to easily find other queer people near you on any of those apps.

But why do you think that teens will be magically be safer on Snapchat or other such apps? This really seems to just be based on an excessive fear of 'gay' apps.

>Why are you being so strange about a normal word?

In general he's obviously tweeted both before and after joining twitter. So if a 'pronouncement' is just anything he said on twitter, the answer to your question is obvious.
FYI, Mastodon's official twitter account was banned without any violation of any apparently made up rules.
I've used Unity since around 2014 or so, for personal projects and also at work for a VR startup. The primary problem with Unity is: 1. The editor has become so slow and buggy, to the point where it is unusable, 2. Features are half-baked, like the new ECS which has failed to replace the old user scripts, lack of a networking solution despite years of development time, etc. My relatively small personal project causes the latest Unity versions to constantly freeze with loading bars that never complete. I think that peak Unity was 2019 or so, all versions since then have been worse.

With the ironSource acquisition complete, I don't think things will turn around. Unity didn't have a cashcow like Epic, so some sort of acquisition was pretty much inevitable. The profits from Unity licenses and the Unity asset store just isn't high enough to sustain development.
>They run at 30-35% efficiency with a humongous amount of machinery to support them.

Oh wow, I didn't know that, yikes. Can link me a source to find out more?
No, what he wrote - and you’ve so helpfully provided the quote - about was allowing teenagers to use those apps formally, with some illogical argument about general purpose platforms.

There’s a reason gays use Grindr, because they have a sexual preference and want to meet others with that sexual preference for sex. If they wanted to just chat they could go on Twitter and, you know, chat with anyone - gay or not - because it’s general purpose. Is it difficult to find gay people on Twitter?

If some bloke starts writing that we should let young girls on Tinder because they already use it and, god forbid they could just use Twitter for a chat, it’s too general purpose, they need a hookup app for interaction, feel free to label him a paedo too because that’s what it sounds like.
Many countries permitted leaded gasoline for a long time, and many of the countries that kept it around the longest are also places that grow a lot of chocolate. Lead from car exhaust tends to stick around in the environment for a long time - as part of the soil and the dust in the air.

In South America [1]:

> The first country in South America initiating the phase-out of leaded gasoline was Brazil, moving toward alcohol fuels and unleaded gasoline from AD 1975 on, and achieving a total phase-out in 1991. On the contrary, unleaded gasoline in Bolivia, Chile, and Peru was not introduced before AD 1990–1991, and leaded gasoline was still in use until 1995 (Bolivia), 2004 (Peru), and 2005 (Chile).

In Africa [2]:

> But lead was still common in fuel in Africa and the Middle East. In 2002, UNEP organized a coalition of African governments and oil companies to promote the phaseout of leaded gas, the supposed vehicular benefits of which have been found to apply only to very old cars driven in extreme conditions. Lead was history in sub-Saharan Africa by 2006, and by 2014 was found only in Algeria, Iraq, Yemen, Myanmar, North Korea, and Afghanistan.

[1] - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4643815/
[2] - https://qz.com/africa/2053227/leaded-gasoline-is-now-banned-...
By this logic, any of the hundreds of URL shorteners out there could be used.

It's not difficult to follow a redirected URL one hop to find its 301/302 location header and then ban the source URL as well as the redirection site.

IMO it'd be more robust to list your Mastodon profile as a slightly obfuscated string of text, like people have done to fight spam bots when listing email addresses. E.g. [@]User(at)home{dot}social
Not evidence of OP's trend but authoritative data on Ice Shelf Index by GSFC at NASA.

https://earth.gsfc.nasa.gov/cryo/data/current-state-sea-ice-...
It very much explains the 'strong man' concept and why people fell for it in the past.