nullifidian

10 ms·

61.
by nullifidian 3y ago
Knowing EU it could be altered to "Google removes the ability to install non-sanctioned alternative stores which don't have strict content filtering and anti-piracy policies, as per the EU directive" while preserving the (hig
62.
by nullifidian 3y ago
>when Vision Pro becomes trendy Vision Pro or its copies are unlikely to be unlocked enough to run user supplied linux.
63.
by nullifidian 3y ago
>those of us who don't own a device running either Apple's or Google's proprietary OS will be pretty much excluded from many of the basic conveniences of everyday life. Considering that Google is already incorporating Web
64.
by nullifidian 3y ago
>so they invaded the administrative layer of big tech. Not exactly. While there are certainly people who espouse anti-free-speech views in the big tech, I'm pretty sure the companies themselves are pressured/threatened with inc
65.
by nullifidian 3y ago
>Never-Ending Learning of User Interfaces At first I thought it's about users continually being forced to relearn UX they relied for years because app's developers came up with a new "design" that should "improve
66.
by nullifidian 3y ago
The Web Environment Integrity (WEI) API also plays into FAANGX's capability to monopolize scraping and therefore create competing AI systems.
67.
by nullifidian 3y ago
s/patronizing/paternalistic/
68.
by nullifidian 3y ago
>This isn’t a Chinese newspaper being banned. >This isn’t a US citizen being blocked from expressing themselves. ACLU and EFF consider the Montana ban unconstitutional. So it's about free speech, at least partly. >This is a so
69.
by nullifidian 3y ago
>China does limit what US companies can do there But the narrative is "we are not like them", "we are about freedom, free trade, respecting private property and rights". But the moment "national security" g
70.
by nullifidian 3y ago
I've been saying that Python is the modern day's Visual Basic and now it has become the actual "Visual Basic".
71.
by nullifidian 3y ago
>there’s nothing hypocritical about both using and blocking an exploit If by exploit you meant the general capabilities granted such app's popularity, then in my opinion it is at least somewhat hypocritical for a nation who's m
72.
by nullifidian 3y ago
you can probably datamine TikTok without being Bytedance, simply by data scraping using fake accounts, going through profiles etc. In that sense it's as much of a threat to the US as Youtube, since people are making all kinds of videos
73.
by nullifidian 3y ago
>mass siphoning of location data The issue is indeed legitimate, but it would be a systematic issue with all non-western/non-US apps, not just TikTok which is being singled out in an ad hoc manner. And it has as much to do with Goog
74.
by nullifidian 3y ago
>the CCP wants tiktok users to see inspirational content and science and happy stuff, while the west gets whatever addicting smut we can manage to produce. If TikTok was a US based company I bet the content would be about the same. It&#x
75.
by nullifidian 3y ago
Theoretically the first amendment forbids to go after this kind of "threat" then, since it would be like forbidding a citizen to read a foreign book.
76.
by nullifidian 3y ago
What's the real threat of TikTok to the US? It should have nothing to do with spying since there isn't anything important that's submitted to the app(Who uses TikTok DMs?). If the app has a backdoor functionality or purposely
77.
by nullifidian 3y ago
>most of AVX-512 is available on basically any Intel cpu manufactured since 2020 That's incorrect. On the consumer cpu side Intel introduced AVX-512 for one generation in 2021 (Rocket lake), but than removed AVX-512 from the subsequ
78.
by nullifidian 3y ago
>law works probabilistically Science also works probabilistically, like most of it, but the law works "probabilistically", as in eyeballing a rough estimate using folk theories kind of probability.
79.
by nullifidian 3y ago
>It really feels like the boot process is more complex than it needs to be You can use EFISTUB kernels directly (through efibootmgr) and use UEFI bios as the bootloader. There is no automatic kernel discovery with this method of course.
80.
by nullifidian 3y ago
>It was a common position among European and American communists Sadly it wasn't. Some continued to deny Stalin's crimes well into perestroika. Especially in the academia.
81.
by nullifidian 3y ago
They probably meant that programming language designers/developers can only advance their careers by adding/implementing features, not presiding over something complete.
82.
by nullifidian 3y ago
>why does the origin of the code matter? The subject of discussion was whether an executable specification in F# or Haskell are also formal specifications. While Haskell is based on System FC, a type of lambda calculus, there are many a
83.
by nullifidian 3y ago
>Similar to those who were all-in on Eclipse, Atom, Sublime? But all these (except sublime) including vscode are basically the same type of IDE. Yes, implementations change, but their share of the "market" remains about the sam
84.
by nullifidian 3y ago
They chose Haskell for the reasons stated in the section 2.1. Namely human reasons of it being a general purpose language that is supposedly more readable by engineers, and preexistence of translators that they needed. To me the "forma
85.
by nullifidian 3y ago
>bloated python monstrosity >an ultra lightweight 370 crates in Cargo.lock 176 crates downloaded by cargo-tree
86.
by nullifidian 3y ago
>this is not a formal verification Then what have you meant by "allows to formally verify"? >Haskell example: I think (I'm not gonna insist on it) they are misusing the word "formal" too. Formalization must in
87.
by nullifidian 3y ago
>it allows to formally verify the correctness of a particular ISA That must be hypothetical. "Functionalness" of the language/code doesn't make everything that is written automatically subject to formal verification.
88.
by nullifidian 3y ago
Is this subset of F# itself formally specified? How is it different from an emulator that is slightly more clear to read?
89.
by nullifidian 3y ago
>I thought that gcc, for instance, no longer supported that declaration style. It's g++ that doesn't support this, gcc should.
90.
by nullifidian 3y ago
>is anywhere close to settled enough Some things are pretty well settled. 40 year old Unix software (K&R C,IPC/network sockets) would work on a modern linux with trivial or zero changes, and it doesn't look like it's g

More ›