wahern

64 ms·

781.
by wahern 2y ago
How would that work in practice? Each thread has their own memory map, but with one shared branch where all the normal process-global virtual memory is mapped, and a non-shared branch for per-thread virtual memory? Seems like there's t
782.
by wahern 2y ago
By definition you can't trust that "untrusted data" has been serialized correctly. Lua has strong sandboxing capabilities (i.e. ability to limit and control the environment visible from a chunk of code), but the Lua authors y
783.
by wahern 2y ago
By definition you can't trust that "untrusted data" has been serialized correctly. Lua has strong sandboxing capabilities (i.e. ability to limit and control the environment visible from a chunk of code), but the Lua authors y
784.
by wahern 2y ago
Good link. But for those who won't bother reading[1], that paper doesn't support the Fortran assertion. Fortran is only mentioned twice in the HOPL conference paper, once regarding syntax familiarity (lack of semicolons), and agai
785.
by wahern 2y ago
The one thing I wasn't sure about was how the per-process global thread pool for non-private doors was populated. I missed it earlier (wasn't looking closely enough, and the hacks to handle forkall headaches make it look more comp
786.
by wahern 2y ago
The callback address is loaded and invoked here: https://github.com/illumos/illumos-gate/blob/5d9d909/usr/src... It's why door_server_dispatch copies out door_results to the server thread stack
787.
by wahern 2y ago
> Doors truly don't transfer messages, they transfer the thread itself. As in the thread that made a door call is now just directly executing in the address space of the callee. In somewhat anachronistic verbiage (at least in a mode
788.
by wahern 2y ago
IIUC, what they mean by "migrate" is the client thread is paused and the server thread given the remainder of the time slice, similar to how pipe(2) originally worked in Unix and even, I think, early Linux. It's the flow of c
789.
by wahern 2y ago
In the context of what it seems to be primarily attempting to achieve, assisting in the bootstrapping of more complex environments directly or indirectly dependent on C, I found the base64 example (more so the SHA-256 example in the sam
790.
by wahern 2y ago
I don't know about the specific motivations for this project, but if you're curious about why work like this might have serious real-world relevance beyond scratching an itch, idle exploration, or meeting a research paper quota, y
791.
by wahern 2y ago
This is very cool, regardless of how serious it was intended to be taken. Before base-64 encoders/decoders became more common as preinstalled commands in the environments I found myself on, I wrote a base64 utility in mostly pure POSIX
792.
by wahern 2y ago
Here on the US West Coast so-called sneaker waves kill a handful of people every year, sometimes sweeping (and killing) entire families into the ocean who were strolling along a beach with unthreatening surf. I was oblivious to this until t
793.
by wahern 2y ago
The data had already been declassified up to 2020, so they only needed to estimate changes over the past 3-4 years: > Between 2010 and 2018, the US government publicly disclosed the size of the nuclear weapons stockpile; however, in 2019
794.
by wahern 2y ago
Integer division rounds to 0, not negative infinity. -1 / 2 == 0, or -0 if you're lucky enough to have the hardware. For ones' complement and signed magnitude, though, right shift of a negative number also rounds to 0, I thin
795.
by wahern 2y ago
Smalltalk and Self use prototyping for inheritance, like JavaScript and Lua. It's a dynamically typed version of subclassing, where your parent is itself a live object, not just a definition. I suppose it's proxy-like, except forw
796.
by wahern 2y ago
It all depends on how you define language and culture, and that's before you delve into a host of other unstated assumptions. The whole debate is driven by unstated assumptions, or assumptions and thresholds which are more-or-less pull
797.
by wahern 2y ago
> US copyright does protect for "substantial similarity" Substantial similarity refers to three different legal analyses for comparing works. In each case what the analysis is attempting to achieve is different, but in no case
798.
by wahern 2y ago
Different people? Original C and Unix software projects used hard tabs for indentation, and that carried forward into the age of the BSDs. Almost all Unix ecosystem software was tab-indented until relatively recently. Some GNU projects were
799.
by wahern 2y ago
I think this misses an important distinction. The issue here isn't the extent to which Congress can delegate rule-making authority to executive agencies. Those bounds haven't been moved. The issue is how how much deference courts
800.
by wahern 2y ago
Indonesia had been colonized long before Europeans came around. The dominant political dynasties in the region were Hindu, then Buddhist, and then Islamic, all of which originated over seas as merchant trading communities, in some cases onl
801.
by wahern 2y ago
Elon's father is also notoriously promiscuous and fecund. Inherited personality trait seems the simplest explanation. I'd think wealth is also part of it, but plenty of comparatively poor men father many children with many differe
802.
by wahern 2y ago
This is true in some other countries where a high court (sometimes called a constitutional court) is often tasked with deciding the legitimacy of a law, the allowable scope of its application, etc, outside the context of a particularized, c
803.
by wahern 2y ago
I stand corrected. The best info I've been able to find about the architecture is https://www.df-f.com/blog/ios17 Is there more info available, yet? Might this be related to Apple's recent sponsorship of seL4
804.
by wahern 2y ago
Apple's Secure Enclave utilizes a separate processor isolated from the main processor(s): https://support.apple.com/guide/security/secure-enclave-sec5... It runs it's own microkernel-based OS to isolate
805.
by wahern 2y ago
Linux did get memfd, which was originally a component of kdbus. kdbus seems to have failed because of arguments over attaching process capabilities to messages: https://lwn.net/Articles/641275/ And most if not all
806.
by wahern 2y ago
In the US charitable trusts are usually supervised by state attorneys general, roughly similar to how foundations are overseen in Europe, IIUC.[1][2] But the non-profits discussed in this article aren't trusts, but charitable corporati
807.
by wahern 2y ago
For its part, musl libc (Alpine's libc) makes minimal use of /proc, and only when necessary. The only unconditional uses I see are for pthread_getname_np/pthread_setname_np, ttyname_r, and some dynamic linking reflection bits
808.
by wahern 2y ago
If you look at the data, I don't think structural and framing material has much if anything to do with fire deaths. Japan also has a high proportion of wooden framing, for single family homes about the same as the U.S. This is less so
809.
by wahern 2y ago
No answer is complete without getting into fundamental physics, information theory, and blackholes: https://www.ilikebigbits.com/2014_04_21_myth_of_ram_1.html TL;DR: Time complexity of memory access scales O(√N), not O(1),
810.
by wahern 2y ago
Wouldn't you need to add support for the tail call extensions, return_call (opcode 0x12) and return_call_indirect (opcode 0x13)? Stitch doesn't appear to implement those, even though Stitch itself relies on TCO for instruction dis

More ›