Viewing profile — alehander42

you're right: in the RR case: currently this is not merged yet, but a RR contributor works on persistent checkpoints; they can act as snapshots

We're working on Windows support for the scripting and blockchain languages. I am sorry if the headline felt misleading or the current support disappointing: we do have experimenta…

Nim is the original language we use. Zahary is a prolific contributor to Nim, and we have a good relationship with the Nim community, they've helped a lot! Nim and some Python are …

the support for system languages (the rr integration "backend") is currently closed source. It's not ready yet, and it might be proprietary: it would be great if we can open source…

Very impressive! Lisp people are always good at tooling.

True! The next major version of the format should use a more optimized format, as mentioned. However, some of the important optimizations, that we're preparing are not related so m…

We'd love additional contributors! We also have some more detailed plans for such an extension. If you're interested in chatting about it, you can join our discord[1] (or we can ex…

We are currently working on two "backends" where recording works in different ways. For the scripting languages and smart contract/ZK languages, we instrument the interpreters usin…

A contributor to the D language helped us for many aspects of the project. He would really like to see D support haha!

We are building our future support for the system languages for now directly on top of RR recordings: credit to Robert(roca) and Kyle and all other contributors for RR and Pernosco…

We are also planning to develop a distributed tracing platform, similar to Jaeger and OpenTelemetry, that continuously records the execution of many distributed processes (e.g. mic…

Thank you! The Python initial prototype is not yet finished. It's easy to play with, so anyone interested can actually work on it! Currently, in the experimental tracers, Ruby is u…

Hey! We are presenting CodeTracer - a user-friendly time-traveling debugger designed to support a wide range of programming languages: https://github.com/metacraft-labs/codetracer?…

Most Bulgarians are actually proud of their country, often sharing that the Cyrillic originated there, and focusing proudly on the old history and all kinds of inventors/achievemen…

Well, we can't and we shouldn't find agreement if our base beliefs are different. I only also disagree with any vitriol against the professor. I have my doubts: even the comment yo…

A soul is infinitely more important than a temporal sickness and God is infinitely more merciful and wise than our limited capacity/knowledge can comprehend. And yes, Christ came t…

Christianity is what actually fulfilled Second Temple judaism. There was no need for such a Temple anymore, as now people themselves were becoming living temples. Lord Jesus, apost…

He wasn't talking about the hygiene of washing hands. He is God, he understood. He was making an obvious point about human traditions a which the Gospels even clarify with context.…

Every interpretation which focuses on Jesus as a "interesting teacher" ignores half of the things he actually said and demonstrated. Paul wasn't more radical than the man who claim…

Not really. The Scripture is very good at showing what's in our heart: we have freedom to interpret some non-obvious things wrongly, to not put effort at actually understanding it …

All of this is really not very relevant to the New Testament. Sadly I feel people back then had in some ways a better grasp of symbolism, proverbs and Scripture than us today.

Why? Rabbinical judaism is not the same as the Second Temple faith. Research its history and if it preserved the same interpretation of OT

I actually almost haven't commented about the professor: I empathize with his frustration. I commented here not because of him, but because of the misrepresentation and misinterpre…

Today's judaism is very different from Second Temple judaism. My impression is that it is probably more different from it than some forms of Christianity, e.g. Eastern Orthodoxy. I…