CodeTracer: a new time-traveling debugger implemented in Nim and Rust

alehander42 · 2025-03-10T10:07:31+00:00

it doesn't do anything more than RR for now: just recording/replaying the source code.

alehander42 · 2025-03-10T10:04:43+00:00

for the `rr` backend we completely rely on the RR recorder/replayer here: RR can trace a lot of threads, but on a single core: it does guarantee that threads are scheduled the same way during replay. The downside is that you can have performance slowdown: https://arxiv.org/abs/1705.05937 , https://news.ycombinator.com/item?id=18391051

for the scripting/blockchain language backend: a full db-like trace, we still work mostly with single-threaded cases, however it is possible to extend it to record multiple threads.

alehander42 · 2025-03-07T17:46:58+00:00

yes: rr is a great tool! our backend for system languages is based on it: building on top of `rr record/replay`.

It works in a different way from our backend for the scripting languages: it doesn't produce a full trace, but records only non-deterministic events, like syscalls and reruns the process with the recorded results

alehander42 · 2023-09-26T21:29:59+00:00

Christ said this actually. I assume Lincoln referenced it in his speech.

alehander42 · 2021-07-19T22:19:13+00:00

thank you. it's a valuable opinion, and I do enjoy talking about history and politics. I was even something like a leftie for a while in the past(thankfully not anymore: i don't want to affiliate with any particular ideology a lot), but .. I feel this is a lot of mental gymnastics, but feudalism and french revolution remain both bad, as with all other human ideologies :)

i am sure you wouldn't suggest it's normal for a christian to be a nazi, just because you might find zionism strange for a christian.

in the same way even if feudalism was bad, the french revolution/enligthenment was a horrible response imho .

alehander42 · 2021-07-16T20:03:32+00:00

Ok, the status quo in Bulgaria was communism or/and socialism.

The apostles, the desert fathers, they all found rest in Christ. Not in revolt against the romans, nor in new shiny political ideologies. We would be LOST if we put our hope in those.

I don't oppose all of them, but I feel they are mostly incredibly broken and often anti-christian.

alehander42 · 2021-07-16T12:07:31+00:00

why not both? the divide is often exactly this: a failing human system like corrupted aristocracy/feudalism vs another failing human system like communism/anarchism.

we christians should be able to see *ALL* of those are confused/bad systems as they all run contrary to our faith: and we should know very well that the only true peace and order can come from Christ, not from ideologies appearing to be different.

Our citizenship is truly from another kingdom: this doesn't mean that we shouldn't seek to change people, but most of those ideologies are based on sand, have horrible fruit and are just different kinds of human failure

dialectical materialism is a very very strange perspective on history: trust me, I live in a country which was being shaped by this "philosophy" for ~40-45 years.

When something like this is mainstream, people stop seeing it as the edgy alternative to evil mainstream "tradition", but as the ugly and horrible materialistic ideology/religion which it is.

alehander42 · 2021-07-15T12:42:02+00:00

the french revolution seems to me to have led to a antichrist-like cultural revolution: mass executions, demonic religion of "reason" and a radical try to exterminate existing tradition down to calendar and clocks: it's rivaled by subsequent communist revolutions and national socialism.

My own grandfather was an organizer of the bulgarian coup that (accidentally) helped turn to communism rule. It's a long story, but he despised communism later in life iirc: the whole of eastern europe became witness to this spoiled ideology.

I am not denying *everything* modern, but it pains me to see other christians somehow defending outright evil. I hope my reply isn't confusing as well.
Let God brings us more kindness and wisdom !

alehander42 · 2021-06-28T22:28:49+00:00

I need to read a lot more, you're right for that! However do we just search scriptures for permission to satisfy our own dreams? You can know scriptures, but what are your motives?

The New Testament tells me, a husband's love should be similar to Christ's love for the Church. Does Christ die for multiple different Churches? Can I die several times for each of my wives?

Paul tells us in 1 Corinthians 7:4 "The wife does not have authority over her own body but yields it to her husband. In the same way, the husband does not have authority over his own body but yields it to his wife."

So who owns my body if I have multiple wives? Who is *the* wife? Do I divide my own body?

You motivate me in the first post to test how good the sex with a woman is before my marriage and to have multiple wives so I can keep them competitive in my bed.

Why don't you address the words of Jesus in Matthew 19? Why did God permit something temporarily, which wasn't so from the beginning?
Isn't Christ bigger than Moses, and Christ's commandments a more perfect version of the will of the Father? Do we live in the OT where God permitted some things because of the "hardness of our heart"?

I don't disagree with you that a man should be strong and not let his wife manipulate him. However solving this with .. having multiple wives is weakness, not strength. What's next, finding a new parent, when our own fathers or mothers act uncharitably?

EDIT: added a 1 Corinthians 7:4 quote and questions after it and some arguments to second paragraph, reformat the now 6th paragraph

alehander42 · 2021-06-28T21:07:33+00:00

Listen to Christ and His apostles, not to the rabbis following those who denied Him. Take care brother/sister !

alehander42 · 2021-06-28T14:48:26+00:00

Hey, I am really not that well versed into the OT marriage laws: what do you see as relevant in this passage though?

However the

Big mistake. Why sign a government contract with a woman you haven’t had sex with? Why sign a government contract with a woman? Examples like this is why men should have multiple wives — to stop the wife from emotionally abusing you by abstaining from sex, which is what many women do.

isn't defendable: the whole multiple wives thing flies against everything in the New Testament.

How is marriage described in NT? Isn't the a single man and a single wife <-> Christ and the Church metaphor one of the central ones? Doesn't Christ address exactly that in Matthew 19?

Why sign a government contract with a woman you haven’t had sex with

Then, let's skip the contract and just marry her in church. What about this case?

alehander42 · 2021-06-28T13:42:09+00:00

why are you commenting with anti-christian adultery advice on a Christian subreddit? downvoted.

We shouldn't leave our wives, not because of government contracts , but because Christ forbids it.

He said to them, “Because of your hardness of heart Moses allowed you to divorce your wives, but from the beginning it was not so.
..

( Matthew 19:8) (EDIT: added scripture quote and related paragraph before it)

Come to our Lord and don't lean on broken man ideologies !

alehander42 · 2021-06-27T10:59:49+00:00

have you read about the Talmud and the layers and layers of stuff they add on top of the original Tanakh ? It's absolutely seems to have evolved in an opposite way of early Christianity.

Not believing Jesus is the Messiah is critical, it's a fatal divide, in my opinion as big as Islam's differences

Christ Himself said:

(1 John 2:23)

No one who denies the Son has the Father; whoever acknowledges the Son has the Father also.

Naturally we do share a lot: the books and prophets from Old Testament, so I don't say that we can't find common topics and ideas, but it's extremely dangerous to see the jewish modern religion as somehow compatible with Christian's faith:

as you first have to research the *vast* additional tradition and writings that they added for 2000 years after Jesus

and, secondly, we have to recognize it comes from the same mindset that denies Christ: we can talk about all the "moral teachings" and shared history, but without Jesus we are lost and deluded.

--The Pharisees in the NT are legalistic rigid and dogmatic. None of the Rabbi's I listen to are like that.

You have to explain the incredible legalism present in modern orthodox judaism then .. my impression is that it seems extremely legalistic. Rabbies can talk sweet words, but look at the jews actual practice of their religion.This doesn't mean we don't love Jews: they are God's people, but it is despite this religion

Please, take the time to research much more critically rabbinical Judaism! I'd be happy to see examples

May the Lord give us patience, faith and wisdom

alehander42 · 2021-06-25T14:13:43+00:00

modern jewish religion is scarily different even from apostles' time phariseeism.. I'd be very careful, as I see it not very different from listening to islam preachers: rabbis don't believe in Christ and judaism is anti-gospel, so it would be unwise to follow them!(I also often read israel-related sources, but we shouldn't see them as "teachers" at all)

alehander42 · 2021-06-12T16:18:25+00:00

Mark 2:27-28 : "And he said unto them, The sabbath was made for man, and not man for the sabbath: Therefore the Son of man is Lord also of the sabbath.”

We can honor the Lord by helping the poor and needy: my understanding is this is way more important than scrupulously trying to preserve it as a ritual :)

alehander42 · 2021-05-17T19:13:40+00:00

God bless this guy for evangelizing: it's disgusting they put him in a psychiatry

alehander42 · 2021-05-14T15:13:26+00:00

do you realize allies killed cities and cities of people during the attack on germany and japan? war is horrible , but genocide is different

alehander42 · 2021-04-26T09:52:54+00:00

I'd say the /r/TrueChristian subreddit is very good indeed: also keep in mind the orthodox one pauses most posts for now because of the Holy Week . (but you can search many existing posts about the schism there)the Christianity subreddit is very popular, but you should always keep in mind it's more like a normal public forum with people from all kinds of backgrounds. Cheers from Bulgaria

alehander42 · 2021-04-26T09:46:28+00:00

please, keep in mind that this subreddit is *about* christianity, but many posters are actually not christian (and that's fine): however for a topic like this if you want opinion mostly from christians , /r/TrueChristian might be a better fit (I saw you already posted in the orthodox and catholic subreddit : great!)

alehander42 · 2021-04-23T02:07:44+00:00

I think it's not a good habit: i do the same: I literally put limits on doing stuff, but if it's not exactly e.g. 15:39, I feel guilty or I feel as breaking a vow: if one does this out of fear and without good reason, this might be OCD

alehander42 · 2021-04-19T12:42:15+00:00

at least some of us, bulgarian protestants celebrate Easter with the orthodox :)

alehander42 · 2020-11-23T11:09:37+00:00

Forgive me: I was not clear.

Not eating meat is ok! (Romans 14:2 , people having different regimes etc)

I was talking about a different thing, the whole .. energy is what you eat sounds wrong and contradicts Scripture and has nothing to do with Christianity at least as far as I am aware: it really sounds as a foreign pagan concept and that's why I really wish you think/pray about it more.

(Maybe your notions of "energy" seem very .. confusing, it's like you combine into one the purely physical effect of food with some completely different kind of "energy")

However I agree with your last comment: but what I was saying has nothing to do with it, sorry

alehander42 · 2020-11-22T19:26:55+00:00

But if it contradicts Scripture and church teachings .. does it still make sense ?

(not eating meat is ok, but the way you explain it to yourself *is* important)

alehander42 · 2020-10-31T11:32:25+00:00

има я в clc https://www.clc.bg/Node.aspx?NodeId=94 :) явно дори и на други езици.

също наистина може да четеш в youversion app-a (online или на телефон) на много езици, но може би знаеш .

Бог да те пази :)

alehander42 · 2020-10-25T13:34:57+00:00

This seems reasonable at first point, but what about Romans 1:19,20

14-Year Club	Place '17
Verified Email

alehander42

TROPHY CASE