skysight-inc/HackerNews huggingface dataset:
Right, but that's a subtly different type of infallibility: it allows the compiler to optimize instantiations of traits that are generic over error types by establishing that the error is impossible in a concrete implementation.

The other kind of infallibility is "the absence of an error encoding for a function means the function cannot fail". The Infallible type can't provide that, since a function have an infallible `Err` case but still arbitrarily decide to panic at runtime.

Edit: in other words, Rust's type system isn't strong enough to encode "full" infallibility. We'd need some kind of effect typing for that.
Direct link to the video

https://nitter.net/StephenMcDonell/status/158663367115021107...

It looks very disturbing to see them hauling their luggage (why do they have luggage at their place of employment?) out of something that I can only interpret to look like a prison.
> I'm calling bullshit.

Rust has excellent FFI support so this statement is about as controversial as saying there is no great difficulty integrating a 900k+ lines of C code from and in to C++.
I've been cooking like this for about 15 yrs or so when I discovered stainless steel and I couldn't recommend them more, if you don't have any please buy some now, they also last for a lifetime. Get some good stuff, the kind of thing that feels heavy on your hand.

Stainless steel takes ages to cool down, so I usually cook vegetables in a similar fashion to this "passive cooking" technique, the taste is much better and even the colors pop up much more. Actually everything just tastes better because Aluminum does change the flavor of food for the worse, it makes it taste more "acidic", idk, when you switch to stainless you will notice the difference immediately.
Diversifying a supply chain is not so easy. Takes tooling, JiT/Sequencing of parts, etc. Apple is going to have to invest (subsidize) to build it up from scratch.

And frankly I don't see Pegatron, Wistron, and Foxconn being too eager to do this. I've heard they're already dragging their feet.
Though, as other researchers have noted, they tend to give partial fixes for chains on older versions. That is, they might backport a fix for the zero click bug but they may not kill other less pressing issues like privilege escalation/sandbox escapes. I've seen this with a few of my own chains too.

Personally, my security bet has just been to stay at the absolute bleeding edge and install betas on day one. You'll get security patches first and, for the most part, many exploits are brittle enough that they tend not to work perfectly on newer, unseen versions of the OS and so you do have a slight advantage there.
That is simply not true.... the reality is the vocal minority can only effect change is the structures of power support their cause.

This is why people are sooo upset with the management change at twitter, and why they are going after the advertisers now while they still have at least symbolically control over the structures of power.

For at least 20 years now the far left authoritarians have had total control over the media, and the large internet platforms, this wind is starting to shift to the other direction and we are seeing the inevitable attempt to tear down the system before "the others" gain control over it
Did they have giant fitness center with a rock climbing wall and full time staff? What about a lazy river with life guards on duty? What about a counseling center or career center? Were the dorms apartments with individual bedrooms per student? How was the food? Were there vegan, gluten free, and nut allergy options available every day? Was the menu set by a chef?
Thanks elon
I like Jack Bogle's take on this: Stay the Course.
I would encourage you to google “ogallala depletion” and “water shortage in India”. Not enough rain falls for us to maintain our current level of agriculture so we “mine” reserves of water that were stored in the ground over thousands of years. This is called “groundwater” (you may be unaware of this term), and it renews at a rate far too slow to support the level of agriculture we are accustomed to.

You may also google “western USA water shortage”.
> why is flickering LEDs so common?

Maybe you have a "leading edge" dimmer, whereas most LEDs needs trailing edge.
I agree. At least it's something really innovating, rather than the usual rolling out your own youtube/whatsapp/etc. with EU data centers.

I am starting to appreciate Mastodon. It's clearly more difficult than Twitter but I believe that the young generations will learn it quite quickly.
do me a favor. can you check how much you use your iphone vs android. It seems you use your work phone more than iphone. thats why its running out of battery most likely. also, i would prefer iphone over android for work because they have better enterprise compatibility. Android is always a mess with work profile in my experience.

also, w.r.t camera, DXOmark rated pixel 7 pro more than iphone 14 pro max. even latest macrumours review (check comments of that review) shows pixel is clear winner
for example, go and take moon pictures with your 6 pro and iphone 14 pro. tell me which one has moon vs white blob.
> you don't need the 96W charger

Depending on the workload and model of computer, 96W can absolutely be required, and a lower wattage inadequate. The new PD spec allows for up to 240w, with special cables required.
You're on target here. I have become the dumping ground for misbehaving keurigs from family and have managed to make most of them work or frankenstein parts between them.
I hate the machines and wish this never happened. I was happy with a french press. Curse my urge to not waste things.
That's what the article says.

> Decades ago, Fuller put forth the idea that savory seeds, rather than sweet pulp, initially attracted foragers to certain wild melons and gourds. “The seed is high in edible fats, and it’s storable and transportable,” he says. “We often think of watermelon seeds or pumpkin seeds as snacks, but there’s no reason why in some cases they might be cultivated in part primarily for the seed.”
As an old joke says, "I work in IT, and that's why I only have mechanical locks."
> *water boiling phase excluded

Why is the part of the process that consumes the most energy arbitrarily excluded from this, am I missing something or are they just being dishonest so that they can include a bigger number in their marketing?
I'd be interested to see if you have any feedback for me on Boot.dev. we are really trying to make it fun
I wonder if a good solution would be to have a fairly hefty capacitor taking charge from the supply side and then have the system measure the capacitance to determine how it will light the bulb from there. It could check for a capacitance drop to know it is using too much power and drop the output brightness using voltage or PWM, then bring it back up as the capacitor fills more. You would definitely get fluctuations, but increasing the capacitor size would absorb most types of fluctuation and also allow a system agnositc approach, able to ignore whether it is a PWM, sine cutting, or other method of dimming on the power supply. A nice benefit would be the very slight curve in the light output when you turn it off, just extending the lighting a few parts of a second as the capacitor drains.
There's no inherent reason you couldn't, but it'd almost certainly be faster, cheaper, and vastly more reliable to do it with binary logic.

In actual practice what we typically do is select primes that are "near" a power of two, called the Mersenne primes (which have the form 2^N - 1) and Pseudo-Mersenne primes (2^N - a). These have special properties that let us work with them more efficiently. Modern algorithms for these kinds of special cases are branchless, divisionless, and constant time, even if they're not quite as fast as operations in the binary fields.
Go famously has very few abstractions.

Ergo successor language.
That's definitely close, thanks!
or they put on headphones and then try to live with it.
I tried to do this at my last job, unfortunately there was too much friction and not enough buy in, so it didn’t take off.

Glad I know about the term “body doubling” now though and that there are services available, this is great!
I've definitely noticed that with my bike light. You don't notice the flickering normally, but rain makes it looks like you're playing a video game at 3fps. (I think I measured the flicker and the PWM frequency was like 400Hz, which is not quite as bad as 3fps.)
True story, but in order to reduce dev toolbox churn it might make sense to use 2in1 solution that works like charm on save action with WebStorm for example.
You can buy good LED drivers with up to around 20kHZ PWM, but even 800 hz is enough to not see the flicker anymore, though it will show up on a video camera as stripes. It's the cheap 250 hz drivers that are painful to the eyes.
I honestly can't tell whether that whole page is satirical or not.
My ex wife had a very similar problem and those were the exercises her physical therapist had her do. I figured I'd try them out and see if they helped me before going to the doctor about it.
If we're going to raise the cows anyway, I think what you're telling me is that I need to try harder to eat more beef.
> 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).

The efficiency loss of the electric kettle also gets converted into heat that heats up your home, energy doesn't just disappear.
Yes, at least where I went to school in the early 90s (UCLA)
For years it already has been a haven for antifa, communists, socialists and other authoritarians to communicate and organize.
Given that Musk has previously said that he wanted less moderation on Twitter, and that this sort of giant conglomerate brand advertising is notoriously risk-averse, it's surely not surprising that they're pulling back for a bit to see if what he previously said was true?

I'd assume that, if in a few months, Musk has gone back on his previous claims and Twitter moderation remains much as it was before, they'll return. If not, not.
It's funny you mention Firewire. Up until last year, I was using a Firewire audio device with my Win10 machine - it was released in 2007, and the last driver update was in 2012. Even though official support had dropped a decade ago, it still worked. Because of the architecture of Firewire vs USB, if you wanted a lot of high speed I/O, Firewire was the way to go - as long as you weren't running a Mac. While researching the Mac Studio and its M1 processor, I read some rather pathetic stories of using a series of dongles - Firewire -> USB -> Thunderbolt (or some such chain), and some hackery to get old drivers installed.

I decided I'm in a comfortable enough place now that I can upgrade to a modern interface... without getting too into the weeds, I replaced an outboard mixer and two Firewire interfaces with a smaller, higher quality analog hybrid device that runs USB-C. And funnily enough, I've nearly recouped the cost of the purchase by selling my old gear.

Hanging on to old equipment just does not fit the Apple model. Trade in early, trade in often, or get stuck on old architecture, and get phased out of the upgrade path. I've got a 2015 Macbook Pro I should have traded in the moment I heard about the M1 processor. It was the vintage to have, and now I'd be lucky if I got $400 for it.

Anyway... there is a large portion of the human population that seeks out and worships idols. It's like any rational part of their brain decides that with THIS person, they can relax things like curiosity or critique. If I keep typing about the topic, I'm going to start saying unpleasant things that will no doubt upset people, so I'll just leave it at that.
I've seen Taiwanese making petty preparations for an invasion, Taiwanese soldiers complaining about poor equipment, insufficient ammunition and poor leadership and Taiwanese citizens and politicians criticizing the U.S. instead of China.

A nuclear war is not inevitable in Ukraine because the U.S. isn't a combatant. But I do believe this conflict could easily spiral out of control and lead to a nuclear confrontation between Russia and NATO.

If the U.S. were to intervene in Taiwan it would mean a direct confrontation between two nuclear armed powers which, as I claimed before, will inevitably lead to an all-out nuclear exchange.
In my experience drip coffee in a halfway decent machine from halfway decent beans is miles better than most/all instant. Just because drip coffee is convenient doesn't necessarily mean it's bad.

The beans you use are more important than the brewing method - if you use a giant tub of stale Folgers it probably won't be great. But grind you own decent beans and a drip machine can be fantastic.
Because someone else could say things that look like they’re coming from you.
> how could this ever be proven to never go out of bounds?

I've done this in Ada/SPARK.

My simple_regex implementation of Rob Pike's algorithm [1] based on this blog post [2], is proved not to crash on overflow or bounds checks.

[1]: https://github.com/pyjarrett/simple_regex

[2]: https://benhoyt.com/writings/rob-pike-regex/
This is a consequence of China’s zero-Covid policy. Nationally, the instruction is to eliminate outbreaks, even of new and milder variants. Leading up to the party congress local authorities appear to have reported inaccurately low numbers to avoid bad news for the leadership. Now, after the congress, the task is to quickly eliminate outbreaks to avoid the need for even harsher measures like full-city lockdowns like seen in Shanghai earlier this year. Additionally China has spent the past three years telling its population that the rest of the world has been irresponsibly murdering its citizens by adopting a “live with Covid” policy.

So when rumors of a possible lockdown of the factory or its economic zone started spreading, employees fled either because they feared an outbreak or because they didn’t want to get locked in there for an indeterminate period of time.
The Chinese vaccine is pretty good, so their population is already well protected, assuming they have been vaccinating everyone as thoroughly as they have been locking them down…

I think one problem in China is that old people have resisted being vaccinated because they don’t trust the authorities. And old people are obviously the most at risk of dying or being seriously ill. It’s a made in China problem, for sure.
Damn, 40 per kWh electricity.

My last energy bill (including taxes and fees) is showing $0.124 per kWh electricity, and $0.62 per cubic meter of gas.
China has maintained a zero Covid policy and has yet to lift it.
Go is the language i use the most and in almost no sense would I consider it a replacement or contender for C. If anything it's replacing things in the opposite direction, I rarely use python now.

C is used for low level stuff e.g. embedded, OS, drivers. Go is GC'd which is a huge barrier. This is honestly one of the most bizarre takes I've ever seen on Rust vs Go. If I had to bet I'd say Rust will never replace C but it won't be because Go did so instead.
Many preppers DO work to create parallel structures -- the "bomb shelter" approach is pretty plainly just a way to buy a little time in the event of catastrophe (but it does come in quite handy in the event of the far more common blizzard, hurricane, tornado, or heck, pandemic). Prepping on basic skills will likely outlast any stockpile of Chef Boy-ar-dee (and besides...after 6 months of that stuff and nothing else, do you really WANT to survive?).

But all that aside, the issue is, nobody is quite sure what exact scenario they're prepping for. Simply having a buffer so you can avoid needing to panic while some direction is felt out is worth having, but the limitations of it are worth being aware of as well.
I'm not an algebraist! So maybe what I'm about to say is dumb:

As I understand it, the correctness of any correct algorithm is conditioned on some requirements about the data types it's operating on and the operations applicable to it. Once you formalize that set of requirements, you can apply the algorithm (correctly) to any data type whose operations fulfill them.

But some sets of data and some operations on them that fulfill some formally stated requirements are just an abstract algebra, aren't they? Like, if you have two data types {F, V} and operations on them {+, ×, ·, +⃗} that fulfill the vector-space axioms, they're a vector space, so any vector-space algorithm will work on them. So every algorithm (or, more accurately, every theorem about an algorithm) defines some algebraic structure (or several of them), which may or may not be a well-known one.

For binary search you have two sets: the set of indices I, which is what we've been talking about, and the set E of elements that might occur in the array a you're searching through. You need a total order on E, and I think you need a total order on I, and the array a needs to be sorted such that aᵢ ≤ aⱼ if i < j (though not conversely, since it might contain duplicates). You need a midpoint operation mid(i, j) to compute a new index from any two existing indices such that i ≤ mid(i, j) < j if i < j. And "mid" needs a sort of well-foundedness property on I to guarantee that the recursion eventually terminates; for any subset of ℤ you can define a "mid" that fulfills this, but for example in ℚ or ℝ you cannot, at least not with the usual ordering.

I don't think a Euclidean domain is quite the right thing for I because there's no obvious total order, and I think you need a total order to state the sortedness precondition on the array contents. Also, lots of Euclidean domains (like ℚ or ℝ) are dense and therefore could lead you to nonterminating recursion. And it isn't obvious to me that "mid" requires so much structure from I.

If you care about complexity you also have to define the cost of operations like ≤, mid, and array indexing, so your algorithm is no longer defined on just an abstract algebra, but an abstract algebra augmented with a cost model. But for correctness and termination that isn't required.
> Just because you haven’t heard of it doesn’t mean it hasn’t been around for a long time

idk if you're responding to the wrong user, but I never made the claim that it hasn't been...
If we’re all clear that US policy does not consider Taiwan a part of China (i.e. the PRC), I don’t have more to add.
Unless you have some sort of thunder-wok burner the 110V kettle is still way faster than the stove.

Source: have a 110V kettle and a gas cooktop with very large burners, still use the aforementioned trick.
What? "They just have to solve the problem. That's it."
China could have bought vaccines from other makers. Sinopharm wasn't very effective to begin with ( https://www.who.int/news-room/feature-stories/detail/the-sin... has it at 79% compared to the Pfizer and Moderna vaccines starting out in the mid 90% range).

... and then you get a visitor to Shanghai Disney testing positive and https://youtu.be/yioG7mK01U0

Realizing that I am delving into speculation, this sounds more like the refinement of establishing a police state where one can use "someone you came in contact with tested positive for Covid" and shutting down large segments of a city and sending people to government quarantine camps than a desire for political stability.
> It's mentioned later, but the "math friendly" versions satisfy the axioms of a group and a field, which only works if the modulus is a prime.

The integers mod n >= 1 are always a group (under addition), only the field structure requires prime n.
One important stage of error correction is spreading, that use a pseudo-random function to 'spread' the damaged data over several blocks that can be then completely recovered, instead of concentrating the damage in a single block (like often happen in erasures) that cannot be recovered.
Unless this changed on newer MacBook, you don't even need USB PD. Even an old school A-to-C cable will work. Granted that's never something I'd want to use since it's incredibly slow, but it was a good backup the time I forgot to pack my 60w Gan charger. IIRC I only got the battery up to about 50% after charging overnight.
I don't think this will ever happen.
> billionaire with no fucks to give can actually book themselves a ride to Mars

What is a billionaire gonna do once they get to Mars?
I can’t tell if you’re being sarcastic at this point, but yes, you can in fact see Russian news in the USA. There are plenty of places(ie. Reddit) where people also add English subtitles for non-Russian speakers.
The irony is that the best Master Lock in terms of picking resistance is a plastic LOTO lock that offers almost no protection against brute force attacks.
Once introduced, it's hard to downplay the usefulness of an electric kettle.
IMO this is backwards in term of goals and motivation. You should write a blog post if and when there’s something you want to write about. You shouldn’t start from wanting to have a blog but not actually having topics you’re passionate writing about.
Iphone 14 isn't selling well in China. PR defense against low sales numbers.
There is a vast philosophical gulf between languages like C and Go (less is more) and languages like Rust and C++.
I'm sure it would be Windows 11 in lock down mode, with mostly just Edge? Maybe only just Edge? So not Chrome Os, but still a Chromebook competitor. The ARM tablets weren't far off that to be fair.
Really nice features announced. I guess it can be adopted by other editors.

That's a bummer that it is Mac only, no Linux support, and even Windiws!! WTF?

And ideally it could be opensource)

I hope new tools would emerge, that implement this ideas.
You're a perfect example of what jerf is talking about. "I'll get the dog and you get the kids and we'll meet at Aunt Sue's place" is "an emergency plan." Stockpiling 3 months of rations is more prepping than 90% of Americans are likely to have ever done. But because of the stigma of "crazy preppers", you don't want to call it prepping.

That stigma is a problem. People need to be prepared for both short-term emergencies and long-term disasters, and they need to stop being made to feel that doing so makes them social outcasts.
Opting out of meds is a valid personal choice, for sure.
Show HN: Tone 0.1.2 – hackable cross platform audio tagger
Hey HN,

I just wanted to show the next version on my little (maybe useless) side project called tone[1] to get some qualified feedback.

tone is a cross plattform command line audio tagger deployed as a single static binary without dependencies, so a wget should be enough to install on any platform (seems not to work on M1 Macs atm... if someone can help here I would really appreciate it).

It gained some major improvements since the last version. As soon as .NET 7 is out, I plan to integrate AOT (ahead of time compilation)...

Features:
- dump and modify metadata for supports most common audio formats (mp3, m4a, flac, ape, etc.)
- use JSONPath to query single metadata fields in dumps (--query='$.meta.album')
- most common AND custom metadata fields (album, artist, but also sort-title, movement-name, etc.)
- Chapter support for mp3 and m4a
- Embeddable pictures
- Custom `tone.json` metadata format to export / import all metadata in one file (including covers as base64)
- Hackable via custom JavaScript functions (write your own taggers with url fetching and custom parameters)[2]
- dump range of raw audiodata bytes (e.g. to calculate hashes)

Thanks and have fun.

[1]: https://github.com/sandreas/tone
[2]: https://github.com/sandreas/tone#custom-scripted-taggers-experimental
One pedantipoint for you.

"These stories" -- I guess one could interpret that as an assertion that the stories are in the linked post. If you're looking for something to nitpick.
That's fine by us, we mock the American accent relentlessly!
How the US can stop wasting billions of dollars on each transit project
Never interrupt your enemy while they are in the middle of making a mistake.