Guild icon
DDraceNetwork
DDraceNetwork / off-topic
Any languages allowed
Between 2024-10-23 00:00 and 2024-10-24 00:00
Avatar
Overlord 2024-10-23 00:49
neet life masterrace
00:50
do nothing, learn nothing, waste space, feel both good and bad at same time
00:50
i think only student life beats a neet one (in terms of useleness)
Avatar
Overlord 2024-10-23 01:11
Tho not every some students actually do seem to learn, and pursue something
01:11
Neet thots at 3 am coherent not
Avatar
TsFreddie 2024-10-23 01:28
justatest
Avatar
Avatar
TsFreddie
justatest
Overlord 2024-10-23 01:36
Fellow Neet but different
01:37
A Neet but working one, mostly curious
01:37
Are the neets evolving?!
Avatar
TsFreddie 2024-10-23 01:38
Image attachment
❤️ 1
Avatar
Overlord 2024-10-23 01:45
Cheers, enjoy the wrap
01:45
Old KFC habits die hard
01:45
I live in super poor (modest) life considering what i spend is forever gone
01:46
And atm kfc price is eye gouging nearly approaching sushi price
01:48
Soon fastfoods will ask for gold ingnots and then firstborns
Avatar
TsFreddie 2024-10-23 01:49
its like 2usd
Avatar
Avatar
TsFreddie
its like 2usd
Overlord 2024-10-23 02:09
Thats just the drink here
Avatar
TsFreddie 2024-10-23 05:27
where is here
Avatar
Skeith 2024-10-23 05:44
I believe it's there
Avatar
TsFreddie 2024-10-23 05:45
rare
Avatar
Anime.pdf 2024-10-23 06:26
fair
Avatar
manikoo 2024-10-23 06:53
Embedded image
Avatar
ScReeNy 2024-10-23 08:34
translating chinese names rly shows some weird names xd
Image attachment
08:34
"White-haired man lying in pine clouds" lol
🤣 1
Avatar
TsFreddie 2024-10-23 09:50
Image attachment
09:50
crisps and monster
09:50
poggers2
Avatar
ScReeNy 2024-10-23 09:55
never seen a person place a chips bag like that
09:55
are they different?
Avatar
TsFreddie 2024-10-23 09:57
no
09:57
Image attachment
09:57
i just like that i don't need to put my hand deep inside the bag
Avatar
Avatar
TsFreddie
Click to see attachment 🖼️
meloƞ 2024-10-23 10:18
I DO THAT TOO!! Or sometimes I rip them open in the middle with a knife or smth and basically twist it open, that way you don't even need to re-adjust!
Avatar
TsFreddie 2024-10-23 10:18
https://www.youtube.com/watch?v=nkLDh-UNqGI
Raccy - Topic
Level Up
Avatar
spooky oxyzo 2024-10-23 10:24
level down
Avatar
♂S1mple♂ 2024-10-23 10:25
Creative joke
Avatar
spooky oxyzo 2024-10-23 10:26
yes
10:26
thanks
Avatar
Avatar
meloƞ
I DO THAT TOO!! Or sometimes I rip them open in the middle with a knife or smth and basically twist it open, that way you don't even need to re-adjust!
むぎ 2024-10-23 10:58
ye
10:59
i hate putting my hand in a chips bag
11:00
especially when im on the pc
Avatar
Avatar
むぎ
i hate putting my hand in a chips bag
risu 2024-10-23 12:03
I like to get my hand all up in there, pretend I'm doing a cavity inspection
Avatar
Avatar
ScReeNy
translating chinese names rly shows some weird names xd
Vappy 2024-10-23 12:57
⚫ 🥚
Avatar
Capybara 2024-10-23 13:39
помоги пидорасы блокают
Image attachment
Avatar
gizem 2024-10-23 14:30
我喜欢黑人
Avatar
Avatar
TsFreddie
Click to see attachment 🖼️
*>Maciek<* 2024-10-23 14:57
That white monster thoo
Avatar
Avatar
TsFreddie
i just like that i don't need to put my hand deep inside the bag
*>Maciek<* 2024-10-23 14:58
How do you do it its actually cool
Avatar
Avatar
ScReeNy
translating chinese names rly shows some weird names xd
manikoo 2024-10-23 15:07
"No matter how warm the winter is" gigachad thats best
Avatar
むぎ 2024-10-23 15:07
Avatar
Avatar
TsFreddie
Click to see attachment 🖼️
Learath2 2024-10-23 15:07
I hate monster, but I approve your choice of monster. White monster is the only one I sometimes drink
Avatar
manikoo 2024-10-23 15:08
water
15:08
hydrate
Avatar
Avatar
むぎ
Click to see attachment 🖼️
manikoo 2024-10-23 15:08
10$ startup
Avatar
pilonpl 2024-10-23 15:23
my program solved a hard sudoku in 56 seconds
Image attachment
15:24
and its literally just backtracking
Avatar
pilonpl 2024-10-23 15:31
tbh i didnt think it would work at all
15:32
but i guess computers are fast
Avatar
Avatar
pilonpl
my program solved a hard sudoku in 56 seconds
manikoo 2024-10-23 15:36
so late
Avatar
heinrich5991 2024-10-23 15:39
the program's name is soduko (o ↔ u)
15:39
the "correct" way to solve a sudoku with a computer would probably be a sat-solver
15:40
I'd guess that a sat-solver would solve this in way less than a second
15:40
https://en.wikipedia.org/wiki/Z3_Theorem_Prover is one such sat solver, if you want to try it out
Z3 Theorem Prover
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Avatar
むぎ 2024-10-23 15:42
guys who knows why did youtube make it gradient
Image attachment
15:42
it looks really weird to me
Avatar
Avatar
むぎ
guys who knows why did youtube make it gradient
Cammodude 2024-10-23 15:44
https://youtu.be/BwElDc7Zyh8?t=15
YouTube Creator Liaison
New Features Coming to YouTube!
Avatar
Avatar
heinrich5991
the program's name is soduko (o ↔ u)
pilonpl 2024-10-23 15:47
I know, that's intentional
Avatar
Avatar
Cammodude
https://youtu.be/BwElDc7Zyh8?t=15
むぎ 2024-10-23 15:47
pepeW
Avatar
Avatar
heinrich5991
the "correct" way to solve a sudoku with a computer would probably be a sat-solver
pilonpl 2024-10-23 15:48
But it's hard to make a sat solver
15:48
And i imagine a solver created specifically for sudoku can be faster than a general SAT solver
Avatar
heinrich5991 2024-10-23 15:49
I'd doubt that you'd get faster than a SAT solver tbh
Avatar
pilonpl 2024-10-23 15:50
Me specifically probably not but someone who knows what they're doing could do it faster
Avatar
heinrich5991 2024-10-23 15:52
I'm not sure ^^
15:53
at least not in an economically faster way
Avatar
pilonpl 2024-10-23 15:54
i think there are a lot of facts about sudoku boards that are always true but a SAT solver would have to prove them from scratch anyways
Avatar
Avatar
Cammodude
https://youtu.be/BwElDc7Zyh8?t=15
Cellegen 2024-10-23 16:00
Thing is, this is only the UX design team working on Youtube. There is just no way the security managers are gonna do anything. Still nice change tho, kinda of
Avatar
Avatar
heinrich5991
I'd guess that a sat-solver would solve this in way less than a second
Learath2 2024-10-23 16:05
Purpose built constraint solvers can do much better. I don't think I've seen anyone benchmark just encoding the board into a SAT problem and feeding it into a generic SAT solver
16:07
https://t-dillon.github.io/tdoku Here is a nice writeup about such a solver being designed from scratch, all the way from a naive backtracking solver to a fully vectorized backtracking solver based on DPLL
Nerd Sniped: A Sudoku Story
development and benchmarking of a fast sudoku solver algorithm, maybe the fastest sudoku solver algorithm
Avatar
pilonpl 2024-10-23 16:08
i think backtracking can be reasonably fast
16:09
if i improve the function for verifying if the board is correct
16:09
and my other idea is to do something like wave function collapse
Avatar
Learath2 2024-10-23 16:10
There isn't much to improve there, you have to check all constraints. You can have an early bail if you do sums first, e.g. if a row/column/square does not sum to 45 it's immediately wrong
Avatar
pilonpl 2024-10-23 16:11
well, in the context of backtracking i only have to check the changed number
Avatar
Avatar
Learath2
There isn't much to improve there, you have to check all constraints. You can have an early bail if you do sums first, e.g. if a row/column/square does not sum to 45 it's immediately wrong
pilonpl 2024-10-23 16:12
also this doesnt really work because i want to check boards with unfilled numbers too
16:12
kinda obvious
16:13
and it's just a slight reduction in memory usage i guess?
Avatar
Avatar
pilonpl
well, in the context of backtracking i only have to check the changed number
Learath2 2024-10-23 16:14
Still nothing much to improve, it's 24 tiles you have to check, there is no avoiding checking them really
Avatar
Avatar
pilonpl
my program solved a hard sudoku in 56 seconds
heinrich5991 2024-10-23 16:14
1 2 3 4 5 4 16 71 5 2 8 4 3 91 (edited)
Avatar
pilonpl 2024-10-23 16:14
right now i am checking every row, column, and square
Avatar
Avatar
heinrich5991
1 2 3 4 5 4 16 71 5 2 8 4 3 91 (edited)
Learath2 2024-10-23 16:14
Is this an adverserial board you crafted/found?
16:14
There are catastrophic boards for naive backtracking 😄 (edited)
Avatar
heinrich5991 2024-10-23 16:15
no, it's the board from the screenshot
Avatar
pilonpl 2024-10-23 16:17
i prefer this formatting - - - - - - - 1 - - - - - - 2 - - 3 - - - 4 - - - - - - - - - - - 5 - - 4 - 1 6 - - - - - - - 7 1 - - - - - - 5 - - - - 2 - - - - - - 8 - - 4 - - 3 - 9 1 - - - -
16:17
in fact my parser ignores whitespaces
Avatar
heinrich5991 2024-10-23 16:17
$ python solve.py 1 2 3 4 5 4 16 71 5 2 8 4 3 91 426937815 938615724 751824936 693581472 514792683 872463591 389256147 167349258 245178369 Solved in 0.958s
16:18
sat solver was slower than I expected
Avatar
Avatar
pilonpl
i prefer this formatting - - - - - - - 1 - - - - - - 2 - - 3 - - - 4 - - - - - - - - - - - 5 - - 4 - 1 6 - - - - - - - 7 1 - - - - - - 5 - - - - 2 - - - - - - 8 - - 4 - - 3 - 9 1 - - - -
heinrich5991 2024-10-23 16:18
any formatting is better than a screenshot ^^
16:18
I just wanted to extract the data ^^
16:19
import time import z3 def exactly_one_of(l): return z3.Or([z3.And([z3.Not(l[i]) if i != j else l[i] for i in range(len(l))]) for j in range(len(l))]) def only(l): if len(l) != 1: if len(l) > 1: raise ValueError("list has more than one element") else: raise ValueError("list is empty") return l[0] def pretty(sudoku): return "\n".join("".join(f"{d}" if d != 0 else " " for d in row) for row in sudoku) def solve(sudoku): cells = [[[z3.Bool(f'cell_{y}_{x}_{digit}') for digit in range(1, 10)] for x in range(9)] for y in range(9)] one_digit_per_cell = [exactly_one_of([cells[y][x][d-1] for d in range(1, 10)]) for y in range(9) for x in range(9)] digit_unique_per_row = [exactly_one_of([cells[y][x][d-1] for x in range(9)]) for y in range(9) for d in range(1, 10)] digit_unique_per_col = [exactly_one_of([cells[y][x][d-1] for y in range(9)]) for x in range(9) for d in range(1, 10)] digit_unique_per_blk = [exactly_one_of([cells[y+dy][x+dx][d-1] for dx in range(3) for dy in range(3)]) for y in range(0, 9, 3) for x in range(0, 9, 3) for d in range(1, 10)] known_digits = [cells[y][x][d-1] for y, row in enumerate(sudoku) for x, d in enumerate(row) if d != 0] solver = z3.Solver() solver.add( *one_digit_per_cell, *digit_unique_per_row, *digit_unique_per_col, *digit_unique_per_blk, *known_digits, ) solver.check() model = solver.model() return [[only([d for d in range(1, 10) if model.eval(cells[y][x][d-1])]) for x in range(9)] for y in range(9)] def main(): def sudoku_line(line): if len(line) != 9: raise ValueError("sudokus rows must be 9 in length") return [int(d) if d != ' ' else 0 for d in line] sudoku = [sudoku_line(input()) for y in range(9)] print(pretty(solve(sudoku))) if __name__ == "__main__": main() (edited)
16:19
removed the timing code because it was too long for a discord message
Avatar
むぎ 2024-10-23 16:19
pepeW
Avatar
pilonpl 2024-10-23 16:19
i just realised that puzzle has multiple solutions lol
16:19
i guess i copied it wrong
Avatar
heinrich5991 2024-10-23 16:19
maybe my solution is wrong, I haven't verified it
16:20
yes, it's wrong
Avatar
basicaly 2024-10-23 16:20
why
Image attachment
Avatar
heinrich5991 2024-10-23 16:20
I forgot to add known digits to the constraints 😄
16:21
it just generated a "random" sudoku
16:21
$ python solve.py 1 2 3 4 5 4 16 71 5 2 8 4 3 91 745368912 819572463 362491857 693824571 421657398 587139624 158746239 976283145 234915786 Solved in 0.887s
16:21
better
Avatar
pilonpl 2024-10-23 16:21
well this website says there are a lot of solutions
Image attachment
16:21
something is wrong
16:21
i doubt wikipedia is wrong
16:22
unless it is wrong and in that case i could start a discussion i guess
Avatar
heinrich5991 2024-10-23 16:22
can you paste your solution?
Avatar
pilonpl 2024-10-23 16:23
7 4 5 3 6 8 9 1 2 8 1 9 5 7 2 4 6 3 3 6 2 4 9 1 8 5 7 6 9 3 8 2 4 5 7 1 4 2 1 6 5 7 3 9 8 5 8 7 1 3 9 6 2 4 1 5 8 7 4 6 2 3 9 9 7 6 2 8 3 1 4 5 2 3 4 9 1 5 7 8 6
Avatar
heinrich5991 2024-10-23 16:24
seems to be the same solution as I have
16:24
I can probably ask the sat solver for another solution, let me check
Avatar
Learath2 2024-10-23 16:24
learath2@l2gentoo ~/C/tdoku $ hyperfine --warmup 10 -N ./solve 1 < puzzl Benchmark 1: ./solve Time (mean ± σ): 826.6 µs ± 57.6 µs [User: 479.3 µs, System: 251.7 µs] Range (min … max): 741.4 µs … 1295.3 µs 3562 runs
Avatar
pilonpl 2024-10-23 16:24
ok actually i typed the puzzle wrong into the website
Avatar
Avatar
Learath2
learath2@l2gentoo ~/C/tdoku $ hyperfine --warmup 10 -N ./solve 1 < puzzl Benchmark 1: ./solve Time (mean ± σ): 826.6 µs ± 57.6 µs [User: 479.3 µs, System: 251.7 µs] Range (min … max): 741.4 µs … 1295.3 µs 3562 runs
heinrich5991 2024-10-23 16:25
uh nice, 1 ms
Avatar
Learath2 2024-10-23 16:25
tdoku takes about 826 micros 😄
Avatar
pilonpl 2024-10-23 16:26
its also interesting that the website says the puzzle is "very easy"
16:26
./solve 1 < puzzl my program reads a file
16:27
but i guess i should support this way too
Avatar
Avatar
Learath2
learath2@l2gentoo ~/C/tdoku $ hyperfine --warmup 10 -N ./solve 1 < puzzl Benchmark 1: ./solve Time (mean ± σ): 826.6 µs ± 57.6 µs [User: 479.3 µs, System: 251.7 µs] Range (min … max): 741.4 µs … 1295.3 µs 3562 runs
heinrich5991 2024-10-23 16:27
interesting. I wouldn't have thought a sat solver performs this badly
16:28
against hand-written code
16:28
I wonder if I'm holding it wrong or if I need to use something different from python
16:29
i.e. I definitely wouldn't have expected 3 orders of magnitude (edited)
Avatar
Avatar
heinrich5991
interesting. I wouldn't have thought a sat solver performs this badly
Learath2 2024-10-23 16:29
I didn't read his writeup completely but the other hand rolled sudoku solvers also were in the same order of magnitude in time, which makes me think perhaps there are sudoku specific optimizations that restrict the search space further
Avatar
pilonpl 2024-10-23 16:30
https://youtu.be/pezlnN4X52g?si=IZyEEO_Vcuhxs2cX
Numberphile
A Sudoku Secret to Blow Your Mind - Numberphile
Avatar
heinrich5991 2024-10-23 16:30
afk for a while
Avatar
pilonpl 2024-10-23 16:30
this is pretty interesting
Avatar
Learath2 2024-10-23 16:31
Perhaps it's just that your set of propositions are just not optimal
Avatar
pilonpl 2024-10-23 16:55
nice, i made a more optimized code with a little help from chatgpt and now my program finishes in 11 seconds
Avatar
pilonpl 2024-10-23 17:04
interesting
17:04
supposedly anti bruteforce puzzle - - - - - - - - - - - - - - 3 - 8 5 - - 1 - 2 - - - - - - - 5 - 7 - - - - - 4 - - - 1 - - - 9 - - - - - - - 5 - - - - - - 7 3 - - 2 - 1 - - - - - - - - 4 - - - 9
17:04
finished in 5 seconds
17:08
I guess backtracking might be only method necessary
17:08
Pretty cool
Avatar
pilonpl 2024-10-23 17:26
wow, i can even find the total number of solutions in a reasonable time
Avatar
✪ Папик 2024-10-23 17:27
I have proof that player "Weryxs" is tasing his records
Avatar
spooky oxyzo 2024-10-23 18:35
crazy
Avatar
Avatar
✪ Папик
I have proof that player "Weryxs" is tasing his records
manikoo 2024-10-23 18:44
no one care let him cook (edited)
Avatar
pilonpl 2024-10-23 19:07
How can we prove x + 1 > x?
Avatar
manikoo 2024-10-23 19:10
my brain is suck
Avatar
Avatar
pilonpl
How can we prove x + 1 > x?
spooky oxyzo 2024-10-23 19:11
very hard
19:11
my brain is melting
Avatar
Avatar
pilonpl
How can we prove x + 1 > x?
manikoo 2024-10-23 19:11
ask chatgpt
Avatar
spooky oxyzo 2024-10-23 19:11
revive the math experts and ask them
19:11
shouldnt be too hard
Avatar
manikoo 2024-10-23 19:11
Here's a simple proof by contradiction: Assume the opposite: Let's assume that x + 1 ≤ x. Subtract x from both sides: If we subtract x from both sides of the inequality, we get: (x + 1) - x ≤ x - x 1 ≤ 0 Contradiction: This statement, 1 ≤ 0, is clearly false. Since our assumption led to a contradiction, the original statement x + 1 > x must be true. Therefore, for any real number x, x + 1 is always greater than x.
Avatar
pilonpl 2024-10-23 19:12
I guess my actual question is what it means for one statement to logically follow from another statement
Avatar
spooky oxyzo 2024-10-23 19:12
so false
19:12
1 < 0 is clearly true
Avatar
manikoo 2024-10-23 19:12
nah
Avatar
Avatar
pilonpl
I guess my actual question is what it means for one statement to logically follow from another statement
manikoo 2024-10-23 19:20
wait for friday evening (discussion night) and then u will have answer kek
Avatar
! киви 2024-10-23 19:24
че
19:24
с
19:24
серверами
19:24
укр
19:24
ктото обьяснит
19:24
модераторы
Avatar
Avatar
! киви
модераторы
spooky oxyzo 2024-10-23 19:58
нету их
Image attachment
Avatar
Avatar
manikoo
ask chatgpt
Learath2 2024-10-23 20:18
Subtract x from both sides, 1 > 0 which is trivially true
20:20
If that is not trivially true for you, then you'll need to provide a set of truths that are trivial enough for you and then you go off of those to prove it (edited)
20:22
Worst case you can start with the 9 ZFC axioms that the entirety of math is built upon 😛
Avatar
Avatar
Learath2
Worst case you can start with the 9 ZFC axioms that the entirety of math is built upon 😛
meloƞ 2024-10-23 20:26
feelsbadman
Avatar
Learath2 2024-10-23 20:27
Tbf if that's not trivial to you that subtraction from both sides is also probably not trivially true
20:27
When you question the very basics you really have to start with proving some very "given" things
Avatar
meloƞ 2024-10-23 20:28
you cannot proof that x holds any real value, so x + 1 > x will always evaluate to 1 > 0 tho
Avatar
Overlord 2024-10-23 20:31
X is 2$ here
Avatar
meloƞ 2024-10-23 20:33
2$ + 1 > 2$ error, cannot add int of value $ to int of value int
Avatar
Learath2 2024-10-23 20:33
I can probably prove 1 > 0 for natural numbers using ZF axioms, but real numbers would be tough
Avatar
Avatar
meloƞ
2$ + 1 > 2$ error, cannot add int of value $ to int of value int
Overlord 2024-10-23 20:33
Yeah try that at shop, och u solved it in same sentence!
Avatar
meloƞ 2024-10-23 20:34
--> src/main.rs:6:1 | 1 | 2$ + 1 > 2$ | ^^^ expected a floating-point number, found a non-standard character $
20:34
NotLikeKogasa
Avatar
Avatar
meloƞ
--> src/main.rs:6:1 | 1 | 2$ + 1 > 2$ | ^^^ expected a floating-point number, found a non-standard character $
Overlord 2024-10-23 20:34
What a non capitalist system Do U use? Redstar OS? How can it not know of $$$
Avatar
Avatar
Learath2
I can probably prove 1 > 0 for natural numbers using ZF axioms, but real numbers would be tough
Overlord 2024-10-23 20:35
How can 1 be more than nothing?
Avatar
meloƞ 2024-10-23 20:36
in the order of natural numbers = { 0, 1 ,2} 1 comes after 0 in an ordered manner, so it's considered greater than 0
Avatar
Overlord 2024-10-23 20:36
Expansion of fluids is a wonderful thing, normally if You hit a wall its not too loud, but hit a wall thats covered in that expanding solydifying foam, and suddenly it sounds as if whole wall shakes from little tap
Avatar
Avatar
meloƞ
2$ + 1 > 2$ error, cannot add int of value $ to int of value int
risu 2024-10-23 20:37
wait until you hear about complex numbers
Avatar
Overlord 2024-10-23 20:37
20:38
I think this proved everything
Avatar
risu 2024-10-23 20:38
Image attachment
Avatar
Overlord 2024-10-23 20:39
U guys are trying to understand the devil
20:39
Image attachment
Avatar
Avatar
risu
Click to see attachment 🖼️
Overlord 2024-10-23 20:40
Funniest shit is, smaller companies often fear ipv6 so they block all trafic originating from there only allowing ipv4 "people" to use their websites
Avatar
Avatar
risu
Click to see attachment 🖼️
Bota 2024-10-23 20:40
We need ipv6 bcs there are not enough ip adrenaline for all devices
20:40
Lmao
Avatar
risu 2024-10-23 20:40
IP adrenaline
Avatar
Bota 2024-10-23 20:40
Ye
Avatar
Overlord 2024-10-23 20:41
Ofc there is enough adrenaline for all devices
20:41
Its just some weirdos were allowed to hold those adresses hostage
20:41
They dont use them or misues them
Avatar
Bota 2024-10-23 20:41
Adrenalines*
Avatar
risu 2024-10-23 20:41
Exclusively supporting IPv6 is the based way to go
Avatar
Avatar
risu
Exclusively supporting IPv6 is the based way to go
Overlord 2024-10-23 20:42
Go down undet
Avatar
risu 2024-10-23 20:42
be racist against those without working IPv6
Avatar
Overlord 2024-10-23 20:42
Under*
20:42
Image attachment
Avatar
Bota 2024-10-23 20:42
Ipv6 enforces e2e, thats the only good thing
Avatar
Avatar
Overlord
Click to see attachment 🖼️
risu 2024-10-23 20:43
this one is my favourite thanks for reminding me to save it
Avatar
Bota 2024-10-23 20:43
Good luck networking ipv6 subnetworks
Avatar
Avatar
Bota
Good luck networking ipv6 subnetworks
Overlord 2024-10-23 20:43
Years of subnetting yet no real use found
Avatar
Avatar
Bota
Good luck networking ipv6 subnetworks
risu 2024-10-23 20:43
who needs those
20:43
everything should just be on the internet
Avatar
Bota 2024-10-23 20:43
The day will come
Avatar
Avatar
Bota
Ipv6 enforces e2e, thats the only good thing
Patiga 2024-10-23 20:43
you also get sufficient addresses :D
Avatar
risu 2024-10-23 20:44
stop doing local networks
Avatar
Avatar
Learath2
I can probably prove 1 > 0 for natural numbers using ZF axioms, but real numbers would be tough
Learath2 2024-10-23 20:44
Actually probably not that hard if you can accept ordered field axioms now that I think about it 😄
Avatar
Bota 2024-10-23 20:44
Each cell will have an ip adress
Avatar
Avatar
Bota
Each cell will have an ip adress
Overlord 2024-10-23 20:44
Like nanomachines? They gonna put ip address in my body?!
Avatar
Avatar
Patiga
you also get sufficient addresses :D
Bota 2024-10-23 20:44
Ip6 on its own not enough, NEEED subnetworks (edited)
Avatar
Avatar
Overlord
Like nanomachines? They gonna put ip address in my body?!
Bota 2024-10-23 20:45
A body cell is a factory, why not give it an ip adress?
20:45
So china can observe better nouis
Avatar
Avatar
Bota
Ip6 on its own not enough, NEEED subnetworks (edited)
Patiga 2024-10-23 20:46
huh? it is enough for everyone afaik, subnetworks might still be handy though
Avatar
Overlord 2024-10-23 20:47
there is no point in worrying we run out of ipv6, because when we do we will just take 30 years to impelment ipv6^2
Avatar
Avatar
Patiga
huh? it is enough for everyone afaik, subnetworks might still be handy though
Bota 2024-10-23 20:49
Im sure we will need more than 2^128=340,282,366,920,938,463,463,374,607,431,768,211,456 addresses at some point (edited)
Avatar
Overlord 2024-10-23 20:49
subnetworks will be handy anyway to restrict traffic, not allow it
Avatar
Avatar
Bota
Im sure we will need more than 2^128=340,282,366,920,938,463,463,374,607,431,768,211,456 addresses at some point (edited)
meloƞ 2024-10-23 20:50
half of that is just my botnet - so yeah we'll run out of available subnets at some point
Avatar
Avatar
meloƞ
half of that is just my botnet - so yeah we'll run out of available subnets at some point
Overlord 2024-10-23 20:50
im calling the cops
Avatar
Avatar
Overlord
im calling the cops
Bota 2024-10-23 20:51
He will dos your mobile tower kek
Avatar
Overlord 2024-10-23 20:51
considering so many smart hoomans are gathered here at the moment, can somone tell me, that despite being told and knowing in a year my and those around me will turn for worse, i still dont feel like even attempting to prevent that -> fix it?
Avatar
Avatar
risu
be racist against those without working IPv6
Anime.pdf 2024-10-23 20:51
be racist
Ugh, fine ss
Avatar
Avatar
Anime.pdf
be racist
Ugh, fine ss
meloƞ 2024-10-23 20:52
baked
Avatar
Avatar
Bota
He will dos your mobile tower kek
Overlord 2024-10-23 20:52
I use ancient technology called radiowaves
20:52
I speak into the radio, but the other voice seems to never hear me, and continues to talk
Avatar
Bota 2024-10-23 20:53
Avatar
Avatar
Overlord
considering so many smart hoomans are gathered here at the moment, can somone tell me, that despite being told and knowing in a year my and those around me will turn for worse, i still dont feel like even attempting to prevent that -> fix it?
meloƞ 2024-10-23 20:53
explore the reasons as to why this is happening, approach it step by step. you can only win. but you can only loose if you dont
Avatar
Avatar
meloƞ
explore the reasons as to why this is happening, approach it step by step. you can only win. but you can only loose if you dont
Overlord 2024-10-23 20:55
external circumstances unrelated to me personally (familly company), so the most reasonable approach would be getting my shit together, and finding high paying job/ew coming to familly company with idea to diversify from the current client base as to not be affected by the thing happening a year from now
Avatar
meloƞ 2024-10-23 20:56
sounds good to me, any job in mind?
Avatar
Avatar
meloƞ
sounds good to me, any job in mind?
Overlord 2024-10-23 20:56
NEET'ing
20:57
the easiest to get into and safest pay would be prolly plumbing, but that's prolly odd 3 years
20:57
there are many options to earn cash without much hassle, but im willing to explore none, i just want to sleep the next 40 years off
Avatar
risu 2024-10-23 21:09
I wonder if the DDNet client can run 40 years straight without crashing
Avatar
Avatar
Learath2
Actually probably not that hard if you can accept ordered field axioms now that I think about it 😄
Learath2 2024-10-23 21:11
0 and 1 are both real numbers (1) For all x,y in R exactly one of three relations hold, x = y, x < y, x > y (2) For all x, y, z in R: x < y iff x + z < y + z (3) x < y iff y > x (4) There exists a unique element 0 in R such that x + 0 = x for all x in R (5) There exists a unique element -x in R such that x + (-x) = 0 (6) x + y = y + x for all x,y in R (7) There exists a unique element 1 in R such that 1 != 0 and x * 1 = x for all x in R (8) For all x,y,z in R: x < y and 0 < z if and only if xz < yz x + 1 > x <-> x < x + 1 (3) <-> x + (-x) < x + 1 + (-x) (2) <-> x + (-x) < x + (-x) + 1 (6) <-> 0 < 1 (5) Thus our initial problem is equivalent to proving 0 < 1 Either 0 = 1, 0 < 1 or 1 < 0 must hold (1), we must eliminate 0 = 1 and 1 < 0 0 = 1 is false because of (7) 1 < 0 is false: - Assume 1 < 0 - 1 + (-1) < 0 + (-1) using (2) - 0 < -1 - 0 * (-1) < (-1) * (-1) using (8), this should be allowed since supposedly 0 < -1 - 0 < 1 which contradicts our initial assumption Thus we must conclude that 0 < 1 QED (edited)
21:12
So long as you accept that the real numbers are an ordered field 😄
Avatar
ReD 2024-10-23 22:12
🙂
Image attachment
brownbear 3
22:13
My wok dish in a new bowl
Avatar
Avatar
ReD
🙂
Learath2 2024-10-23 22:31
Something along the lines of sichuan braised eggplant?
Avatar
Gumba 2024-10-23 22:34
Avatar
ReD 2024-10-23 23:01
Eggplant, Pakchoi, zucchini and other veggies fried and finished with a Japanese sauce (Mirin, Soy Sauce and Sake)
Avatar
Teero 2024-10-23 23:04
Image attachment
jaouis 1
23:04
@Jupstar ✪ du pov:
Exported 244 message(s)
Timezone: UTC+0