vacuity

63 ms·

871.
by vacuity 3y ago
UI in Rust without inheritance is tricky. There's still no great UI framework written in Rust yet, though not for lack of trying! I'm interested to see how Bevy's UI turns out. They're currently exploring the design spac
872.
by vacuity 3y ago
It has some truth to it, still.
873.
by vacuity 3y ago
To my understanding, any kind of emulation layer or runtime can't leverage Rust's type system to achieve the cheap context switches and other benefits that define Theseus today. It seems to me that programs running on the emulatio
874.
by vacuity 3y ago
> History is written by the victors Look up the "Lost Cause of the Confederacy": https://en.wikipedia.org/wiki/Lost_Cause_of_the_Confederacy A notable and unfortunate exception. To give you an idea of its
875.
by vacuity 3y ago
I must've looked at an outdated design or something. Thanks for the info.
876.
by vacuity 3y ago
Rust is great, but "rewrite it in Rust" is a tired and unrealistic refrain. Aside from performance concerns, an emulation layer defeats the validations that Theseus incorporates as an intralingual codebase. It'll be like a mi
877.
by vacuity 3y ago
Most child abuse is perpetrated by family members and close connections. While that may not be true in the future, I think there are better avenues of action than jumping to completely backdooring an extremely valuable tool that allows peop
878.
by vacuity 3y ago
Can't solve social problems with technology, as they say. And as mentioned elsewhere, most child abuse is perpetrated by family members and other close connections.
879.
by vacuity 3y ago
To my understanding, delimited continuations and coroutines are equivalent in power. Out of curiosity, can delimited continuations be implemented as efficiently (in Rust or otherwise) as stackless coroutines?
880.
by vacuity 3y ago
I was thinking that the semantics around async/await (function coloring) would make some usages more frustrating. This crate probably sidesteps that, if it is a problem at all. I have a bad habit of not dabbling around when I lack unde
881.
by vacuity 3y ago
Coroutines really are powerful. Here's to hoping Rust stabilizes generators (full semicoroutines, not the enhanced iteration construct) sooner rather than later. It would give programmers greater control to express state machine logic
882.
by vacuity 3y ago
It is impressive, but a major limitation is that programs currently need to be verified by the Rust compiler. I love Rust, but not everyone should have to for a general-purpose OS. There's always emulation/runtime layer, but that
883.
by vacuity 3y ago
Xen is considered a "bare-metal hypervisor" because you don't run it as a virtual machine on a Windows/Mac/Linux/etc. host OS. sel4, a very minimal microkernel, can be considered a hypervisor. To my understandi
884.
by vacuity 3y ago
Wouldn't that be somewhat outside of Theseus' design and add overhead more akin to modern OSes? Theseus relies on Rust's type system (ownership/borrowing and otherwise) to ensure that all binaries have many verified prop
885.
by vacuity 3y ago
Theseus is very cool, as are Singularity and Midori. I'm trying to think of how a general-purpose OS could incorporate ideas from these intralingual OSes while allowing other programming languages to be used, without sacrificing securi
886.
by vacuity 3y ago
A general-purpose OS has to be designed so you never have scenarios where code hangs or yields too infrequently. Best-effort insertion of yield points probably won't cut it. Cooperative multitasking in applications exists on a smalle
887.
by vacuity 3y ago
My belief is that prostitutes generally aren't treated that well. I imagine children of prostitutes don't typically have great childhoods either. Do you have reason to refute either of those claims? I'm not against fairly tre
888.
by vacuity 3y ago
> I didn't really notice you making a distinction. You're free to uphold one, of course - wherever you consider appropriate. I didn't say you made the distinction. I did. I said suicide is acceptable because it cuts one aw
889.
by vacuity 3y ago
> Irrationality (own or others') can trap people in situations where self-destruction is the most rational choice. Perhaps, but I made a distinction between plain suicide and other self-destructive behaviors. Is affecting others for
890.
by vacuity 3y ago
> On the other hand, smashing up some proverbial deck chairs...is an acceptable way of making people acutely aware that the ship is, in fact, sinking. That seems to err on the side of intentional damage. I don't know how to evaluate
891.
by vacuity 3y ago
Suicide is an expression of one's ultimate freedom to one's body, but these acts can have consequences beyond oneself. That goes from "oh well, it's your choice" to "don't drag other people down with you&q
892.
by vacuity 3y ago
Well, Jesus of Nazareth probably died. There's also evidence that he was no longer in his tomb some time after. It seems that Roman soldiers could've reported foul play if they witnessed anything not fitting the "Jesus resurr
893.
by vacuity 3y ago
> Except science isn't based on lies and deception, doesn't ignore self contradictions and false beliefs, is evidence based, is falsifiable, changes when new facts come in, and corrects mistakes when they're found. ...At i
894.
by vacuity 3y ago
Intent is less clear, and even if prisons in the US were much more humane, addicted people would need extra resources (including human effort) to break the addiction and hopefully prevent further incidents. Really, addicted people are a lia
895.
by vacuity 3y ago
Of course not, but how to deal with the crime afterwards is more complicated than if the person was sober, I should think.
896.
by vacuity 3y ago
Fair, fair. I agree with the logic.
897.
by vacuity 3y ago
Arguably, the effect of an altered mental state through addiction is another issue in terms of culpability and remediation.
898.
by vacuity 3y ago
I'm nitpicking since this is a philosophical debate: > Imposing a moral code on others is what do-gooders do. Is murdering people fine then?
899.
by vacuity 3y ago
I think people should either strictly allow or deny induced abortion, recognizing it as a conflict between the pregnant woman's bodily autonomy (since pregancy is sort of invasive and has a slew of complications) and the zygote/em
900.
by vacuity 3y ago
Indeed I am. Thank you for the context. I wonder if we shouldn't describe these things with more granularity, like how "functional programming" may be used to mean "pure functional abstractions", "pattern match

More ›