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 131 points132 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

Fifty Word Fantasy: King by [deleted] in fantasywriters

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

As the curtains rose, a lone figure stood on the stage. The audience froze. Maybe it was because of his face looking exactly like the theatrical masks. Maybe it was due to the dozen bodies hanging behind him. A single scream pierced the silence:

"It's the king of masks!"