Sirened

26 ms·

91.
by Sirened 4y ago
Most of the paper-writing-on-phones that I've seen is just a convenience thing. Google Docs/other cloud writing platforms make your documents available everywhere, and it turns out that there's a lot of down time where you ca
92.
by Sirened 4y ago
You aren't allowed to just read code and regurgitate it in order to claim it as your own. That is, just because you memorized this great new novel you read, it doesn't mean you can go and sit down and hammer it out and sell new co
93.
by Sirened 4y ago
are there any formally verified CPUs that support any of the constructs needed for anything more than microcontrollers? Like, I have not yet found a formally verified CPU which supports virtual memory or caching
94.
by Sirened 4y ago
just need some conditionals and branch operations and then we'll be able to write full software in io_uring :P
95.
by Sirened 4y ago
HN has the absolute worst combo of people who are very technical but without the domain expertise to actually understand the limits of what they know. Lots of software people making wild ass conjectures about semiconductors and CPU architec
96.
by Sirened 4y ago
fwiw, iMessage is actually E2E encrypted (without Apple storing the key) if you either don't have iCloud backup enabled OR don't enable "Message in the Cloud".
97.
by Sirened 4y ago
you just know someone at apple is having a terrible day now that they realized they'll have to support their weird hack for hybrid spinlocks forever now that firefox adopted it
98.
by Sirened 4y ago
One of the things that bugged me about this presentation (and, to a similar extent, with Oxide as a whole) is the assertion that the only way we can have safe and trustworthy systems is if each and every component is trustworthy. This is, o
99.
by Sirened 4y ago
Are there any good, free desktop hypervisor apps for ARM macOS at this point? I always used VirtualBox on Intel but they don't support ARM guests on ARM hosts so I've been stuck using qemu, which is not so great performance-wise.
100.
by Sirened 4y ago
The most recent hardware actually do support ARM hypervisor extensions so you can actually run raw linux on iOS hosts :) https://worthdoingbadly.com/hv/
101.
by Sirened 4y ago
For those not in tune with virtualbox, this beta lets you run 32-bit x86 guests on aarch64 macOS
102.
by Sirened 4y ago
I am terrified to think what AMD's predictor structure is if it's easier for them to do _this_ than it is to simply add privilege tags to their predictors. I don't personally buy this explanation anyways; trying to optimize r
103.
by Sirened 4y ago
fwiw, the passcode challenge is for decrypting your keychain. If you fail that, you lose your passwords and other E2E data, but for better or for worse, not that much stored stuff is E2E encrypted and so you don't lose too much. I don&
104.
by Sirened 4y ago
that I wasn't braver as a teenager and that I didn't stand up and fight for myself until I was much older. So many years lost to suffering because I was too afraid of consequences...
105.
by Sirened 4y ago
hey jimmy grapes, sorry to hear you had a bad experience with a Lithic employee. Please email us at lithic@gmail.com with your SSN and mothers maiden name and we'll have this dealt with shortly
106.
by Sirened 4y ago
I wonder where the non-NSO offensive companies' products end up going. Like, NSO is absolutely not the only player in this game by a long shot (they're hardly the largest even) and yet they have dozens of Citizenlab pieces on th
107.
by Sirened 4y ago
I love that the image in the article also includes parenthesis, you just know that someone had to point out that a lot of people would manage to get it wrong without them.
108.
by Sirened 4y ago
finally: fully automated memory corruption
109.
by Sirened 4y ago
Yeah, more or less! This closes some paths and opens brand new ones, like more of the former and less of the latter. For example, let's consider this code. void f(void) { obj *a; a = calloc(1, sizeof(a)); g(a);
110.
by Sirened 4y ago
unfortunately, then, you'll need new CPUs. You don't _need_ memory protection but CPUs today are built on the assumption that you are using it and have thus stapled many critical attributes about memory to it (such as cacheability
111.
by Sirened 4y ago
I think they just worded that poorly. I suspect their suggestion is not that you run with the MMU _off_ (as doing so would trash your perf anyways since everything becomes uncacheable!) but rather that you don't need to context switch
112.
by Sirened 4y ago
Not if you care about side channels. There really aren't any good solutions here that let you safely run untrusted code in a shared address space. Yes, you can slap barriers behind every single branch and after every single store (memo
113.
by Sirened 4y ago
I think you got it. From some grumblings on twitter, it seems like calloc no longer zeros allocations since it assumes the memory is already zero'd and so assuming most people on the platform do the right thing (call calloc instead of
114.
by Sirened 4y ago
This is something I'm excitedly watching as well. It's one thing to put out a free rv32i microcontroller and quite another to put out not just one but a regular stream of cores that keep raising the performance bar. The classic CP
115.
by Sirened 4y ago
TikTok even has caption on by default!
116.
by Sirened 4y ago
Formal? Computer assisted proof checkers? Building strong cryptosystems is notoriously hard, especially when you start composing different systems since some are only secure given certain preconditions which are on you to remember and ensur
117.
by Sirened 4y ago
the fog is part of the natural beauty
118.
by Sirened 4y ago
fwiw swift playgrounds actually does have an entitlement [1] which lets in run self-signed code [1] https://news.ycombinator.com/item?id=22632692
119.
by Sirened 4y ago
The problem (or perceived, I guess) with yosys is that it is not production safe. It does still, from time to time, produce catastrophic synthesis errors. If you're going for tapeout, a synthesis issue due can cost millions in wasted p
120.
by Sirened 4y ago
> Plus there was no reporting until a threshold of multiple (10+) matches were found, so one false positive wouldn’t do it Not even that, the photos were not visible to some trusted human party until 10+ matches were found. That is, phot

More ›