alehander42

7 ms·

1.
by alehander42 2y ago
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
2.
by alehander42 2y ago
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 experimental Ruby support, that you can try right now if you recor
3.
by alehander42 2y ago
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 used for our closed source rr backend currently, and th
4.
by alehander42 2y ago
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 it, if we find a sustainable business model
5.
by alehander42 2y ago
Very impressive! Lisp people are always good at tooling.
6.
by alehander42 2y ago
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 much to the format, but to record more specific things a
7.
by alehander42 2y ago
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 expand here/in a github issue as well) 1: http
8.
by alehander42 2y ago
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 using high level hooking API-s or direct patches,
9.
by alehander42 2y ago
A contributor to the D language helped us for many aspects of the project. He would really like to see D support haha!
10.
by alehander42 2y ago
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, they're amazing technologies. We've researched p
11.
by alehander42 2y ago
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. micro-services). Unlike the existing platforms, which capture o
12.
by alehander42 2y ago
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 usable for smaller programs, so one can try Ruby immedia
13.
Show HN: CodeTracer – A time-traveling debugger implemented in Nim and Rust(github.com)
334 points by alehander42 2y ago|52 comments
14.
by alehander42 3y ago
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/achievements, even on stuff like the uniqueness of our yoghurt: s
15.
by alehander42 5y ago
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 you were critiquing, it seems to me that you read it
16.
by alehander42 5y ago
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 to destroy death on the Cross: and yet, before His resur
17.
by alehander42 5y ago
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, apostle Paul and Hebrews explain all of this way better than I ca
18.
by alehander42 5y ago
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. The Scripture is full of similar scenes. Peter sees a
19.
by alehander42 5y ago
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 claimed to be greater than the Temple, one with th
20.
by alehander42 5y ago
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 and into deluding ourselves. However especially the Gos
21.
by alehander42 5y ago
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.
22.
by alehander42 5y ago
Why? Rabbinical judaism is not the same as the Second Temple faith. Research its history and if it preserved the same interpretation of OT
23.
by alehander42 5y ago
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 misinterpretation of the Gospel. I am a protestant. Despite that,
24.
by alehander42 5y ago
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. It seems that it has evolved as a reaction against Chris
25.
by alehander42 5y ago
this is a problem: your interpretations contradict. Yes, if it was only about hygiene, this would seem strange. But the actual passages are more complex: and naturally, ignoring symbolism, ignoring the whole context, the huge difference b
26.
by alehander42 5y ago
I don't think any mortal human should behave as he is God. It's good to try to not get sick/prevent diseases. However, you took this sense out of context: the context is "There is something worth non 0 value of living in
27.
by alehander42 5y ago
I mean, it's simply very strange to read this through the lens of some kind of "rules of hygiene" outlook. Nobody took it that way: jews weren't some kind of naive children, traditions and rituals were deeply embedded in
28.
by alehander42 5y ago
Just to clarify my comment, I was answering your second paragraph: it seemed to ignore to me the context of the original related Bible sections that started the discussion.
29.
by alehander42 5y ago
If you totally ignore the context of a text and read it in a way almost no one ever read it, you can give it any meaning you want
30.
by alehander42 5y ago
God gives eternal life. In this case, the biggest problem we have isn't really sickness, or even physical death: it's separation from the Him: the Source of all that's actually good, and being enslaved to everything opposing

More ›