skysight-inc/HackerNews huggingface dataset:
On my phone a Rust program of significant size can take multiple hours to finish compiling, where a C program of comparable size would take about an hour or slightly less.

No reason to discard the language, for sure, and I don't avoid compiling from source even on this machine, but it's definitely worse than C.
> So he's bluffing to prevent China from invading, that's only logical. If push comes to shove, however, he'll pull back from the brink. Taiwan simply isn't worth fighting over, even if it would mean losing influence in Asia.

> And I've become convinced the Taiwanese will not fight their own kind, no matter how much they hate the Communists.

Well I guess all we can do is wait and see if these predictions of yours come through.
> This is about three times as energy-efficient as a gas hob.

I sincerely doubt this figure in cases where electricity is generated from fossil fuels in the first place.

For example, I lived in the Netherlands where 80% of electricity is still produced by fossil fuels, mostly in gas-fired power plants. As I understand it, generating electricity from gas has an efficiency of only about 50%. That means you lose a lot of energy before it even arrives in your home.

An electric kettle has an efficiency of about 80%, with gas stove around 40%. Assuming the cost of transportation is approximately equal for gas and electricity, that means using the gas stove is about as efficient as using the electric kettle, if you assume (most of) the electricity comes from a gas-fired plant.

In the winter, the gas stove will be more efficient since all the heat that doesn't go into your food, heats up the room (heating is typically also based on gas in the Netherlands, so this is basically free energy).

> Combined with passive cooking it could save real money

Again, I don't think this is true. Currently the energy market is fucked up because of the Ukraine war, but up to recently a cubic meter of gas cost around 1 euro, which produces roughly 10 kWh of energy, versus a kWh of electricity cost around 40 cents. That means that on a per-kWh basis, gas costs only a quarter of electricity. So even if the electric kettle is twice as efficient as the gas stove, it is still twice as expensive.

In countries where most electricity is generated by burning coal (like Poland, for example) there is also an environmental cost, since coal-fired plants emit more CO2 per joule than gas-fired plants.

YMMV based on local energy prices obviously, but I don't think it's straightforwardly true that electric kettles are always more efficient or more environmentally friendly than gas stoves, if you look at it holistically.
According to WHO, China's Sinopharm COVID vaccine has "not yet been evaluated in the context of circulation of widespread variants of concern".

So maybe they don't have a choice and that letting COVID run through whilst everyone could be effectively unvaccinated would quickly overwhelm their health care system and lead to mass death.

Xi very much cares about political stability and it would be pretty toxic if China has all of these troubles whilst the rest of the world has moved on.
I have a Rust monorepo with about a dozen microservice apps and two dozen shared libraries.

The compile times are inconvenient, to put it mildly. Production release builds take approximately 40 minutes and are especially painful when I forget to codegen the SQL schema definitions (sqlx).

At some point I need to invest in CI devops and use Bazel build caching.

Pain aside, the ability to share code is glorious. Clion + Rust plugin does a tremendous job navigating it all.
Supply and demand is making education unaffordable. The government subsidizes student loans which increases demand of course, but they subsidize at such an irrational rate it also gives colleges a blank check to charge whatever they want.
Popular Mastodon instances like mastodon.social or chaos.social have closed registration currently. masto.host a service to host your own (payed) instance doesn't accept new customers for now.

Apparently many people have enough confidence that Mastodon is ready for them that at least they give it a try. That's good.
One of the reasons Shenzhen is iPhone assembly city is because there are so many little ancillary providers around for all the surface mount components that are common on PCBs.

If I'm running a PCB assembly line and my primary supplier of surface mount capacitors is the only guy within 50 miles, where do I get replacements from if something happens like there's a fire in his factory and it goes offline? In Shenzhen you go to the next guy down the street who's selling the exact same part.

So instead of being down for three days while finding a way to get an additional supplies airlifted in you can have probably have another supplier up and going before you run out of what's left in the lean manufacturing pipeline.

Before making the move to any labor market concerns like those have to be addressed or at least the risks mitigated. That takes time and costs serious money. As the SMT industry ramps up in more locations it'll be easier to diversify assembly locations.
Talking to Yourself
>Imagine you need to choose a server every time you wanted to surf the net

??? I don't have to imagine. That's exactly what happens when you enter a URL.
It's a consideration for:

> things turn ugly

PRC's leverage start after shooting starts (like TSMC), when PRC closes air and maritime space and specifies repatriation corridors will stop first on mainland for processing. International community sees all the cratered TW runways and entire TW coast except some West locations are saturated with mines and conclude, there's no other choice - can't airlift or merchant fleet into what's not accessbile. The process will be an abbreviated shitshow done as quickly as possible (Dunkirk style) because foreign nationals are already trapped in a warzone (like in openning of UKR war).

Countries take repatrioting thier citizens seriously, and since PRC has ultimate veto over entry/egress to island, they have leverage, especially if there is a timer ticking down to when the island will run out of water and food. No one wants their nationals trapped and dying on hunger game island. Unless TW starts holding foreign nationals hostage, they maybe compelled by international pressure to agree to PRC coordinated evacuation points, which may include beach heads under PRC occupation (or relunctantly surrendered to PLA), where every ship that arrives to pickup evacuees is going be loaded with PLA. It's an undertaking that will require thousands of ships over weeks of intensive activity that will make the strait not engagable to defenders or outside meddlers due to intermiggling of civilian and military activies. Imagine fallout if a TW / US missile sinks a boat full of Philippinos (or imagine if PRC engineers false flag of that). Maybe international community can also convince PRC not to do this, but what incentive is there for PRC to listen? The one's that will sanction will sanction anyways and get last dibs and buy PRC some time, the ones who cooperate will get priority. Of course all speculation, but there are many exploitable dynamics inherent in TW being an island with unrecognized sovereignty.
What is meant by “without reference to”.

How about -
Addition is move and multiplication is also a move.
a + b move from 0 a step then b steps.
a * b is move a step b times.

Is that count?
Ok, do you have a source that isn't someone known for playing fast and loose with facts, especially financial ones? Anything pre-takeover that suggests they were losing $4M a day? Because it is almost certain that the $4M a day he quotes is likely only due to the $1B a year debt interest Musk himself saddled the company with.

Or do you think it is even slightly plausible for a company to go from a profit of ~$570M to a loss of ~$1.4B in under a year?
Depends what LEDs you’re talking about. Christmas lights are really bad. They’re worse at 30hz because it’s cheaper not to rectify the AC current so they only chooch half the time.
I agree, but that doesn't extend to top level stuff like gating content behind logins. That's kinda what I was trying to say.
Very cool! I wish the frame with the string visual wouldn't disappear when no tones were playing. On mobile I wanted to hear one tone at a time, each in succession, but the page jumped around whenever I clicked on/off a single tone, so it was hard to use it in that way.
looks like standard verbiage they used for press release that contain language financials..

https://www.apple.com/newsroom/2022/10/apple-reports-fourth-...
If every player gets them, they could be.
The article cites a $6.6 billion reduction in state funding. There are 14 million students in US public universities. So this accounts for less than $500 per student. Not a significant factor to price increases.
Well if you go for proof of absence of runtime errors, it's SPARK, which is a (compatible) subset of Ada, and comes with a toolset to perform verification. Proof of absence of array-bounds errors or any runtime error (well except for OOM and stack-overflow - for now).

I'd add that Frama-C does also this kind of proof and IIRC Eve (Eiffel Verification Environment ?) too, though I find the SPARK workflow far easier and advanced (but we use it more so... I'm biased).
To perhaps state the obvious, I use mine mainly for coffee. And the occasional tea cup.
Tutankhamun’s Ostriches
Same, hah I was expecting it to have something like "warning this press release is known to cause cancer in the state of California" in its kitchen sink of legalese warnings.
> The $8 is important because it's a tax on bad behavior.

but then why call it "verified user" as apposed to "premium user" or some such.
A Twitter employee was literally working as a spy for Saudi Arabia. He passed private account information on Saudi dissidents to their intelligence service, which probably got some people tortured or killed.

https://www.reuters.com/legal/former-twitter-employee-is-con...

If Twitter was penetrated by one spy then there are probably others who just haven't been caught yet.
They're found in most college dorm rooms.
How big a lens does one need to focus sunlight onto a cooking pan to boil water and cook pasta without emissions?
Yes, fully immerse yourself by moving somewhere where the language you are interested in learning is spoken.

Or use Anki, but full immersion seems to work better.
I bought an iPhone 14 Pro with the thought “this needs to last me a couple of years.”

It’s not the color I wanted per se, but my old phone wasn’t working well for my needs and I figured continued supply chain issues would linger for awhile.

It’s only a matter a time before Apple starts making hardware closer to home en masse. Home, of course, being “not just in China.”

The era of de-globalization is upon us.
Thank you for your thoughts.

Everyone can affect their emissions to some extent.

* Don't have children is a big one, or limit the number you have. One child is equivalent to 24 people people not driving, someone quoted to me the other day. It's not a popular idea though.

* Drive a small car not a big car. Drive about 90kph, it's more fuel efficient than driving faster.

* Buy local - It might be more expensive in money, but milk shipped 4,000 kilometers is more expensive in emissions than milk from a supplier in your region.

And so on ...
Twitter for iOS updated with $8 checkmark in-app purchase
Back in late April/early May I was doing some travel and realized I had totally forgotten my 96 W charger for my work Macbook Pro at home. "Well," I thought, "no fun to spend my own cash on a new charger, but better than the disaster of losing capacity to work while traveling, guess I'll just pop into an Apple Store and pick one up."

They didn't have one. OK, I asked -- did they know anyone who did? "No clue, you might want to call Apple Support."

Doing so revealed that there were none of these available anywhere, and the schedule on which they were projected to be available was early July.

Fortunately, I had two fallbacks:

(1) I was traveling in metro LA, which meant that I could check craigslist or FB marketplace or whatever and maybe a handful of 15mm Angelinos would have something up for sale.

(2) The MBP charged via USB-C so presumably I could find anything that could deliver 96W or thereabouts and use it.

Option #1 panned out, but it was still a flashbulb moment for me indicating that we're not exactly in familiar territory economically. It isn't just consumption goods that are sometimes scarce, this was a key piece of equipment the lack of which might have interrupted my productive capacity entirely or forced the cost/adaptation of entirely new substitutes.
There are no stories of blogs going viral and the authors becoming celebrities in the linked post.
And AC (asbestos cement) FWIW.

https://www.waterworld.com/drinking-water/distribution/artic...
More than a gallon? That's a big batch of spaghetti - it stands to reason that if you're feeding a great multitude, there's going to be a cost in cooking fuel.
My impression was the the patch goes on the affected skin. I don't know where T->DHT, but I assume that it's not in the skin. I am not a doctor and I'm not even well informed on this matter.
3 or 4 weeks ago I was trying very hard to buy an iPhone 14 pro (purple no less) and it was down to trying to order for pickup every morning at ~6am. I got lucky one day, so did not have to wait for 6 weeks. I find it interesting that Apple is addressing this directly.
In the US, Barilla pasta boxes (and most other brands) have a small plastic window so you can see what the pasta looks like. The UK website is promoting the fact that they recently removed those windows from the UK packaging.
This is the reason - because we are lending to anyone and everyone. It’s similar to subprime - no need to prove ability to pay the loan back. Only you can’t discharge student loans with bankruptcy so it’s almost worse in the long run. It’s predatory lending by another name.
I've cooked a lot of pasta in my life and most pasta will be fine in usually 1/3 to 1/4th the typical amount of water, though often better with frequent stirring to prevent the pasta from sticking together (which is the reason for the large amounts of water and boiling water in the first place).

If you're heating up 1.5 quarts (instead of a gallon) for pasta you're saving almost 3x the energy for the initial heating.
I want to get a Pixel 7 Pro (sending from my Pixel 2XL) but no 5G support for the country I'm currently residing (Greece) is a bit of deal-breaker. Rooting is an option but I don't thing I want to go that way. (Has been doing it on my Nexus 5.)

It's the 1st time I'm considering a switch from Android to iOS.
Barilla is a corporation. It's unable to do anything by itself since it's a legal construction and not sentient. Instead it bribes humans into doing its bidding for it.

I don't think it matters which humans are paid and how, does it? Only that it did actually pay for this stuff.
https://tvtropes.org/pmwiki/pmwiki.php/Literature/WarWithThe... is another example of Czech humor. (From the author who brought you Robots.)
a major bug in your analysis is, Microsoft doesn't publish the bulk of Windows source code, it's a trade secret. It's still covered by copyright, but fair use is absolutely not in the picture, and whoever does publish it has no license whatsoever.

(and I've hated Microsoft and other monopolies from before 80% (90%?) of you were born, so this isn't me defending Microsoft.)
I was reading a biography of John Nash and came across this game that he (re)invented. Thought you all might enjoy!
> Yes, if everybody can be verified, then it loses its value as a status symbol, and that’s good.

why?
Contabo.com. I use two of their servers to self-host some stuff and so far they've been quite stable. There are other cheap providers but they're often of questionable reliability. Luckily you can pay monthly rather than yearly like many other budget VPS providers, which convinced me to try them out back in the day.
> I'm under the impression that the claims of Mastodon include "self-moderation"

That's "the instances moderate themselves", really, not "the users moderate themselves". With large numbers of users, you'll need assigned moderators.

> because of its supposed decentralization, 24/7 uptime is not needed for any one instance

Not sure where you've got that idea - decentralisation just means that I can talk to other instances from mine. But if mine is down, I can't log into another one with my account details and carry on Just Like That.

> If it's not like that, then claims for its decentralization are highly overblown.

If you're understanding "decentralised" to mean "seeded like a torrent", yeah, it'll seem highly overblown but at the same time it'd be very wrong.
Hate to break it to you but everyone can hear those videos, they're not what they say they are. I downloaded the audio of the one that claims to be 1Hz and analysed it - most of the energy is between 40 and 60Hz, with some as high as 100Hz. I've uploaded a screenshot so you can see for yourself: https://i.imgur.com/GSpa8ZJ.png

The thing is, I didn't have to listen to the video to know it's BS, because I know there's no consumer audio equipment (speakers _or_ headphones) that will reproduce tones lower than 20Hz. As a matter of fact you'd be hard-pressed to find a subwoofer that will even do 25Hz. Go ahead, prove me wrong.

Note that I'm not trying to disprove or diminish your claims of what you personally experience. But I'm also not going to "take your word for it". I find it very hard to imagine what 1Hz "sounds" like, and so far nothing you've provided makes that gap any easier to bridge.
They consume less for sure but the light they emit decreases faster, thus per light the efficiency decreases.

This is because leds have a fixed voltage drop and just a bit above that your light efficiency is almost zero.
Honestly it seems more likely for an American household to have a Keurig machine (or hell, even multiple Keurigs) than to have any kind of kettle.
I get this effect when using a dimmed led headlamp in the rain. I can see the rain drop fall in discrete steps.
> backing the most startups that made it big [10 years ago]

This is not the case today. And most of those startups also had to then migrate to Go/Java/etc. to scale.
> The system you describe simply doesn’t exist, standards or no. A 64-bit kernel can’t hand out 64-bits worth of addresses because no CPU built today supports it.

"Today" being the important part. That could change tomorrow. I could implement a 64-bit CPU right now that would support it (on an FPGA). It's not an inherent limitation, it's just an optimization that current CPUs do because we don't need to use the full 64-bit address space, usually.

Also, address space doesn't necessarily correspond 1-to-1 with how much memory there is.

For example, according to the AddressSanitizer whitepaper, it dedicates 1/8th of the virtual address space to its shadow memory. It doesn't mean that you need to have 2 exabytes of addressable storage to use AddressSanitizer, or that it reads or writes to all that space.

As I said, memory overcommit and memory compression (and also page mapping in general, as well as memory mapping storage and storage compression and storage virtualization, etc) allow you to address significantly more memory (almost infinitely more) than what you actually have.

There are other tricks with memory, page mapping and pointers which could break your code if it's not standards-compliant. This could happen for security reasons or because of new compiler or kernel optimizations or new features.

So I agree that this isn't a problem right now, unless you're doing something very esoteric, but if you want to have standards-compliant code and be more future-proof then you cannot rely on that.

There is also the point that the Go code that we're discussing has nothing to do with arrays, memory or address spaces, because it's a generic binary search function that works for any function "f" passed as an argument.

For example, it can be used to do a binary search for finding the zero of a mathematical function (i.e. for finding which value of `x` results in `y` becoming zero in the equation `y=f(x)`) and this has nothing to do with address spaces.
> China will almost certainly invade in the next decade

What the hell is wrong with all of this warmongering and reddit-quality posts.
More money in the system doesn’t generally drive prices up in other areas due to supply and demand. Instead you get very expensive options for people with more money and cheap options for the cost cautious.

Collage is largely an exception to that as elite schools don’t charge 100+x the average the way say watches, clothing, etc do, and most people aren’t going with the low cost options.
Why is it so hard to in block torrent if all they have to d ok is block these DHT servers
Trim it really close, im not going to pull off a jason statham or bruce willis, but its easy enough to cut with an electric razor myself. Used to have a cheap barber, but covid led me to try it myself, and doable
Some companies find only humans can do the job
To clarify the things you are ignoring:

1. Multiple well known and respected experts like Dr.Marco Langbroek and Jonathan McDowell tracked the rocket heading at a low angle over the Atlantic towards Cote d'Ivoire

2. Multiple governments including the US released statements saying they believe it went down there

3. An infrasound station on the ground there picked up the debris traveling overhead[1].

What more do you really need? It seems clear it must have hit land.

[1] https://twitter.com/SinaZerbo/status/1260323482396774400