papercrane

RPM based distributions typically use dnf, which uses the SAT solver library libsolv https://github.com/openSUSE/libsolv.

I'm not 100% sure if this is current, but APT uses (or used) a heuristics search, but it is possible to configure it to use an external solver instead. See https://salsa.debian.org/apt-team/apt/-/blob/main/doc/extern...

This seems less like BMW offering the customer flexibility in pricing and more like BMW trying to find a way to extract cash from the used car market.

Probably the same problem that prevents a JVM based Python from being popular. There are many popular libraries that use C extensions. Without those the platform isn't usable for many use cases, and it just becomes a niche platform.

Loans are an asset on the banks balance sheet and can be sold like any other asset.

If these were before a court then Twitter could try and have them combined into a class action suit. Twitter's contracts with these employees included arbitration clauses though. Normally companies prefer this because it heads off class action suits, but here Twitter has been hoist with his own petard. Twitter demanded the arbitration and now is paying the cost for that.

Typically the bus has a stop sign with flashing lights that automatically swings out when the bus driver opens the doors. The law in most places in North America is that it is illegal to pass the school bus when students are embarking or disembarking, so in practice it is safer for the students to cross the street while the school bus is there.

Image of a typical North American school bus: https://en.m.wikipedia.org/wiki/School_bus_traffic_stop_laws...

I'm pretty sure that runs on the headset.

If you plug a headset into a VirtualLink adapter it will go into the "cinematic mode" and function as a floating 1080p monitor with 3dof tracking done by the headset.

https://twitter.com/Thrilluwu/status/1635374573368778752?s=2...

This is an implementation detail of the HotSpot JIT compiler in OpenJDK. Other implementations are free to layout their objects as they choose.

Seems like a theme with Intel. Back in the 80s Acorn was evaluating using Intel's 286, but Intel didn't want to work with them so they ended up making their own CPU, which directly led to ARM.

Starbucks gift cards don't expire. It's standard account practice to recognize a percentage of your unused gift card balance as revenue as no company ever sees 100% redemption rates of gift cards. They call this "breakage".

The interest free loan is more like $1B dollars. This $181M is the breakage, the left over gift card balances that are unlikely to be redeemed and they are recognizing as revenue. e.g. The $2 left on a $20 gift card that someone doesn't bother redeeming.

They also get another $1B of deposits from people loading money onto their app to pay for drinks. Starbucks is basically sitting on the equivalent of a small banks deposits at any given time.

If you want to use the Oracle runtime you need to pay Oracle. But the code itself is open source and you can instead use the Azul, Amazon, Red Hat, BellSoft, etc.. runtimes.

The union that organized the protest have a press release: https://www.unitetheunion.org/news-events/news/2023/april/go...

It seems the primary complaint is that Google is having one-on-one meetings and not allowing employees to have a union representative with them, or any support person at all unless they have a doctors note.

There's other complaints as well around how the company is handling reimbursement of legal expenses for laid off employees who want to get legal advice before signing the settlement agreement.

Even in a purely random model you'd have outliers that over the long term outperformed the market. You'd just expect that to be very rare.

pn is perlin noise. It's not part of the k standard, but provided by the iKe environment here. iKe is also providing 'f' which is the frame counter, and pi which is obviously pi.

It's a bit confused by the first function. It takes two arguments, x and y, and returns a tuple. The first value is 'y' and the second value is (sin(pi % 100 * y) * -18) * perlinNoise(frameNumber % 20, 0.3 * x, ), 0.1 * y). I might be a little off on that formula, it's been awhile since I've read k code.

That case ruled the phone book in question was not copyright protected:

> The court held that Rural's directory was nothing more than an alphabetic list of all subscribers to its service, which it was required to compile under law, and that no creative expression was involved. That Rural spent considerable time and money collecting the data was irrelevant to copyright law, and Rural's copyright claim was dismissed.

In theory a curated phone book could be copyrighted, e.g. a hypothetical "Best Restaurants in San Francisco" compilation could be copyrighted. However a general phonebook just listing business in alphabetical order does not meet the originality threshold that was laid out in Feist v. Rural.

In the US facts are not copyrightable, so in general math is not copyrightable.

You can copyright creative expressions that use math formulas, but only that expression itself would be covered. E.g. a paper presenting a proof of a theorem would be copyrightable, but all of the facts expressed by the formulas would not be copyrightable.

Trade secrets might still apply, so you might just end up seeing companies not sharing their models with academics.

Meta might've lost trade secret protection here, as they shared the weights with pretty much anyone with an .edu email address. A court might rule that they didn't take enough steps to keep the model weights secret.

Most company logo's in the US are only protected by trademarks and not copyright. The U.S. Copyright Office will reject any registrations for logos that are typefaces and simple geometric shapes.

For example, this Best Western logo (https://commons.wikimedia.org/wiki/File:Best_Western_logo.sv...) was rejected by the copyright office.

US copyright law cares about originality and expressiveness, not labour and cost. It can be very expensive to collect and print a list of every business and their phone number in a book, but the result is not copyrightable in the US.

It's an interesting legal question. US copyright is based around expressiveness and originality (which is why phone books and IBM's logo are not copyright protected.)

An argument might be made that the curation of data that goes into the training set qualifies, but it might depend on how much expressiveness and originality went into the curation.

For example, I could see a court ruling that the weights for a model trained on "all the good music from the 70s" is copyrightable, as someone had to express what they believed was "good" music, but a model trained on a large percentage of the internet without much curation would not.

Of course, nobody really knows until the courts weigh-in on it.

While the Java community has had some high profile vulnerabilities, I can't recall a major one that was actually tied to the JVM itself since dropped applets. Instead it's usually a popular library or framework.

It's in Java and D as well, which likely inherited it from C. I'm pretty sure C inherited it from ALGOL's "BEGIN ... END" blocks.

The catch with JS is that variable scoping rules are different when you use 'var', if you use 'let' and 'const' the scoping rules work like most programmers would expect for block statements.

I don't think the media companies are capable of cooperating on a platform like that.

You mention Hulu which I think is a great example of that model failing. Hulu was originally a intended to be that kind of platform, and has at times included investment from ABC, NBC, FOX, and Time Warner. Now Disney owns a majority share in it and it's a brand under Disney's streaming services, and I think would like to just fold it into Disney+, but they'd need to make some sort of deal with Comcast for their minority share.

Those are pretty standard ACARS messages. It's the only time I've seen SOH/STX/ETX used, probably because originally in the 70s they were designed to be typed used with Telex machines.

KitFox is publishing the game and taking over customer support. They probably funded the music and art, but I don't know if that's confirmed or not.

It's likely they went with KitFox because they already had a relationship. One of the founders of KitFox is Tanya Short, who's edited two books on procedural game design with the DF programmer, Tarn Adams.

https://doi.org/10.1201/9781315156378

https://doi.org/10.1201/9780429488337

The implication is "no" to 1 and "yes' to 2, because the first is framed as giving prisoners a privilege and the second is framed as punishing them. Unfortunately the source for this was likely Ken White (@popehat), and he's left Twitter and removed his tweets, so it's not possible to confirm the original wording. I'm pretty sure it was just an offhand remark he made and not something that's actually been studied.

> Edit: wow @popehat deleted all their tweets!

Yeah, he wrote about why here: https://popehat.substack.com/p/goodbye-twitter

He's on Mastodon (https://mastodon.social/@Popehat) and coincidentally re-tweeted (or whatever the Mastodon equivalent is) the author of this piece a couple days ago talking about this topic.

There's an exception for "any residential property found outside of a Census Metropolitan Area or Census Agglomeration as identified in Statistics Canada’s Standard Geographical Classification 2021."

I've not looked at a map to see how much area that covers, but it sounds like foreign buyers could still purchase rural properties.

https://www.cmhc-schl.gc.ca/en/media-newsroom/notices/2022/e...

> P.S. It's a tragedy that an excellent movie like TBM is not available on bluray. Sigh.

I was curious, and it looks like it had a Blu-ray release, but it was a limited production run. I guess they decided to constrain supply in order to get a high price.

https://www.blu-ray.com/movies/The-Blue-Max-Blu-ray/87746/#O...