YoumuChan

But consumer product does not support SDCI (only Epyc Turin supports it), so it does not benefit too much if an accelerator is involved.

Should my google search history be part of the commit? To that question my answer is no.

I think it is all about audience. There is no one-size-fit-all. Different audience have different threat models and different requirements.

For a corporate using an OS in work phones. The threat model is state/corp-sponsored actors. Trade secret leak is unacceptable. When in doubt, data should be wiped. Now wiping PIN makes total sense and is the only sensible option.

An ordinary person, on the other hand, often deals with non tech-savvy ordinary people. The threat model is different. Most likely plausible deniability is enough. The threat level is low. Those users may accept to trade some data security for a more friendly feature.

The ultimate question is whether Graphene envisions itself an opinionated OS that always follows the "best practice" or a generic OS that allows users to define their own threat models.

I hate to say this but I don't foresee Graphene being "mainstream". Most users will stick to the stock ROM. The most "mainstream" custom ROM Lineage is only installed on 0.04% of Android devices as of 2023 [1]. Even if Graphene appears in some mainstream news, I highly doubt any ordinary person can recognize it when they see one.

If the threat model is hiding from random people, I think a hidden profile works very well.

Now let's talk about motivated adversary as you put it. Hidden profile and wiping are not either-or, they can coexist. If one is really targeted by a motivated adversary, it should be apparent in most cases, and the targeted person can choose to enter the wiping PIN instead of the secondary profile PIN.

Now if one is targeted by a really motivated and threatening adversary, I don't think wiping PIN is any better than secondary profile PIN. The moment one chooses to wipe the phone, the adversary could be triggered by the action and harm the victim anyway.

[1] https://9to5google.com/2023/11/20/lineageos-number-of-device...

Like Raft is a "special case" of Paxos, this feels like a "special case" of CRDT.

It has all the flavor of CRDT, but adds a leader and a different way for the total ordering (basically using leader's local lamport clock to break tie).

Throw in leader reelection and some ledger syncing and then give everything some other names, I bet you can have "collaborative text editing on one page".

The author gave a talk on this at Tufts during the FWCG last week. Fascinating talk.

One interesting question from audience was whether the ratio between the largest polygon piece and the smallest piece can be made bounded, as the current construction has unbounded ratio.

I connect an iPhone 12 to my vehicle's CarPlay all the time. Recently I often found the start unreliable, which defeats all the purpose.

Economy of scale: starship can be "mass"-produced

Material: stainless steel is much cheaper

Percentage of reusability: boosters of shuttle cannot be reused, maintenance of shuttle itself is also very expensive (heat shields were pricey). whereas the starship stack has higher reuse percentage and allegedly cheaper to maintain.

Yet the gov.uk website about domestic abuse has a Chinese version (among other languages which I imagine also requires different setups): https://www.gov.uk/guidance/domestic-abuse-how-to-get-help.z...

I don't think gov.uk would admit that they want to exclude those users.

Shift key is widely used in Eastern Asian input methods to switch between English and Asian scripts. Pressing Shift while holding Alt is the way to cycle through different input methods on windows systems. Using shift key is a decent idea for Latin script users, but is terrible for Asian script users.

And Lua's bytecode loader, recently discussed here: https://news.ycombinator.com/item?id=40830005

I guess Google's exit from China.

We don't even know the complexity class of factorization or discrete log, yet we still use those problems in DH, RSA, ECDSA, ...

It is just an standard eUICC card with an issuer certificate, which means you need issuer's app to access low-level eUICC functions on a rootless Android. This is how esim.me enforces the subscription.

This also means, you can use any LPA implementation to manage and install profiles on your own!

Some examples:

https://github.com/Truphone/LPAdesktop Needs a smart card reader and a pc to work

https://github.com/estkme-group/lpac Could either use a smart card reader or an actual modem with AT-support

https://gitea.angry.im/PeterCxy/OpenEUICC Needs a root on Android

Furthermore, I believe you could manage it via Windows settings if your window laptop has a WWAN card.

Definitely not the best, but the most mathematical fiction book might go to Surreal Numbers: How Two Ex-Students Turned On to Pure Mathematics and Found Total Happiness by of course no other than Donald Knuth.

And you could put The Part-Time Parliament by Leslie Lamport near that if you stretch it.

The paper quality of the charts is quite nice. Very good choice for some gift wrapping.

I gave Apple Map a second chance after hearing good things about it recently.

But it gave me a route where I need to turn left right after taking a right-turn ramp, except that the left turning line are separated by road dividers before the exit of the ramp. So I would need to either go wrong direction and do a 180, or bulldoze the dividers. As a comparison, Google Map never gave me that route in the past.

This happened in a moderately sized town so I guess I will still stick to Google Map for now.

The preflight part is glaringly BS. I don't believe sim teaches how to do fuel stick and sumping.

It reminds me of the "Hello Computer" scene from IT Crowd: https://www.youtube.com/watch?v=uyV0IVItlM4

Here is a blind person making a meal including rice, seasoned wings and veggie using microwave: https://www.bilibili.com/video/BV1m94y1Y7Qj (video is in Chinese)

Apart from writing papers, I also use LaTeX to make presentations accompanying the papers (beamer). I make heavy use of tikz to create figures (I work in geometry-related field). The workflow is painful (slow compilation, bad overleaf support) to say the least. If typst could meet this need in the future (seems lacking at the moment), I won't hesitate to make a switch.

The command can be simplified as

  isoinfo -R -i xxx.iso -x /initrd | gzip -dc | cpio -idv --no-absolute-filenames "root/fumagician*"

I don't think people really care about "source information and readability" too much towards intermediate building files.

It is not how it works. Depending on the province, student submits a list of preferred universities with majors before taking the test, after taking the test, or after knowing the score. The list is divided in groups, and also depending on the province, the universities in each group may or may not be ordered.

In a province where the universities are ordered, students with the same first choice are grouped together and the said university gets the result and admits top scores within quota. If there are more quota than students, university looks at students putting it as second choice AND not admitted by another university yet. Never figured out how unordered group works so I won't explain that.

There are also nuances if students could submit list after knowing their scores, because universities can approach top students in private and negotiate terms with them to lure them into putting the universities as first choice.

Hence Beijing University only gets results if it is on the list of a student. And it is not always a good idea to put Beijing U as the first choice since in a province with ordered group, not getting admitted by first choice hugely decreases the chance of getting into second choice university.