This is super interesting Rochus. Are you targeting Oberon System 3 in particular because it adds tcp/ip networking support? In my opinion that would make it a much more interesting system to kick the tires on, if so!
There is indeed great scholarship here with major contributions from Jason BeDuhn, Matthias Klinghardt, and Dieter Roth in addition to Vinzent, Bilby, and Bull who you mentioned. I'm really excited by this research and did a deep dive reading Tertullian's Against Marcion and the idea that anyone could possibly take the arguments set forth there over the more modern critical approaches is mind boggling. I can't imagine anyone arguing for Lukan-Priority based on these patristic sources has ever read them as the argumentation is specious at best.
This is not at all the consensus of scholars working at public secular institutions not affiliated with religious institutions of higher learning. A late dating of the formation of the canon is just as viable if not more so among this academic community.
The absence of recent work on reconstructing and contextualizing Marcion’s Evangelion and Apostolikon is disappointing, particularly given the implications for understanding early Christian texts and the development of the synoptic gospels. The pre-Lukan theory, which suggests Marcion’s gospel may represent a version of Luke predating the canonical text, challenges traditional views on the formation of the gospel narrative. This theory raises important questions about the so-called “Q” source, a hypothetical collection of Jesus’ sayings used by Matthew and Luke.
The solution to this, at least in the case of Tor, is for existing sites (e.g., Wordpress, medium, etc…) to provide one-click onion-site publishing support.
I wonder if it would make sense to house these reactors in underground facilities to the extent possible to harden them against at least accidental threats?
I think free will is a bit like a sphere. There is no true sphere in nature, only a more or less accurate approximation. Likewise for free will, there is no such thing as true free will (tm) but there are better and worse approximations.
For anyone reading this just now at 13:04UTC or thereabouts the monthly Ada meetup is also happening as I write this. https://meet.jit.si/AdaMonthlyMeetup
In addition to the Matrix, Telegram, and Libera IRC chat channels, the Ada community has spawned yet another way to collaborate and connect. While I'm at it, I guess I should mention the ada-lang.io forums as well.
How does Versus compare to SPARK? Are they of the same general class of verifier? How is Versus different other than a verifier for Rust rather than a verifier for Ada?
What if we go further out on the carbon limb since this or a similar technology allows us to further delay implementing carbon reductions and then, for some reason, our civilization fails and we can no longer continue to dope the atmosphere to protect us from the now even more serious consequences of our emissions? This approach strikes me as madness; like the behavior of a junkie who takes uppers to wake up in the morning because they've become addicted to downers to get to sleep.
I use LogSeq with the TODO plugin giving me a sidebar view of outstanding TODOs. It would be wonderful to have a similar plugin for LogSeq but of course the onus is on me to make that happen. If someone were working on such an integration I would gladly support it via Patreon or open collective, etc…
I love micro and use it every day. Now that I've tried Helix, however, I want micro plus baked-in treesitter, LSP, and contextual help. Helix really nails it with that feature set but I'm just too happy with my "single-mode + commands" ctrl-c/ctrl-v muscle memory to switch.
Definitely this. I'm super happy for anyone finding some new level of productivity with vim, emacs, kakoune, etc. but I don't want to join an editor cult, not even a CUA one. I just want to edit text from the command line using a familiar set of keystrokes and move on with my life and micro fits the bill.
As exciting as it is to see Go 1.20.1 support land in OpenBSD 7.3 it is sad to see support for the delve debugger languishing. If you're a Golang dev with good knowledge of both Go internals and BSD architectures you might want to have a look!
Oddly enough I just started down the same path learning Ada by following Crafting Interpreters in both Java and Ada. If you decide to write anything up about your journey I'll look forward to reading it.
Build with stone blocks. Even if it gets knocked over the blocks just need to be reassembled to be useful whether as a wall, a tower, a road, or another house.