Since iddqd works on structured data, the model-based tests (while not being coverage-guided) do a lot of the kinds of things fuzzing would do against an algorithm which accepted unstructured data. In principle the bitstream from which structured data is generated could be provided by a fuzzer rather than the system RNG, but proptest makes that somewhat inconvenient. It's possible the newer Hegel library makes that easier, though.
Just did and still not seeing exactly what OP has made where the object looks like the letter. There are a few where the letters are abused to vaguely look like (use same texture) objects.
Maybe my Google foo sucks but could someone actually link what they're seeing?
Writing a JIT and a disassembler are completely separate topics than emulating a system, don't you agree? :D (The article only talks about structuring a system emulator.)
The disassembler is my next step, since it's the easiest to tackle. Swapping binja for a custom solution on the existing code would be relatively straightforward.
The JIT is a completely different beast, it's essentially the IR -> codegen steps of a compiler (meaning without parsing, syntax/lexical analysis, object generation). Seeing as I wanted to target both x86_64 and aarch64 hosts, using an existing solution would get me started faster before I eventually write my own.
My plan is to split the JIT backends and keep cranelift for x86_64 support, but have my own aarch64 JIT also.
You have to pick your battles and assign priorities, you cannot re-invent everything at once.
Yes! I also started with using vm_memory traits in the beginning but delayed it till I refactor my memory subsystem. When we get that in upstream QEMU it might be possible to share this implementation as well as future devices.
Yep, vm-memory needs pretty large changes to the crate itself but fortunately they're already in progress to add IOMMU support to the virtio and vhost crates. Probably there will be an API break but with old and new crates able to talk to each other so you don't need a flag day.
I am curious if you get to DMA before or after QEMU, and if before what your API will look like.
Yes, it's possible and supported. QEMU can emulate an aarch64 system, and Google provides aarch64 Android builds for virtual machines specifically, called "Cuttlefish". Search for keywords "Android Cuttlefish QEMU" for instructions.
I agree it depends on the writer and their cultural and educational background. Another example is Thucydides (which as also a native Greek speaker, find funny that anglophones pronounce as Thoo-see-dee-dees, but I digress). Thucydides was considered even in eras closer to him than to as as too abstract/verbose.
Meanwhile Plutarch enriches the laconic myth corpus by reporting that the Lacedaemonians were content with replying to a letter with only the words "About what you wrote: no." Writing style is part of the message.
Growing up bilingual, I personally always found Greek more verbose than English even in brevity. It's good for avoiding ambiguity and getting your intent across but sometimes bad for colloquial communication.
First published in the Metropolitan Museum Journal, vol. 56, 2021, pp.160-73.
This study focuses on artist-designed frames at the end of the 19th century, many of which are preserved in the Havemeyer collection at the Metropolitan Museum, with a particular emphasis on a material known at the time as pâte coulante, unique in its ability to render extraordinary profiles, some of which could not have been realized by any other method available at the time. Although frames in pâte coulante can be seen surrounding the works of many late 19th century and early 20th century paintings, this study refers to the few superb examples available for study in the Metropolitan Museum and in private collections, which in many cases surround works by Edgar Degas. For artists like Degas, this method became crucial for executing radical frame designs. To reinforce the argument that the process of template-cut pâte coulante granted artists and framemakers the freedom to turn any design into a reliable and serviceable moulding, replicas of period mouldings were recreated using the available historic information, and the results gleaned from this technical study are included here.
(Thanks for cargo-nextest btw!)
reply