skysight-inc/HackerNews huggingface dataset:
Do you mean apply program c to proposition f? That is compute c(f)? Of course no one disputes that if one encoded this in Rust's type system, Rust will enter an infinite loop. That's the point of this article.

But none of this has to do with whether Rust's type system is sound or complete as a type system, only that as a logic it is undecidable.
Most unixes on x86 optionally use RDRAND to add entropy to the /dev/random pool and I see that Win32 is also covered in json-c, so I don't see the benefit of explicit support for RDRAND in the critical path at least.

RDRAND may also be slow: https://www.phoronix.com/scan.php?page=news_item&px=RdRand-3...

Ultimately I think it was a mistake for Intel to try to provide user-level hardware random number generation. It's apparently not an easily solved problem and requires complete trust in the hardware and a fallback TRNG/HRNG that's just as secure if the hardware reports that it's not working. Why not just use the fallback all the time? System-level entropy pools are pretty well-studied at this point.
80k is about the ANNUAL salary for most devs outside of SF.
Every country's postal system is a system with a lot of interacting parts. You change one part, and it affects the others. Our postal system makes extensive use of mail delivered by vehicles directly to mailboxes that are located at the curb, on streets that are relatively dangerous for people. [0]

[0] I couldn't quickly find any believable stats, but I think it's a reasonable guess to start with traffic deaths in general, for which there are published numbers.
So weird

I personally would trust Telegram way more than even Signal for encryption.

Armchair sneering doesnt count for me
Presumably the government gets a price discount for ordering in massive bulk. Any idea what the price per unit is for either the gas or electric version?

The press release kind of vaguely implies a price range:

https://about.usps.com/newsroom/national-releases/2021/0223-...

> Under the contract’s initial $482 million investment, Oshkosh Defense will finalize the production design of the Next Generation Delivery Vehicle (NGDV) — a purpose-built, right-hand-drive vehicle for mail and package delivery — and will assemble 50,000 to 165,000 of them over 10 years. The vehicles will be equipped with either fuel-efficient internal combustion engines or battery electric powertrains and can be retrofitted to keep pace with advances in electric vehicle technologies. The initial investment includes plant tooling and build-out for the U.S. manufacturing facility where final vehicle assembly will occur.

> The contract is the first part of a multi-billion-dollar 10-year effort to replace the Postal Service’s delivery vehicle fleet, one of the world’s largest.

If "multi-billion-dollar" means about two billion and they make 50,000 vans, that's $40,000 per van. If they make 165,000 for 2 billion, that's about $12,100 per van. I guess that range sounds sort of reasonable.
I mostly only go to /r/conspiracy, but there is plenty of disagreement on the epistemic status of the various ideas discussed there, way more than you'll find in most any other subreddit.
This isn't a hard problem space, but treating an IoT device as a devops-managed fleet of hosts is asking for a bad time. Most modern devops situations assume you can, worst case scenario, replace the machine outright with relatively low friction. This isn't true with IoT. I wouldn't recommend puppet at all.

For a household-name IoT device, we did about 10000+ hours worth of testing on an array of devices for every update candidate. Think a walk-in closet chock full of devices covering every surface. This included thousands of hours of pure power-interruption scenarios, all automated.

We had a "alpha" and "beta" branch for internal users for ~a month before updates hit customers. If we bricked a device we could replace it.

For all update channels, we set a percentage of devices to deterministically receive updates. We start with 1% (probably 0.0001% now...) and double the rollout every day or so if things look good.

We had the ability to "roll back" to the last good firmware, which is stored on a partition on the device. This is almost never used.

Devices update in the background, unobtrusively. Once the update is complete, the device waits for a quiet window in which to reboot and try out the new firmware. Boot-time tests and a custom watchdog monitor the device to make sure everything works, including networking, filesystem, all services start up normally. If there is an anomaly, the device reboots back to the previous firmware, and this is reported home.

After some period of stability (minutes to hours usually) the device marks the update as good and will keep using it. If the device crash loops three times in a row within some window, it reverts to the previous version.

Yes, losing power sucks, and yes devices will get bricked and the filesystem will be corrupt, but you can do lots to ensure this is minimized. Like redundant partitions, leaving ample room in flash storage for bad blocks to prolong the device life, tuning log storage to avoid wasting write cycles and losing data on power loss, lots and lots of metrics and lots and lots and lots of automated integration tests.

If you're really struggling, I can help. Lots of fun problem solving in this space.
Funny she wrote that while Europeans were slaughtering each other by the millions. And what does an un-caged human actually look like?As a social species, we're always going to be in some form of bonded existence.
Very little, I'm sure. S3 and Ceph were both introduced to the world in 2006, which means they had been in development at the same time - or perhaps S3 even a bit before, since it was in a far more mature state by then. Also, while S3 and Ceph's RADOS both supposedly handle "objects" they're very different kinds of objects with very different APIs. And of course the metadata layers are completely different to serve different needs. It's practically certain that they both drew on the same common ancestors, but it's more likely that lessons learned from S3 informed subsequent development on Ceph than the other way around.
Yes and?

I have the full power of the language to force type correctness instead of some janky meta language.
It's not that.

It's as simple as: use of recommendation algorithms + forums at scale.

When you do this, people are automatically shown things that piss them off (outrage has higher engagement).

The bigger the scale, the worse it is.

Once you get past a certain scale you could get the same effect without the algorithm, but the algorithm makes it much worse.
My favourite model of 'when to interrupt' is two approaches to interruption:

Those who expect an interruption once understanding has been reached, and those who expect complete statements before interruption.

The failure modes from when these two different approaches mix is either "awkward" or "rude".

Generally, if someone is rambling, interrupt them. (With exceptions like if someone is emotionally venting, let them release it).
Most government tenders for a contract are available online, I'm from Australia so not entirely sure what I'm looking at but this[1] appears to be some sort of reference to the tender, although there is limited information provided.

[1] https://beta.sam.gov/opp/588f5ed4becd4fc4abf6df8e7a918184/vi...

Edit: This[2] seems to be a notice of the contract being awarded to Oshkosh for exactly $481,877,752.00 USD.

[2] https://beta.sam.gov/opp/1e56c386808444d886124fc1927f4eb0/vi...
My city Pittsburgh would also like to have a word with you. It's doing well now after a 40 year downturn. Long enough to ruin many peoples lives permanently where they couldn't outlast the cycle.

There are A LOT of places in the US where real estate has not been a panacea of wealth accumulation.
30 cases, but only 2 deaths i think.
You don't need much enriched uranium, but you need to process a lot of dirt to get it.
Natural uranium concentrations are around 0.1-0.2% (copper is around 0.6%), and you need 10 tonnes of natural uranium to produce 1 tonne of enriched uranium.

Furthermore, unlike copper, steel and other metals, uranium can't currently be recycled.

See my previous post
The founder's family was murdered during the holocaust, and he escaped and started the Dr. Bronner's soap company.

https://www.drbronner.com/about/ourselves/the-dr-bronners-st...
If I summarize it in one sentence: keep moving, and get better.
Once again, NixOS would be an amazing solution in this scenario.
Either that or negative tests made 72h in advance. Some countries already ask for certain vaccines in order to get a visa. Eg. yellow fever.
Robotic food prep is a good bet if you believe that minimum wages will be sharply increased.
Also of note that Firefox's Web Audio API implementation just isn't very good in general. It's my daily driver, but I won't run Airsonic in it, because after half an hour or so the music reliably starts glitching. Fine in every other client, so it's definitely a Firefox thing, and iO-808 [1] also calls it out in an alert if you go there in Firefox. (And also starts glitching out after a while, if you decide to ignore the alert and take your chances.)

Granted, a glitchy audio implementation might be just the thing for this use case...

[1] https://io808.com/
Sounds very scary. fnord
I'm also in New Zealand. What I found really interesting about this article was that apparently US mailboxes are positioned right by the road so that the mail carrier can directly drop the mail in from a vehicle. Clever! Although it must make it more likely to get your mailbox knocked over by a car.

Here the mailbox is usually on the other side of a grass verge and footpath (sidewalk), too far to reach from the road.
I don’t block it, but if I did it would be for security and performance over a moral stance.
David Bronner has a history of pro-drug activism, including planting hemp in the DEA headquarters.

https://www.newyorker.com/magazine/2016/02/29/david-bronner-...
Mail trucks have pretty drastically different requirements than a parcel delivery truck. Mail trucks are designed for a right sided driver and lots of stops on every block, so good visibility to avoid crashing into oncoming traffic or hitting pedestrians in the front is obligatory. Amazon, UPS, and friends have much more infrequent stops. USPS also needs vehicles that can last for decades with much lower maintenance costs than commercial competitors. With the Biden Admin's government fleet electrification plan, they'll also need to be easily built or converted to battery-powered.
I disagree.

I made 1 statement saying that requirements aren't explanations, 1 statement that I observed a rural carrier use a jeep for years, and then a statement that jeeps are in fact commercially available.

I would certainly expect a jeep with a mirror bolted on the traffic side to have better rear and side visibility than something with no glass in the back, so go ahead and hang your hat on visibility if you want.
Super fast and easy to use link shortener in Rust
Show HN: Personal Productivity System for Creators N Notion
(making numbers up here for the sake of an example)

My take on the employment situation is that if currently ~10% of people are employed in the food industry, and we replace 20% of those with robots (so 2% of the whole population) then that should be an unequivocally good thing.

If there's not enough jobs to go around, but we're still producing the same amount of value then we should be supporting those who don't have work (in this case, probably by everyone in other industries doing 2% less work but getting paid the same as they are currently, and employing the people replaced by robots to take up the slack, along with some sort of subsidy).

The problem here isn't that we're working out ways to do things without human labor, it's that we're still stuck in this mindset of people having to work, even though there's plenty of resources to go around (and there should be even more with automation, not less).
That's an excellent summation of the root of all human rights: ownership over one's self.
> there are reasons why hardware vendors are almost 100% BSD based.

95% of those reasons are that it is not GPL licensed.
If Hawking can be one despite being dead then Carl Sagan deserves a spot maybe? Four horsemen to ride!
How do you know they aren't relying on user reports and tracking who gets reported for what?

If 17 people per video report election disinfo over the majority of the content an account posts maybe they post election disinfo.

It's still impractical to remove enough to avoid being financially destroyed by even a minority of bad content if they were personally responsible for their users content given a single case could incur a 6 figure cost to win an unreasonable case.
Learn a munter hitch, it's extremely versatile and can do everything from securing something, to belaying or rappeling off it (with a locking carabiner). It is an extremely important knot for setting up rescue systems as it can hold a load under tension, yet can be undone and slack added to the system while under complete control.
yeah sadly once it goes it doesn't accept changes to the paradigm (for now). I think it's a good feature to add though (hot start!), thanks for the suggestion.

EDIT: I just changed it to support hot loading (might have to reload). Need to pause first though, can hot load through either continue or step buttons.
It would be useful to understand the flow of an SMS from a source to a Google voice number. While you can't port a Google voice number, it seems like if you can intercept an SMS from a source before it gets to Google then this technique will work.

A useful strategy to help against this in any case is to use a different email address for every online service. Hackers generally can't initiate an account password reset if they don't know the account.

Also if you use a different phone number for account security than your public one then it's a lot harder for them to know what SMS to intercept. Security by obscurity sucks but in this world it may be your only practical choice.
There have been some cases where someone who took Psilocybe/LSD go crazy and kill themselves but its super rare and not well understood as there are other ongoing issues.

I've also been wary of LSD being possibly chemically unpure and the possibility of it causing schizophrenia according to an HN comment I read long time ago, so I've only done psilocybe mushrooms a handful of times.

Microdosing is popular but unfortunately its mostly a placebo effect, your body grows tolerance to psilocybe very rapidly. It can't be done weekly and even monthly use will not yield its maximum potential.

I haven't done it since summer last year but it seems to have gotten rid of my depression and I've tried just about every anti-depressant there is. Zoloft to my memory has been the absolute worst. While it can be beneficial in some cases, I found Psilocybin mushrooms to be the best for me.

Your mileage will vary. I suggest first reading/listening about its properties from people like Terrence McKenna first. He will suggest 5 grams or nothin but tbh its way too much for a beginner.

I would say start off with far less. I actually did like 2 or 3 grams and it was absolutely amazing.

Your setting is important and your mood too.

I guess the most important thing about Psilocybin is that it is very much mechanical and feminine. It appears that you can communicate with it.

For a transcendental experience 5 grams is needed. Ego death is very scary because it feels like death but after the comedown, it seems to have had a radical shift in my values and thinking. It's impact does seem to fade however but the values it instills appears to persist.

I don't think we need to fear this any longer. We are past the Puritannical age of immaturity and ignorance for the most part.

Also once you try it you may never want to do it again because of what it surfaces internally within you. Just a warning that it may make one open minded and consciously aware of itself.

Just remember in any part of the journey, its very very hard to kill yourself by eating a bunch of mushrooms and pooping it out the next day. Yeah it does feel like you poisoned yourself when you start tripping and your ego desperately claws at the edges of reality desperate to not let go of the facade.

I hope that more people will see reality for itself rather than what they've been subconsciously programmed to believe from early on. I wouldn't describe it as NZT-48 from Limitless movie but it's somewhat close. It feels more like the red pill from Matrix because your view of reality will never be the same again.

Disclaimer: I absolutely do not condone you taking substances which you are unfamiliar with.
My rule of thumb is:

If it’s a library or framework question, research on your own until quite stuck

If it’s a codebase question, ask immediately (in a relevant company public channel) and continue digging. If you get the answer first, answer your own question, improve docs.
Looks like the founder managed to escape Holocaust, but his relatives perished: https://en.wikipedia.org/wiki/Dr._Bronner%27s_Magic_Soaps
>The iOS version of Signal has been installed close to 510,000 times to date in China

Installs, so not unique users. That's ...hardly anyone. I thought the number would have been higher than that.
And let's not overlook that it doesn't make elisp any faster. This isn't going to have a performance improvement for those who use elisp regularly for productive reasons.
This is not correct. Web push notifications rely on running a persistent service worker in a JavaScript runtime, which is not anything at all like how they are received by native iOS Apps.

Additionally with iOS apps, Apple can and does work directly with developers whose apps are overusing the notification system and draining power, which they cannot do with arbitrary web apps.
Cloudflare publicly states that they use a zero trust networking model. So, you can disagree with the facts all you want, but it won't change them.

BTW, the central controller for these cameras is "in the cloud". That's how they were hacked. Keep up.
Governments didn't say that a mask wasn't required. They said masks didn't help (presumably to prevent a run on them). It's definitely an understandable decision, but there's a big problem with it.

When officials start doing this, you have to play a sort of game where you try to figure out why they said something and what it signifies. You have to try to divine the state of reality and figure out what to do based on what you think they were trying to get people to do (there's a lot of uncertainty in this).

By that point, by definition, trust in the person (and probably the institution) is gone, and we don't have a lot of trust in institutions to spare.
I accept your apology, but I did take offense to your gatekeeping and suggestion that the composition of my class is somehow the cause of UCB's decline. I got a lot of benefit out of my 101 and 201 classes, and then stopped because I got what I was looking for and was not interested in continuing that track.

In the past, I said the experience was the social equivalent of joining a pickup soccer game thinking you were in shape, and wheezing while out of breath in the first ten minutes. The classes taught me the importance of active listening, the magic of groupthink, and the difference between sincere expression and artificial performance. My own experience leads me to believe learning improv can help the average person practice empathy and understand themselves better. I think the world would be better if improv were approachable to everyone (even those outside of LA and NYC who do not have $450 to blow).

Because I understand the scene better, I consider UCB, especially its "professional track", to be an exploitative clique that mortgaged its reputation for quick growth. Regardless of mission statements or guidance, it has always been obvious that a specific mold of performers are granted any opportunity. Still, there is no way the "old UCB" would have survived the past 20 years, and it is reassuring to hear startup theaters can spread the good word.
I’ve taken mushrooms quite a few times.

With a light dose, it’s just been mild, being silly and giggling at colors and nature. Pleasant, but just kind of a fun drug honestly.

With a moderate dose, you tend to be introspective and consider your own life and relationships in different ways. Feels like therapy to be honest. Hard work. Emotionally draining. There’s usually a lesson at the end. Overall it is good for me and makes me a better, more empathetic person.

With higher doses in a so-called bad trip, it’s sometimes been just extremely confusing and not at all fun, to the extent that I’d forget my own name or what I’ve taken and basically just all memories. It’s very frustrating to be in that state, constantly trying not to fly away but not able to ground yourself. It’s a little disturbing, but not horrific. I think the reason for this is that I am afraid to lose my ego, or die, and I would actually benefit from a slightly higher dose so I'm unable to resist.

With really high doses though, it’s been a truly beautiful, enlightening experience. I still think of it sometimes. It’s very difficult to really explain in words, but it feels like kind of extreme empathy with all life.
Buddhists would call it going egoless. I just felt very at peace: we all live, we all die, and it’s all okay. I’m not particularly religious or spiritual at all but that experience really changed me. It feels like life is in all these different forms, and you just happen to be one particular variation of it, but you could easily be any other living thing, so you just feel love and empathy for all life. And you know it’s finite and you’re not afraid of death. I would still attempt to avoid death, but I was just at peace with it if it was inevitable. Also, when you come back to reality you’re utterly, utterly convinced that you’ve experienced something profound, possibly, despite all your rationality, there’s a message form god inside this mushroom. It's so strange coming back, because you have to repiece together your life: "I am... a human... I live in a city called San Francisco... I am an engineer...". It’s almost like the mushroom is laughing at you: “good luck going back to your normal life now.” You’re left with “wow? That was that?!” It’s annoying honestly, because I’m not religious at all and I know it sounds crazy to even say that out loud. Of course, that feeling does slowly fade away like a distance dream or memory.

I think in general mushrooms strip away your individual sense of self and zoom out your perspective, which is why with a small dose you consider your relationships and with a larger dose you can sometimes get scared because you lose your sense of self but you're still trying to cling on. But with an even larger dose (obviously it's not necessarily the dose, but it's a rough correlation) you blast through even further, and the distinction between you and everything else melts away, which is a truly profound spiritual experience. In all cases though, seeing fractals and cool stuff is very unimportant.

A great story it reminds me of is “The Egg” by Andy Weir:
https://www.youtube.com/watch?v=h6fcK_fRYaI
Until they're targeted.

You can fool carrier customer service with no training.
I suspect McDonalds is only dealing with high turnover because their wages don't cover living costs. Not because there's actually nobody who needs the job.