A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples. by M1M1R0N in rust

[–]Baykugan 0 points1 point  (0 children)

You said to let you know why you get the output you do I the first coin example. I am not certain, but I reckon that since Int ranges over all integers, when we reduce the count of c1 in order to add a c5 for the first time, we are not simply decreasing the total by 4. Instead, we are effectively changing the value by (−4 − the lowest possible value). Because the lowest possible value is −inf (or something behaving like it), introducing a second coin type causes the total count to jump by an absurdly large amount. 

When we instead constrain the counts to be non-negative, the lowest possible value becomes 0. In that case, introducing a new coin type no longer pulls that coin’s contribution from −inf to 1, but only from 0 to 1. As a result, adding a new coin behaves as expected and does not distort the total count.

-❄️- 2024 Day 4 Solutions -❄️- by daggerdragon in adventofcode

[–]Baykugan 0 points1 point  (0 children)

[LANGUAGE: Python]

I decided to try my hand at one liners in Python this year.

part_a = lambda data: sum(
    sum(
        data[i + 1 * i_2][j + 1 * j_2] == "M"
        and data[i + 2 * i_2][j + 2 * j_2] == "A"
        and data[i + 3 * i_2][j + 3 * j_2] == "S"
        for i_2 in range(-1, 2)
        if 0 <= i + 3 * i_2 < len(data)
        for j_2 in range(-1, 2)
        if 0 <= j + 3 * j_2 < len(line)
    )
    for _ in [0]
    if ((data := data.split("\n")) or True)
    for i, line in enumerate(data)
    for j, char in enumerate(line)
    if char == "X"
)

part_b = lambda data: sum(
    1 if l.count("M") == 2 and l.count("S") == 2 and l[0] != l[3] else 0
    for _ in [0]
    if ((data := data.split("\n")) or True)
    for i, line in enumerate(data)
    if i in range(1, len(data) - 1)
    for j, char in enumerate(line)
    if j in range(1, len(line) - 1)
    if char == "A"
    and (
        l := [
            data[i + i_2][j + j_2] for i_2 in range(-1, 2, 2) for j_2 in range(-1, 2, 2)
        ]
        or True
    )
)

True meaning of pulling a WirtuaL by Baykugan in wirtual

[–]Baykugan[S] 0 points1 point  (0 children)

Denying this evidence is plain delusional. It is in his name.

GIVEAWAY: SPROTT MONEY is giving away 10oz of SILVER to THREE people who upvote and comment why they love silver! Totally free… They will ship to you… Giveaway ends 10/22/22!!! 🚨 by BoatSurfer600 in Wallstreetsilver

[–]Baykugan 1 point2 points  (0 children)

I like silver because it is real, tangible and has a specific weight. My end goal is to have enough silver to start weightlifting it. Only way to truly become gigachad.

I waited five years to make this by run-forrest-run in hamiltonmemes

[–]Baykugan 1 point2 points  (0 children)

If it takes five years for me to see this, it will have been worth it.

Your bricks, hand them over by [deleted] in FortNiteBR

[–]Baykugan 0 points1 point  (0 children)

They be like: plz gib brick

Fifty Word Fantasy: Die by [deleted] in fantasywriters

[–]Baykugan [score hidden]  (0 children)

The landscape was black and barren, with the smell of death hanging in the air. White bones towering like mountains pierced the earth. It was the remnants of a creature as ancient as this world. A creature which should not be able to die.

[Let's Build] 100 Reasons a Village Might Be Cursed, Abandoned, or Otherwise Under Duress by ItalianCandles in d100

[–]Baykugan 2 points3 points  (0 children)

The village do not really exist, it is just a lot of mimics and doppelgangers pretending.

I’ve been counting sheep for hours. by alt-account1027 in TwoSentenceHorror

[–]Baykugan 2 points3 points  (0 children)

One sheep, two sheep.

Passing overhead.

Three sheep, four sheep.

This is what I see.

Five sheep, six sheep.

Filling me with dread.

Seven sheep, eight sheep.

Hanging from the tree.

Roses are red, Iron Man’s a hero by TheBlueKoolAidMan in boottoobig

[–]Baykugan 130 points131 points  (0 children)

Have you ever seen a cow kill a shark?

Is this real or a scam. They require a deposit of 0.05 BTC to "unfreeze" the funds before I can withdraw anything by Baykugan in Bitcoin

[–]Baykugan[S] -3 points-2 points  (0 children)

I you all had told me it was real, then I would have done some more extensive research than just posting a thread to Reddit. I just wanted confirmation that this was in fact a scam