skysight-inc/HackerNews huggingface dataset:
In parts of AWS / Amazon usage of YAML is forbidden.

I sort of remember it was a contributing factor to a significant outage. A YAML config file was truncated and given partial configuration and otherwise falling back to default config, it put a system into a bad state.

YAML was banned by some teams (and discouraged in most teams), because you can't detect a truncated file, like you can with XML or JSON.
Unless it's your whole business model, in the case of some elements
>"Your for loop can do all kinds of damage ..."

So can programming in general
In Japan, there were a couple of ski lifts that make almost 90-degree turn, called "bending lift (屈曲リフト)". Near the turning point they put up a warning sign like "please hold tight or you might be thrown off". As a kid I always enjoyed the experience though. Sadly all of them have been torn down by about a decade ago, due to its high maintenance cost.

cf. http://cable.cocolog-nifty.com/sakudo/2006/02/post_d5e1.html
San Francisco is trash. The communists milked Fauci-19 to destroy the city.
It’s a general talk on OS design centering Rust as a general solution in that space when Rust is just a language not a specific OS design concept or abstraction. The concepts attributed to Rust in this talk can indeed be leveraged in any language (with varying difficulty).

The title of the talk says it all:

On Hubris and Humility: developing an OS for robustness in Rust

Which seems silly to me when this title works just as well:

On Hubris and Humility: developing an OS for robustness

Now imagine if the title were:

On Hubris and Humility: developing an OS for robustness using XML

Now I’m sure it’s possible to use XML to develop a robust OS but the usage of XML specifically is less relevant than the techniques employed using XML. In that case the reference to XML seems like evangelism. I’m sure XML evangelism has an audience but it comes across to me as less substantive (and less interesting) than a talk centered around general principles that were successfully leveraged in OS design. It also makes it hard to tell the extent to which the usage of XML specifically to achieve the desired requirements was necessary.

A reasonable reader would understand that using the title to make my point is only an example of the content that runs throughout the talk which is similarly oriented around Rust.
I am aware of all these rules, but they don't address my question. ASAN and friends add instrumentation (at significant cost) at runtime and are imperfect, especially in multithreaded programs where accesses can race with frees. My question involved another thread (for example) freeing the pointer to an underlying allocation, which was previously in-bounds. In this case, whether it was UB to construct the pointer would depend upon whether the free was synchronized with the pointer arithmetic, which is not generally something compilers can work out in nontrivial programs (though these days this stuff is amenable to formal verification).
Fly-Pie 10
Internet isn't TCP though, it's _just_ IP, and there's two internets, some computers have access to one, or the other, or both.
I need this. Where do I get my headband?
It’s more like “in a world where every group of n horses are the same colour”, no matter of whether that world is the real world or not, “prove that any group of n+1 horses are the same colour”. This inductive step proves nothing about the real world, it needs a base case to kick things off. If you can prove it true for n=5 say, then the inductive step gives you every higher number.
> I have come to accept that I'm never going to invent some brand-new algorithm that changes the world. I'm probably not even going to invent a framework people like.

This thread is great, but this part felt a little weird coming from one of the co-founders of npm.

(Yes, I know a lot of people on HN don’t like Node/npm, but it does needs be remarked that they’re the most influential software ecosystem of the past decade.)
Scrubbing references to Mastodon doesn't come cheap.
A lot of these things run on sentiment . About 15 years ago the supposedly smartest people and greed was on Wall Street . Talking derivatives and investment banking was where all my college friends with the best grades went .They were the bad ones and we were the cool good ones.
Fast forward to today and big tech is where those same college friends are now, the greed is still there , the gentrification of the west coast and a whole host of things means we are the bad guys now.
Enter the FTC and new anti- trust and anti- monopoly laws. It’s been a great ride for the last decade but I agree that big tech needs to be reined in .
If this wasn't in Mathematics Made Difficult it should be
Here's an emacs yas-snippet that does the same thing (and was inspired by yours)

# -*- mode: snippet -*-
# name: Piped Inspect
# key: pin
# --
|> IO.inspect(label: "$2$1 (`(buffer-name)`:`(line-number-at-pos))`)")

I also like to use a non-piped version:

# -*- mode: snippet -*-
# name: Labeled Inspect
# key: lin
# --
IO.inspect($1, label: "$2$1 (`(buffer-name)`:`(line-number-at-pos))`)")

And occasionally a logger-based one:

# -*- mode: snippet -*-
# name: Logger Inspect
# key: logi
# --
Logger.info("$2$1: #{inspect($1)}")
Hard disagree. For loops do not have guarantees about in-place mutation; that’s why they require a full read. Anything that starts with a map/filter is guaranteed to only apply to the thing that it is assigned to. That’s more than worth its weight in grey hairs.

EDIT: “full read” includes “everywhere else this array is used, which can have far-reaching consequences if it was passed into the containing function by reference.”
Wow, sorry to be blunt but 1) it looks AWFUL. I didn't expect it to robustly-successfully redraw sources but this is just a dismal implementation of depth-reduction. 2) Its offensive, insulting, to say that this converts into 'pixel art'. 3) Not only that but it is trivial. I'm sure almost anyone reading will have done something at this level for interest in two or three lines and then abandoned it seeing how bad it looks. As a pallet cleanser (ha) here's an article about actually good low-color automated processing https://bisqwit.iki.fi/story/howto/dither/jy/
I think it’s often a bit of overkill when people tie this to the company or employer. The way I was raised, discussing money in any sort of non utility ways was consider extremely rude. Asking someone’s salary was incredibly offensive. When you think about it how could it be anything else? You’re effectively asking someone’s value. For the majority of people there is no other standardized metric, so it is often perceived as asking “how valuable are you? Tell me and then let me judge”. Everybody feels more valuable when their salary is higher, and everyone has the ability of bias, wether they account for it or not, to belittle those who are payed less comparatively.
Microsoft screwed up terribly.

When Covid hit; all I heard was "How do I use this Zoom video thing?"

Other than people here, it seemed like no one knew what Skype did.

One they used Zoom they were hooked.

Plus--they have no desire to learn anything else. It's not that Zoom was that great, but it was easy to use. Most civilians hate technical stuff. And I don't blame them.
Even with solutions like Handl.ai, the "shuffling documentation" portion is still a bottleneck?

No affiliation to Handl, btw.
And yet USB does 'too little' overloading of the USB-C port:

> Full-featured USB-C cables that implement USB 3.1 Gen 2 can handle up to 10 Gbit/s data rate at full duplex. They are marked with a SuperSpeed+ (SuperSpeed 10 Gbit/s) logo. There are also cables which can carry only USB 2.0 with up to 480 Mbit/s data rate. There are USB-IF certification programs available for USB-C products and end users are recommended to use USB-IF certified cables.[12]

* https://en.wikipedia.org/wiki/USB-C#Cables

Power delivery has a minimum of 60W (3A@20V) with support up to 100W (5A@20V), with a recent addition of 240W (5A@48V):

* https://en.wikipedia.org/wiki/USB_hardware#USB_power_deliver...

And "USB-C" is not a monolithic entity, given there have been several revisions now (1.1, 1.2, 1.3, 1.4, 2.0, and 2.1 in May 2021).
Real-Time Exactly-Once Ad Event Processing with Apache Flink, Kafka, and Pinot
WebAuthn is based on public key cryptography. U2F signs website's challenge ("transaction") with your private key that sits in the key fob ("wallet"). SSH and TLS client certs work the same (I can take your public ssh key, and I'll know when you try to log in to my server, obviously).

You don't need a blockchain for identity. The unique feature that Blockchains provide is protection against double spending (without reliance on a single party), but that isn't a concept relevant to authentication.

Everything else in "crypto" is the old boring cryptography. All the zero-knowledge proofs, secret sharing, anonymity, proofs of identity are just general-purpose tools that blockchain systems happen to use.

"I've used a transaction to log in — we should use wallets for identity" is like "I've used my car radio to listen to music — we should replace ipods with cars!"
Anything where the working set is larger than L3 cache.
It's far more than that. It's all the movies, TV, video games, professional sports, porn, "music" and other garbage called "culture" … not even to mention the run-on effects from all that wasted time that has made people weak in mind and body, which has then also compounded through intersex conflicts and inefficiencies and incompatibilities.

I don't think people quite understand all the fifth oder effects and dependencies that are at best ignored, at worst totally unknown.
I asked not because I can't google them, but to open it from the player, is that at all possible or do I have to go online to the homepage, github, and open my terminal to find out how to change settings in MPV?

>There are advantages and disadvantages to this. It's cross platform, so the same psuedo-gui code works the same on every platform

I can't find it on iOS anyway but VLC is there, I don't know the benefit of having the same UI on mobile and desktop so its probably lost on me. Having a manual in the program or it bringing up a text file in the program can't be that against MPV sensibilities can it?

>No? Shortcut-focused GUIs and command line interfaces are not the same thing.

I agree, I can use shortcuts on VLC as well, but it has a GUI and help file, but MPV is like starting a program in your shell with no man files.

>Suppose you want to control your media player from another application

I can control through d-bus and control VLC with SSH with ncurses. https://wiki.videolan.org/Documentation:Modules/ncurses/
CLI and keyboard-driven are not the same thing.

Manual is the same as everything else on the system; `man mpv`.
You don't know if it will change. This is what I'd call a 'leading indicator'.
For well optimized code it is.
They’re obsolete now, except on YouTube.
This is awesome! I wonder how hard it would be to write something that takes an stl file or something and then cuts it into possible Lego builds.
"Other than finding a few binary counters and observing the general structure of the frames, I haven’t been able to figure out the meaning of any of this data."

Feels a bit like failing to communicate with an alien race.
And brother too.
The problem is the second line:

"Now suppose for all sets of n horses, every horse in the set has the same color."

There is no justification for that. They then go on to talk about removing a horse from such a set, but we've already lost.
> it should be impersonal and outside the whims of any group of people. Gold is like that.

Gold is not like that at all. In the days of gold backed currencies, owners of gold mines had tremendous power to manipulate the market at their own whims.
> This was in response to acts of war and unprovoked attacks against the United States mainland with both military and civillian targets by an individual who had made a specific declaration of war against the U.S.

Since when do individuals wage "war" on nation-states?

(And no, if the only counter-examples you can come up with are 18th-century pirate chiefs and tiny Carribbean islands you've failed. We're talking 21st-century USA here.)

> Comparing that speific case

Which "specific" case? The GP mentioned hundreds of Gitmo prisoners, several of which have later been shown to be completely innocent victims of mistaken identity.

> to failure to follow proper criminal procedure and rule of law is disengenuous to the extreme.

If anything is "disengenuous to the extreme" here it seems to be your defense of the USA's recent practices.
Agreed. Being able to drive two 4K monitors, charge my laptop, and attach a USB hub via one USB-C connector is well worth the tradeoff of occasional incompatibility with cheap cables.
This feels way too coincident with her recent book release.

Given her already public figure persona and proceeds from prior works, why EVER take the risk to ship such personal hardware to a 3rd party?!!

Just get a new phone and sync a back-up…unless it just might be beneficial PR to, apparently, do the “risky” thing and carp about it.

So far, I see ZERO corroborating evidence—even something as simple as a suitably redacted screenshot of an email to Google support.

Trust, but verify & extraordinary claims require extraordinary evidence.
Here's one example from a search: https://revero.com/vlad-manages-type-1-diabetes-carnivore-di...

And here's a person I know from Twitter: https://twitter.com/furniss_jon

I found an article by this person about it https://blogs.meterbolic.org/blog/taking-control-of-type-1-d...

Note that I'm not sure about his status at the moment because he's experimenting with a lot of stuff, and I'm aware of the beta cell issue, but it seems to be more complex than that. Perhaps it can only be arrested in a subset of people who somehow retained a baseline of insulin production.

Re: glucose, I'm not disputing glucose is always necessary, just not dietary glucose and only about 25 grams per day. Humans seem to be extraordinary at using fat for energy.
In the west a few decades prior, buildings would be constructed on gravel, field/paving stones or even the bare ground that would last a couple of decades due to the low moisture, but I don't think they would've done that there or that late.
Advent of Code 2021 in Google Sheets: First 4 Days
Note that this bound has since been improved to 748 [1] and you can actually view and run this 748 state turing machine here [2]. This comment on reddit [3] is a good attempt at condensing all the information down and explaining why this means proving the value of BB(748) is independent from ZFC.

[1] https://scottaaronson.blog/?p=4916

[2] https://turingmachinesimulator.com/shared/vgimygpuwi

[3] https://www.reddit.com/r/math/comments/gdfes1/a_turing_machi...
Isn't that just how proof by induction works? You assume the hypothesis is true for n and prove it for n+1
I really like the clipboard visual tracking, great feature and it’s utility seems it would be easily grasped by people who generally don’t use “features”.
> https://mpv.io/manual/ Linked from straight from the mpv homepage

That's just the manpage in html format, are you kidding? We're not in the era of text terminals, there are so many tools for writing good documentation that this is just inexcusable. Take a look at VLC documentation (https://wiki.videolan.org/Documentation:User_Guide/), that's a proper documentation with screenshots that looks like someone actually put some effort into writing that so that it is understandable to new users instead of plugging words into a troff file.

Except for the edge case of controlling a media player from another application you've put no convincing use case for using mpv over vlc. So it's a personal preference not that mpv is superior to vlc in anyway (actually far inferior for most use cases).
Do you have a source for that? I didn't think the phone's encryption key or password was backed up to Google. The help pages say that if you forgot your PIN, you should reset your phone.[1][2]

Of course Drive and Photos files are in Google servers and aren't E2E encrypted, but I don't think that's what you're talking about.

Full disclosure I work at Google but on nothing related to this.

[1] https://support.google.com/android/answer/7663172?hl=en

[2] https://www.techlicious.com/tip/what-to-do-if-you-forget-you...
On the personal level: For every markdown article/README I write, I pipe it through ArchiveBox / Archive.org and put (mirror) links next to the originals in case they go down.

At the organizational level: my company has a dedicated “old urls” section in our urls.py routes files where we redirect old URLs to their new locations. Then on critical projects we also have a unit test that appends all URLs ever used to a tracked file in CI and checks that they still resolve or redirect on new deployments. Any 404 for a legacy URL is considered a release-blocking bug.
check out the Sarcophagus structure as it is slid over Chernobyl NPP

https://www.youtube.com/watch?v=n7aMcKinrWY
popular brands are mineral oil, but any high temperature oil should work well. hoppes publishes MSDS info

https://www.hoppes.com/hoppes-support/ho-sds.html

which is pretty vague on most products but indicates ignition temp of their "lubricating gun oil" is 410F so anything around that won't start a fire, at least. that aligns closely with popular frying oils.

in general even modern ARs can be run totally dry for hundreds or thousands of rounds, until carbon fouling stops them. so it probably doesn't matter so much. worst thing that would happen is you'd get a gummy residue or a bit more carbon buildup. notably, lower quality gun oils already pose those problems.

here's a couple of nerds trying it out with canola: https://www.youtube.com/watch?v=l8nZWALQRgM
> When was the last time you saw an "international law" trial or saw a nation punished?

Mid-to-late 1990s, den Haag, Serbia?
Pending confirmation from a public agency, I don’t think it’s unreasonable to treat the $1 billion number with a large grain of salt. Donald Trump has a long history of exaggerating the value of his investments and assets, and the kind of opaque corporate structure described here lends itself nicely to that.
Your argument still explains the induction step. In the end, P[n] => P[n+1] is just a statement that has “nothing to do with induction” once it is formed.

You have obviously the right intuition about induction, but I think you are confused about its exact nature.
I miss the times when every site felt not only different but unique. Young people, let's say teenagers today, are used to everything looking the same - either because it's an app like FB/IG/YT or because it copied their patterns.
Nit: if 70Mbps isn’t a typo, then you’re on VDSL not ADSL.

ADSL tops out at ~24Mbps while VDSL can go much higher, albeit over shorter distances than ADSL
The caveat there is that you cannot call it without a null check on “u.name” first. contains(null, “whatever”) would just return false instead of throwing a runtime exception. Hence my edit: users.filter() has the same problem.
In fact it is just ifs and jumps. Loops are a higher level construct.
My understanding is that product pages aren’t immutable, so sellers sometimes change their content instead of making a new page to keep the SEO the original page accumulated.

Having public edit history + permalinks to specific immutable revisions of product pages would be nice, but I could see how they’re not incentivized to add it because they don’t want ppl demanding an older price / feature that got edited out later on.
You're correct - a wire rope is a cable, but a synthetic rope is not. But "rope" generally refers to synthetic rope, not wire rope, so a rope is not a cable.
Not to be confused with the programming language.
Peter Jackson’s the Beatles: Get Back Accomplishes the Unthinkable
Let's call BS.

It's inane to claim existence being the root of all evil, because, yeah, it's the root of friggin' _everything_.

Nothing is forced on "you" because without existence there is no "you". Or anti-natalists could just as easily be blamed of "depriving" the non-born of their chance to live. Ouch.

I, for one, enjoy life (and don't you dare tell me I just don't realise it sucks). I even like working on the hard bits, like underpaid shopkeepers and inhumane working hours, thank you.
> They have had consecutive Memorandi of Understanding

Memoranda, AFAICT?
And EPA in 1970.
Didn’t Sweden’s economy take a similar hit as its more restrictive neighbors, implying a pretty significant change in behavior?
We'll have to agree to disagree then.
not the best place but Reddit works
The terms are largely interchangeable but “wire rope” is the engineering term for cable used to transmit forces. Depending on who you ask it may only strictly refer to wire rope made from multiple bundles of strands.
It doesn’t matter much but for a ski lift, the engineering term always used is “wire rope”.
RIP everyonedraw.com

Was a good 12hrs
Yes, I was making a joke since I was responding to a sarcastic reply.
Honestly here isn’t too bad. r/ExperiencedDevs might work too.
Texas should secede and sterilize pedophile communist Karenifornia and global terrorist industry headquarters Washington DC with nukes.
The amount of stuff people used to just get done in the 20th century constantly boggles my mind.

Yep. The downtowns of entire cities were elevated dozens of feet. Rivers were reversed. Tunnels were blasted through mountains because it was the most direct route, initial cost be damned.

In the 20th century, renumbering the addresses of an entire city was so inconsequential that in some places it happened multiple times. Today, that could never happen. People just don't have the will to do anything big anymore, unless there's a buck in it.

"Make no little plans; they have no magic to stir mens’ blood and probably themselves will not be realized. Make big plans; aim high in hope and work, remembering that a noble, logical diagram once recorded will never die, but long after we are gone will be a living thing, asserting itself with ever-growing insistency." — Daniel Burnham (1846-1912)
I believe hr has a higher elevation which helps as well.
Am I the only one who doesn't like titles this cryptic/unrelated to the topic?
Thanks for the recommendation! I’ve read NT Wright and Bauckham and others on this topic, but I haven’t heard of Pennington. Will check it out! Wright in particular has really helped me to see each gospel in its own narrative form.

I agree that the gospels do have narrative structure when considered as products of the first century. Perhaps the closest to a “modern” narrative would be John’s gospel, but even that is very difficult to tackle given the heavy theology interwoven throughout. In fact, it was seeing scenes from John’s gospel in The Chosen that really alerted me to the talent of the filmmakers. Seeing them pull of John 3 in a meaningful and natural way was phenomenal, as they avoided the potential for dry/impersonal theology by wrapping it in the deeply personal experience of Nichodemus.
I feel like I'm too ignorant of mathematics to be confused by this "proof".

When you set out to prove "for any set of n horses, every horse in that set has the same color" and you then "suppose for all sets of n horses, every horse in the set has the same color" as a first step, you're messing with a tautology, aren't you? I mean if you've supposed that it's true for all, it's definitely true for any, right?

What am I missing that makes the problem subtle and interesting, rather than just blatantly circular from the start?
I feel as if I'm always swimming up a river to get things done

We used to call those "salmon days." You spend all day swimming against the current, only to get screwed in the end.