cmrx64

9 ms·

121.
by cmrx64 2y ago
My guess is that controlling proliferation in these organs prevents cancers or disturbing a structure that is “already working fine”, where small changes can reduce the functioning, and where tissue downtime isn’t feasible.
122.
by cmrx64 2y ago
Where did you get stripes from in any of that? A surface is ruled when it can be constructed by extruding a line (or segment) along some path… like waving a ruler around.
123.
by cmrx64 2y ago
> Update: At some point, WordPress started automatically converting emoji in this blog post to <img>s. I’ve replaced some of the examples with CodePens to make it clearer what’s going on. Of course, the fact that WordPress feels co
124.
by cmrx64 2y ago
The article says that, but it can’t be the normal meaning of thaw. Thermodynamically, onbiously the innermost portion of the volume is going to warm last. But in terms of the frog’s system restart order, that order makes sense.
125.
by cmrx64 2y ago
it’s impressive how high-impact these projects were!
126.
by cmrx64 2y ago
The “C” functionality seems to now be mapped to long press on backspace.
127.
by cmrx64 2y ago
Least evil… strong words.
128.
by cmrx64 2y ago
90k USD per yr should do it. I don’t have the skills/inclination/bullshit tolerance to deal with any kind of SBIR or VC, tho i did briefly explore the SBIR route with the encouragement of a brave collaborator (we visited DARPA tog
129.
by cmrx64 2y ago
I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that
130.
by cmrx64 2y ago
I don’t look for mentions, but how could i miss this thread ;) The new authoritative link is < https://rbg.systems >; a DNS registration oversight has that spam parked on the old site :( I still dream about taking that proje
131.
by cmrx64 3y ago
had a relatable but almost opposite experience (no obvious infection, but it was winter 20/21), where I noticed that objects in my visual field seemed to be differentiating themselves away from the background and “competing” for my att
132.
by cmrx64 3y ago
interned at NICTA on seL4 in 2016, AMA :)
133.
by cmrx64 3y ago
the disagreement is that the program is typesafe just because it was typechecked. BECAUSE the system is unsound (completeness is irrelevant), typechecking doesn’t imply type safety. … where I am using type safety to mean “no runtime type er
134.
by cmrx64 3y ago
> Was there something useful you were trying to add? Yes, the clarification about value safety, which you’ve done quite well. Not every language is unrepentantly unsound. I continue to identify a confusion in this thread between a proper
135.
by cmrx64 3y ago
> Because that's where it is unsafe: You can introduce a value of the same type that is outside of the enumerable range. You cannot introduce a value of a different type, though. It is type safe C’s type system is unsound, and not a
136.
by cmrx64 3y ago
better how? I could never use this without being able to import my apkg.
137.
by cmrx64 3y ago
What is value safety? Why should value constraints be pertinent here? near I can tell this is a neologism (introduced here? https://itnext.io/we-need-to-talk-about-the-bad-sides-of-go-... ) that just happens to be near the t
138.
by cmrx64 3y ago
The alien creatures in “Destroy All Humans” lost their ability to reproduce and their solution was to invade Earth and steal as much genetic material as possible. To.. uh.. restore the gonads? Surely a better work has explored this :)
139.
by cmrx64 3y ago
this sort of static verifiability is important for applications like smartcard programs though, where the runtime environment cannot afford dynamic MMU. additionally, this lets you inline verifiable code into your protection domain instead
140.
by cmrx64 3y ago
I’m deeply familiar with this technique, have used it plenty, have encountered the perils, and so I do not really understand why you think it works well on practice. It works well in only the case where you have perfectly well scoped small
141.
by cmrx64 3y ago
I don’t dispute the possibility of using pinning correctly, in practice it’s a source of bugs. Fuzzy and loose ownership regimes just don’t compose well, people are bad at running region checkers in their head and anything beyond the absolu
142.
by cmrx64 3y ago
This is often what happens, and this is often what’s fragile. In the blog these are referred to as “lifetime extension”. The code is written as carefully as it ever is and I can confirm the observation that it’s just begging for a segfault
143.
by cmrx64 3y ago
because it’s healthy for the social dynamics of the corporate organism. it’s like autophagy or apoptosis.
144.
by cmrx64 3y ago
There's a rich tradition in the Clarkson Open Source Institute of identifying these "O(fuckit)" algorithms, because by the time you've asked the question, it's too late to spend any computation getting the answer, s
145.
by cmrx64 3y ago
where do I loiter to collaborate with people who joke about that book? I read it so long ago, what a great reread for the current zeitgeist
146.
by cmrx64 3y ago
well, it's comforting to know that the safest conditions to be struck by lightning are also the most likely... seems there is some potential danger of dashing between buildings while dry! but if you're stuck outdoors, you're
147.
by cmrx64 3y ago
don’t conflate decentralized with distributed
148.
by cmrx64 3y ago
Computer bad. Phone bad. But small airplane screen? Small airplane screen novel and good.
149.
by cmrx64 3y ago
can you elaborate? rust iterators seem quite capable of streaming in the fashion you suggest.
150.
by cmrx64 3y ago
very nice demo.

More ›