ratmice

19 ms·

211.
by ratmice 9y ago
even worse, there might be something there like the exception vector table, in which case spurious writes become an attack vector. https://cansecwest.com/slides07/Vector-Rewrite-Attack.pdf
212.
by ratmice 9y ago
I wouldn't involve a 2nd person, A sealed envelope labeled "In case of actual or impending catastrophe" should suffice. Sending the alert would require a string of characters inside the envelope, Envelope should also contain
213.
by ratmice 9y ago
FWIW, i've compiled llvm/rust with 2G, I never ran out of ram compiling rust, but in llvm gnu-ld would run out of memory, using the gold linker fixes that, as well as the configuration flag for enabling separate debug info -DLLVM_
214.
by ratmice 9y ago
> Please tell me what system call you can write in RUST that you can't write in C. One that doesn't suffer from context switch penalty, but still provides separation of the kernel and the process?
215.
by ratmice 9y ago
>> Please do tell how you would make two or more instances of an abstract type in Java, in such a way that... >By having two implementations of a common interface, like `ArrayList` and `LinkedList` both implementing `List`. This is
216.
by ratmice 9y ago
I suppose yes, I could see such a thing working in the style of "A unified approach to solving seven programming problems" perhaps 'naively' would be the right word
217.
by ratmice 9y ago
right, context did exist at that point but seems limited to filenames, and symbols afaict, obviously though you can obtain much more context in a statically typed environment
218.
by ratmice 9y ago
it looks like guile's readline came in 97, with tab completion added in 98
219.
by ratmice 9y ago
FYI For a long time GNU coding standards prescribed using the grave accent, but this changed some years ago now https://www.gnu.org/prep/standards/html_node/Quote-Character...
220.
by ratmice 9y ago
The 1ML papers discuss this, ML implementations in reality are already incomplete with regard to Hindley-Milner, a quote: "We show how Damas/Milner-style type inference can be integrated into such a language; it is incomplete, but
221.
by ratmice 9y ago
It is documented in the elf specification (however I agree it should be documented or preferably excised from ld.so) http://www.sco.com/developers/gabi/latest/ch5.dynamic.html#s... The dynamic array tag DT_RU
222.
by ratmice 9y ago
maybe we haven't explained it to their constituents appropriately, lets protect our 2nd amendment rights to encryption.
223.
by ratmice 9y ago
Ken has a bakery and a pizza place in Portland, Ken's artisan bakery, and Ken's artisan pizza, both amazing.
224.
by ratmice 9y ago
Identities do not mess anything up, the commonly employed implementations of identity however do... again check out modula-3 and more recently the paper at http://drops.dagstuhl.de/opus/volltexte/2015/5231&#x2
225.
by ratmice 9y ago
Exactly what I thought you were saying, and disagree with. I consider it fine to say "Objects require identity", without identity a fully encapsulated object is nothing more than an anonymous black hole. When you turn this around
226.
by ratmice 9y ago
>No one claimed it wasn't useful, simply that it's not necessary to have objects. "Immutable data structures necessarily don't have identity (well, to say identity isn't meaningful because aliases can simply be s
227.
by ratmice 9y ago
I was kind of disagreeing with 2 things: that encapsulation must be all encompassing, and that identity is not meaningful or useful for transparent immutable data...
228.
by ratmice 9y ago
I don't really agree as well, Modula-3 (although i'm not terribly familiar with the language) has partial revelation (a rather nuanced form of encapsulation), and branding where structural transparency does not preclude nominal id
229.
by ratmice 9y ago
Indeed, I took more issue with what you didn't say, than what you did. However I still disagree with the point about it being specific to "Commercial fruit juice", particularly when it comes to home squeezed citrus/oran
230.
by ratmice 9y ago
a) It is a lot easier to consume much more juice than one would normally consider eating when juiced b) just because you are consuming both the juice and the fiber still, does not make them equivalent, the post-consumption breakdown of fibe
231.
by ratmice 10y ago
> These are pretty much perfect for statically enforcing a nanopass-like system in your compiler and are a great way of designing your AST/data types in your compiler. Nice, I was just asking about this on the nanopass list the othe
232.
by ratmice 10y ago
> If anyone has looked into this more, would be interesting to hear about it! I would have a look at e.g. Bob Harper's homotopy type theory lectures. In the 2nd lecture on Judgements, he goes through it at about 50 minutes in. http
233.
by ratmice 10y ago
at least they included a link to the independent paper replicating the results of the allegedly cooked data. Surprised me somewhat.