jml7c5

Do you have any examples?

You should tell her to get in touch with researchers. Even if she doesn't quite have HSAM, they'd probably be interested. In fact, they might be even more interested to see someone who lives in the gap between HSAM and not-HSAM.

It's worth noting a very, very large difference: the US cannot compel companies to build things. They can secretly obtain some information, but they can't secretly require backdoors, tracking tools, etc.

See also the Lean Game Server at https://adam.math.hhu.de/ , and in particular the "Natural Number Game" (for Lean 4!), which has done the rounds on HN a few times.

Does anyone know of a Lean book that builds up the basics from absolutely nothing, not even the Lean standard library? I'm curious about the foundations that lie just above the language.

Out of curiosity, where do you draw the line? Say there was some open-source pricing tool that runs completely locally, operating only on public data and not sharing information with others. Would you consider it price fixing if it became standard practice to use it?

>between the supplier cost and the purchaser value

It is — it just turns out that the purchaser value is quite high!

As a renter myself, I have tremendous sympathy for the tenants affected by this. But there is a way to frame this whole saga that makes it much more innocuous:

By maximizing individual profit, the software rapidly finds the real fair market value of rentals. It turns out that the fair market value for rentals is much higher than people thought! This should make sense: housing supply is low, housing demand is high, and housing demand is extremely inelastic. It is a situation where egregious profits should be expected! Landlords simply hadn't realized that they could charge more.

There is one seemingly illogical result, which is that some units go vacant despite the huge demand. But unsold goods are a normal part price discovery, and we are not talking about a huge change: occupancy rates only drop a few percent.

It's a brutal result for tenants, but the alternative is incorrect pricing, which has its own negative implications for the whole market.

Yeah, the APIs aren't great on either Windows or Unix. I'm reminded of a @fasterthanlime tweet:

>Few people know the complete quote: >"Everything is a file — the worst possible primitive"

Especially in a multi-core world, you need to know a lot of Unix(/Linux) arcana to write a program that ensures ACID-like properties for files. (And this need applies to almost any program that writes to a file.) If filesystem APIs were redesigned tomorrow, they would be quite different from what we have today.

The very next sentence after the one you quoted is

>The machine, provided by the vending supplier Canteen, features a touch screen and uses a camera for people to purchase coffee with a card, she said.

This is a slight digression, but I strongly suspect that master/slave in technical contexts originated as a pun. It was normal practice to refer to a canonical or primary object as the "master _____", with the same meaning as "main". My guess is that some point someone wanted to refer to a subordinate object, noted that "master" can also mean "owner of a slave", and the obvious pun fit well enough to stick.

You are clearly in the majority. But let's pick another person at random — what is the probability that you agree on all questions? (Hint: it's not 93%!)

You are aligned with majority opinion, but you still disagree with most people.

---

There is some similarity to the problem the USAF faced when they wanted to make a cockpit that fit the average pilot:

>Using the size data he had gathered from 4,063 pilots, Daniels calculated the average of the 10 physical dimensions believed to be most relevant for design, including height, chest circumference and sleeve length. These formed the dimensions of the “average pilot,” which Daniels generously defined as someone whose measurements were within the middle 30 per cent of the range of values for each dimension.

>[...]

>Out of 4,063 pilots, not a single airman fit within the average range on all 10 dimensions.

https://www.thestar.com/news/insight/when-u-s-air-force-disc...

A great goal for Firefox would be "the archiveable, downloadable internet". Make it easy to download stuff off a page, even if the site is adversarial. I should be able to right-click and download an Instagram photo or a YouTube video. Integrate something like archive-it (the Internet Archive tool) for full-page downloads.

It fits with the goal of an open internet, is easy to sell to users, and it's unlikely that Chrome will add the feature, since Google owns YouTube. And there's an obvious route for monetization: sell cloud storage for archived pages.

>Passkeys aren’t device-bound. I think they’ll work just fine.

Is there anywhere to follow progress on this? I don't think anyone actually implements import/export of passkeys yet.

I hope this encourages Mozilla to focus more on page archiving support on the web. I feel as though they missed a huge opportunity by not making it easy to archive pages with DOM snapshots, or easy to snag videos or images. (Go to Instagram and try to right-click -> download the image; you can't.) Would have been a very good way to differentiate from Chrome, as Google wouldn't want that available for Youtube. And "our browser can download videos and images from anywhere" is pretty easy to sell for potential users.

Chromebooks did this for a while; they had a write-protect screw on the motherboard that had to be removed to enter developer mode and/or flash custom firmware. Once you were done, you could reinsert the screw to lock it back down again.

I believe it was Alberta that ended rapattack, not BC.

Yes, Unix was designed to protect users from each other but the modern need is to protect applications/invocations from each other. It is unfortunate that Unix wasn't really designed for the modern use case.

Basically https://xkcd.com/1200/

Reminds me of this Super Metroid FAQ: https://gamefaqs.gamespot.com/snes/588741-super-metroid/faqs...

I see this as one of the big unintended benefits of AppArmor and SELinux: it's easy to filter for the relevant subset of files.

On a related note, there's a proposal for a Unicode project to improve complex script support in terminals: https://www.unicode.org/L2/L2023/23107-terminal-suppt.pdf

Many layout and shaping issues are present even in monospace text, at least if you want to do anything beyond ASCII.

This recent submission seems tailor-made for you:

"My 20 Year Career is Technical Debt or Deprecated" https://news.ycombinator.com/item?id=35955336

Those are the "multi package" numbers. Though exactly what "single" vs "multi" means in this context is unclear to me.

This is perhaps not totally relevant, but one fun comparison I like is that a human's total energy expenditure for a year is about equivalent to the chemical energy in a single barrel of oil.

Note that this document is a proposal for a new Unicode project; it does not describe how termimals work today.

The enigma is that if civilization is common, we should see evidence of mass colonization even if only a single "spreader" civilization developed. Among the millions of civilizations out there, are we assuming that none of them were expansionary?

The conclusion: civilization is uncommon OR we are unable to detect civilizations for some reason OR there is something intrinsic about civilization that prohibits the development of "spreaders".

Zipline is using a rather strange propeller design that is apparently effective: https://www.youtube.com/watch?v=DOWDNBu9DkU&t=831s

Yes, the risk is very, very low. Probably in the same ballpark as being struck by lightning. (Though I do know someone who was stalked by a cougar while they were hiking alone. So there's at least something to feel nervous about.)

I think Musk never quite understood how other people perceive a blue tick. In his own experience on Twitter, he probably noticed that verified users were made more visible in his replies, feed, etc., and he seems to think that that is the primary benefit.

They're pretty docile. Think of them as very big raccoons, not small grizzlies. The primary thing that brings the bravest black bears into close contact with humans is their love of untended food, but they're skittish and will scamper the moment someone hollers at them.

Personally, I worry more about cougars and wolves.

How does this work with routing? Does each AP get its own IP address, or is there some special protocol for running the APs "transparently" as though the router had its own built-in wireless antennae?