An inconsistency Tolkien "solved" is most notably Glorfindel. The name was used twice in early drafts so he decided to merge those two persons even though they appears eras apart, and the first one had died. He did it by introducing the concept of reincarnation for the elves.
I've been writing a new mailing lists manager on and off over the years. Deliverability and failure tolerance and recovery scare me a lot regarding mailing lists.
My project is by no means ready for production but people interested to contribute are always welcome:
To be pedantic, the soldiers might have probably said Hellenes, not Greek (γραικοί). But Roman was also a common ethnonym back then, used by the Ottoman society. In Greek (Helleneke) it was spelled Ρωμιός https://en.wiktionary.org/wiki/%CE%A1%CF%89%CE%BC%CE%B9%CF%8... . The point of confusion was probably that, I suppose?
I grew up in Greece, no one uses any name other than Hellene anymore. To the point that "Greek" sounds more English than Greek to a native Greek speaker.
osquery exposes an operating system as a high-performance relational database. This allows you to write SQL-based queries to explore operating system data. With osquery, SQL tables represent abstract concepts such as running processes, loaded kernel modules, open network connections, browser plugins, hardware events or file hashes.
I recommend the 1621 book Anatomy of Melancholy by Robert Burton. He was a big bibliophile with a huge collection, and also melancholic, so he wrote about melancholy while pulling material from his own reading. The result is a huge book that is figuratively 50% main text and 50% marginalia; if you find a good edition where they are printed as actual marginalia instead of footnotes/endnotes, it gives a completely different perspective into the mind of the author as he wrote the book.
That's some heavy historical revisionism right there. The self proclaimed King of Greeks, with a Greek name, who spoke a Greek dialect, believed in the Greek pantheon, and won 3 times in the Olympic games (which were infamously for Greeks only!) was not Greek?
Greece as an ethnic state is a modern concept, if you say "the Greeks hated Philip" to refer to Athens and other city states who were in conflict with Macedon, then you're using the Greek label erroneously. The Greeks were not a single peoples but a somewhat culturally, linguistically and religiously homogenous group of clans and the states they formed through the years.
This is really everybody else's work. All I did was some mentoring of Emanuele, who is also the first presenter in the linked video.
We didn't use formal methods, but some small parts of the async runtime were validated with spin. The Promela sources are in the QEMU source repository.
In the end, the locking changes are relatively low tech. The verification part are where the magic happens, and TSA plus my call graph analysis tool vrc are enough for that.
Consider setting a delay of a few days before reposting, sometimes people post their own stuff on lobste.rs, want to also post on HN and you've already done so. It can be perceived negatively.
