#ot1-perplexing-regexing
1 messages · Page 72 of 1
There's a catagory for that :3
No way lol, a catagory for writing thesis on NaNoWriMo?
Literary, Historical, Personal. I suppose not one that explicitly says "halp I'm writing a thesis"
I've been wanting to do a NaNoWriMo forever, but I don't know what I could possibly write >.>
HOI
ITS ALLOWEEN
we allow everyone to go crazy in this server
am I rite @wraith hound
😛
No.
not authoritative enough with that first try
I have a vaaaague idea
Good luck!
sleb doggo
It begins.
have fun!
what's beginning 👀
gl
for some reason i have a notion-template related to this
its not mine but it looks cool
do you want it 👀
👀
do you want it instead
I do not know what it is
the quick brown fox jumps over the lazy dog
that's rude to the dog
what convo
what convo
what conowo
rem, sleb
Am off school 2 week
i watched a horror movie and now im probs going to have nightmares
Hold pillow close.
not very spiritual of you
of course
||watch it. jk. dont do it
||
||ok then you should watch it||
I will
||brb need to find an adult
||
fedora
Fedora.
Fedora?
I have not use extensive.
fedora
I have no problem with Debian and closed source software though.
edd, I've used dnf coprs with moderate success
hmm
does debian fo closed source?
some coprs I used to use weren't updated for recent versions, so I had to figure out other ways
"other" ways.
so to recap, you have closed source repos added to apt, and you did a version upgrade? e.g. ubuntu 20.04 to 22.04 jump?
i don't remember seeing debian in gny's black list
RPM files
I don't think so. I just dpkg'd. 
or flatpaks
Ubuntu and Ubuntu Server were always open source, soo...
or nix
dpkg can add repos to apt
occasionally build from source
Python docker image uses debian
Sure but I didn't.
that's relavent?
e.g. if you install chrome or skype with dpkg install or apt install, it'll both install the program and add the respective repo to apt so that you now get updates with apt update
for Ubuntu, are you talking about PPAs?
yeah

That's the reason I went with debian, plus I doubt they'd use a closed source distro
some mucking about the sources list needed to be done when I upgraded the Ubuntu box
It should be open source
debian is not closed source
but i belive docker can use other stuff too
I have had no issues so far. I will knock on wood.
right, removing a handful of ppas before being able to upgrade to the next os version
yeah
This all sounds like a skill issue, just get good.
not all .deb will add repos to apt, those aren't problematic
I have Chrome installed I think.
chrome 👎🏼
so the main issue is that i need stuff like teams, skype, and cisco anyconnect for work
i have chrome and pycharm
I have like 8 different browsers installed 
and uninstalling and reinstalling each time is a PITA
i have vlc too
is that closed?
firefox or ungoogled-chromium 👍🏼
y
@jaunty wraith since you mentioned k8s before - did you see tiltfile?
nah, it's OSS
I have
User agent shenanigans and whatnot.
The default being Firefox, right?
I haven't been able to get it adopted though
...right?
people liked helmfile OTOH
I use Firefox as my do-everything browser.

i use chrome cause of the extensions
i'de use something else otherwise
I regularly have like, twenty or so tabs open at any given time
can't you spoof that
And it has a pretty theme
Hm, tiltfile is mostly for local dev and it can run helm files, how do they compare?
y spoof when open new browser and see result
i love the 13y/o skid vibe
helmfile is to helm what docker compose is to docker
Thanks, I just like the Kali styling lol
people are really invested in the dockerfile approach
so it's hard to get them to use tiltfile
dockerfile that away in the trash
plus the CI is complicated
they don't wanna invest in two different ways to do things
I should probably take a look at it too
I just use tiltfile to automatically deploy an app chart locally 🙃
Nothing more really
it has way more features
Helmfile?
no, tiltfile
Yeah
y use more browser when one browser do
That's just what I primarily use it for
Any python tooling you can recommend by the way?
ruff 👍🏼
Already use it 
what kind of tooling are you looking for?
I like having options 
kopf is very nice if you do k8s native stuff
You’re a tool…ing.
Install Moyen today.
owo
mypy
ourpy ||/s||
Take a look at deptry and pytest-archon
i do black, ruff, pip-tools in everything
pre-commit is also popular but i didn't care for it really
Honestly I don't like pre commit
It's weird
we do use sonarlint for code quality and a vuln scanner for… vuln scanning
I like pre-commit 🥺
And I use pdm for dependency management
running ruff on C drive be like
Found 88512 errors.
[*] 37628 fixable with the--fixoption (3731 hidden fixes can be enabled with the--unsafe-fixesoption).
it messes up my commits
i don't know what is happening
Let it fix them 
I have CI for that
You got there eventually.
really depends on what hooks you use tbh
enforcing stuff on each commit might be a bit annoying to be totally honest, but I could totally be behind a pre-push hooks
thanks
and when my system stops working?
pre-commit hooks saves me from having to do a rebase to clean stuff up
or an amend
I just use a taskfile to run all the linters, though I'm considering using pre commit just as a runner for some of it's hooks
Make a post vaguely outlining your issue with blurry pictures and then go to bed while people try to help.
coincidentally, I use pre-commit to run… tasks defined in pyproject.toml
only some of the hooks though
Try taskfile 
yaml 👎🏼
Heh
you are telling me you dont have 30 commits tilted "fix linting"?
(yes, I know pre-commit config is YAML)
“Appeased linter”
"this commit was ruff"
ruff select = ["ALL"]
and then a ton of ignores
Safepull almost passed All
almost?
Like 10(0)
I ignored a line length rule iirc
blasphemy
You have black for that to be honest
I use both.
ruff and black fight over line length
I'm trialing ruff format over black
I did notice miniscule speed difference
but not many style differences
which is nice
i don't let ruff format :p
just show me
if i let it format it deletes unused imports
sometimes i want them to be there
Just in case, right?
okay, formatting your drives…
Formatting your pvs
anyone in here have decent knowledge and wanna make a few bucks? need something done!
VolumeSnapshots 👍🏼
^ I made a buck.
!rule 9
no but like
in django i want the default imports there for when i go for that file
and in flask there are some imports you have to do in __init__
i cant offer to pay people bro lmao
'tis only one buck
Okay, formatting your cloud provider drives ...
can't touch my snapshots 😤
I don't believe you'd leave ann101 and ann102 enabled
self: Self, cls: type[Self]
I do
I’m in bed, eating cold pizza and talking on Discord. I’m fairly confident I’m at a low enough point in my life to try and leap through Ruff’s hoops
that sounds pretty good honestly
ignore = [ALL]
there are worse things than cold pizza
i want pizza 🥺
soggy pizza
Frozen pizza I suppose
Can we get a wrapper around ruff that would mandate a certain amount of specific errors

So your code is just shitty enough
Ah like an anti-linter
Ruffian
Ironically that’s probably within the scope of a project I was describing a week ago lol
so like, ruff with a min-threshold of errors?
Yes
https://blog.phylum.io/phylum-discovers-mischievous-npm-publications/<
This but in Python more or less
Err
I can’t delete embeds on mobile?
Thanks Stickie!
bro
If it works it works
amusing headings in that article
huh
TIL Phylum has a GitHub app
Ye
for free
Robin be like, time to apply
They’re not hiring devs 
sadge
He’d do so well, he basically wrote the same system 
real
I sleb
otsu rem
good disillusion video https://youtu.be/XobSAXZaKJ8 2:20 maybe?
Not really what I am looking for though
I mean how does opacity work?
Is it just like density?
Like if the a=1.0, then all the pixels are at work
And if a=0.0, then none of them are at work
And if its 0.5, then every other pixel is on but the other is just transparent
I watched the entire thing and it didn't really answer this, did it?
are you talking about checkerboarding or dithering or something
Well, it's just transperency, you just show the background when it's transparent
that 0.5 explanation feels unrelated to the base concept of opacity
I removed a lot of stuff, but hmm, basically that's the idea
That doesn't explain a=0.5 tho
That's what im asking
What does opacity really work?
It's a composite
Let me find a good explanation
newImage = 0.5 * image1 + 0.5 * image2
This is the formula, when they use 0.5 transperency
It's like a weighted mean
Here image 1 and image 2 are numpy arrays
Pixel values
Array representing images I get that but which images?
Let's say image1 is my main image
image2 is?
The shape im trying to draw?
Image 2 is your background
In computer graphics, alpha compositing or alpha blending is the process of combining one image with a background to create the appearance of partial or full transparency. It is often useful to render picture elements in separate passes or layers and then combine the resulting 2D images into a single, final image called the composite. Compositin...
that 0.5*im1 + 0.5*im2 explanation has a lot of caveats
maybe im overthinking the q
Nah, tell that information may help them understand it better
this works when you want a simple 0.5 blend between two images but when you want to overlay a partially transparent image on top of an opaque image there's a bit more math to do but it's not too bad. the site i sent has a good general formula
ye that ig
then there is fun stuff like premultiplied alpna
It's so fun, but I'm a boring person, so i don't know about it 😔
the vid I sent was about exactly that
I did not read the convo after the message I replied to 😅
yeah I wasn't trying to get the huge premultiplication part of the video across anyways
is good vid
@vale raven I've found something WSL2 cannot help me with. My first limitation that hasn't been work related. Apparently WSL2 and WSL (which is to say; not WSL1) do not have AF_UNIX interop.
On the other hand, I have a new-found interest in learning about sockets.
I'm scared of sockets
I just accepted they were a thing until about 18:00 this afternoon when I tried to use a library that wanted to create a socket to Discord. Now I'm super interested in how they work. Especially these read/write file sockets. :3 So neat.
tis okay, you just need the right tools
||i would recommend a screwdriver||
Are teeth close enough?
They're very pointy
maybe 🤔 idk.
might not be long enough
teeth issue
meow
I've been dabbling with sockets for the past few days too 👀
#networks message
I shall have to sneak over there when I'm awake .
*more awake
Socket? To Discord?
The websocket gateway?
For rich presence communication.
Ah, fair
I've been writing a Discord API wrappers lately so websockets have been of particular interest to me lately 👀
I learned, the confusing way, that WSL2 does not actually support building one of these https://github.com/discord/discord-rpc/blob/963aa9f3e5ce81a4682c6ca3d136cddda614db33/src/connection_unix.cpp#L56
src/connection_unix.cpp line 56
self->sock = socket(AF_UNIX, SOCK_STREAM, 0);```
It does... but it doesn't quite as seamlessly as I would have thought.
It supports the socket. You have to bring your own bridge from WSL2 to windows pipe
Which lead me down the rabbit hole of socat
which directed me to npiperelay.exe
which is where I said "You know what, I'll just dev this silly thing on windows thanks"
WS L
there is a special AF for that, I read
oh you know what
that might explain why my rpc hasn't been working
I use neovim inside WSL2 and found it curious my Discord RPC wasn't working but shrugged it off as unimportant
Environment Windows build number: 10.0.19041.508 Your Distribution version: Ubuntu 18.04 Whether the issue is on WSL 2 and/or WSL 1: Regression in WSL2 Steps to reproduce Launch Ubuntu 18.04 in WSL...
That's likely why.
I already have done this song and dance once but....eeeehhh.. can't lie, I just copy and pasted this stuff and it worked. Now I'm looking and it saying "okay... how do you work!?"
# 1Password SSH Auth Bridge
export SSH_AUTH_SOCK=$HOME/.ssh/agent.sock
ALREADY_RUNNING=$(ps -auxww | grep -q "[n]piperelay.exe -ei -s //./pipe/openssh-ssh-agent"; echo $?)
if [[ $ALREADY_RUNNING != "0" ]]; then
if [[ -S $SSH_AUTH_SOCK ]]; then echo "removing previous socket..."
rm $SSH_AUTH_SOCK
fi
echo "Starting SSH-Agent relay..."
(setsid socat UNIX-LISTEN:$SSH_AUTH_SOCK,fork EXEC:"npiperelay.exe -ei -s //./pipe/openssh-ssh-agent",nofork &) >/dev/null 2>&1
fi
wtf
Right?
so you just exec this in wsl and sockets start working again?
AFAICT, it sets up a tunnel with socat
But it makes sense, kinda:
- Make an environment variable for the location of the socket
- Check if npiperelay.exe is already running
- If it isn't running remove the old socket
- Build a new socket magically bridged to the named socket "openssh-ssh-agent" in windows
hrmmm, a challenge is that one bridge doesn't look to be enough. The socket name can be one of 10 different sockets 
https://github.com/discord/discord-rpc/blob/963aa9f3e5ce81a4682c6ca3d136cddda614db33/src/connection_unix.cpp#L66C10-L68
src/connection_unix.cpp line 66
for (int pipeNum = 0; pipeNum < 10; ++pipeNum) {```
heck, c# is such a cheeky language. Just ternaries all the way down.
https://github.com/discord/discord-rpc/blob/963aa9f3e5ce81a4682c6ca3d136cddda614db33/src/connection_unix.cpp#L29-L37
src/connection_unix.cpp lines 29 to 37
static const char* GetTempPath()
{
const char* temp = getenv("XDG_RUNTIME_DIR");
temp = temp ? temp : getenv("TMPDIR");
temp = temp ? temp : getenv("TMP");
temp = temp ? temp : getenv("TEMP");
temp = temp ? temp : "/tmp";
return temp;
}```
c++ 
c# would make that much nicer
4.8k words into 50k. Solid day one. I'm going to bed.
IDR, but there's a way to coalesce
right?
yes, ??
We're asking you. If you know, could you tell us ??
⁉️
is this done ???
⁉️⁉️
Hey guys and gays
the .cpp ending and the pointers without unsafe should be pretty strong indications 😛
quietly
"should" have been. Apparently I was tired enough that two languages I don't use often looked the same. haha
in the end it's all just loop, if-statement, unsafe operation. I don't even see the code anymore.
Why the mix of naming convs in that snippet
lol
damn i dont like nim
like why does it use camelCase when the files are named in snake_case
and not even SCREAMING_SNAKE_CASE for constants
yeah same
iirc nim just considers all of those the same
so pascal case, snake case, whatever is all the same
but my issue with nim is that it doesn't know what it wants
it's everything, it also has an ugly indent based syntax
and there's no reason to go out of my way to use it since to me it doesn't do anything I can't do already
the C compilation is the most interesting part of it imo
but most big languages now seem to be able to either compile to JS or to WASM
seems like a logical error on your end?
you're attempting to read a nil value
hmm
🦀🦀
so i guess Nim isn't special anymore
the native JS compilation is what made me wanna use it
JS compilation is kinda popular nowadays
u have languages whose entire purpose is just to compile to other languages
other's that are just syntax over other languages
imo nim's draw is that it looks like python but compiles to C
so it can be kinda fast
but it's a very big and ugly language and it doesn't have a lot of support channels
the file ending is the clearer indication 😛
'ate unit tests
'ate react
'ate jest
'ate nobody knowing what their app should do
Honestly testing is probably the worst aspect of dev
Tests are great to have, not fun to write 😛
tests are fine to write
if you're the one that wrote the code
not if theyre being passed onto you to write and now you gotta chase people to explain what the code is meant to be doing
classic
If people have to explain what the code is doing, the code is bad
Rewrite in rust
Rewrite it in Reason
how many software teams do you think have done this exact thing
all of them
quite literally
terrible take
theres so many SaaS products that do the same too
bannable imo
let me give you some examples
notion could be used as well if you squint hard enough

anyway i kid
you shouldnt be using this stuff for the financial domain
huh you know, my v is gone
ill just call you alt-pub
quite disappointing
I was gonna be private for halloween
and its not even the github copilot, but the microsoft copilot
the one for business peeps
the built-in one for Windows
plus its a $30 markup for enterprise license
i think
huh. per person?
incredible
thats considering monthly pricing. dont enterprise licenses do stuff annually?
so its really an additional $360
honestly, over a year, it just needs to save like 10 hours out of 2080 to be worth it
there are 262 files
frontend only
its literally a table and a form
what the fuck
business: "now we can reduce headcount and cut costs"

this is react? bro this is all just for a frontend?
do you have this many components?
is this what the frontend world looks like

each pixel on the screen gets its own component
Lemme count
24 components
Or at least thats how many dire are in the components dir lmao
24 actually isnt too bad
at least from the little frontend i know
which has mostly been through derping around + my fullstack friends
Its too much
And also too dark
England sucks
I think we might be catching some seasonal depression
hmm if youre in around conference season, we can go to the happy hours too
actually there was a cool guy from pittsburgh at the conference
based
DS in the financial legal intersection
we have good food too
he says hes def coming back to texas
so ill take that as a win
which part? if its not austin, rip them.
that reminds me, I have no idea where in Texas they are
what was the reason?
wait you're actually
Actually what
visiting?
yeah dude
why didn't you tell me
once I have a stable income with enough DI to spare
oh? why are they in UK
yeah you should. and youre making austin a stop. we talked about this.
many such cases

It do be like that
im betting >4 years
someone should set a !reminder, then we shall see
why don't u both deposit money on my bank account instead?
No me
ew why would i go up there
also get in line
i already have another friend up north who wants me to go up there
but he says hes going to come down here first
so ill wait

(since hes considering moving down here)
lol there might be two or three people like that
ok cool
theyve probably left by now lol
only one has stuck around, but they're inactive
the other psvm
you might know them
hah sfoundp
the one person I inducted into pydis...
I know that's person
is it pajenegod
...enjoys the esopy stuff
yeah
cool esopy though
(also algos&ds, but that's a given)
hard or soft boiled egg
eating it?
as part of something or just a solo egg?
consider all cases
it depends™️
sandwich or salad, for sure harder
egg on its own, softer is quite nice
in a noodle soup? soft
anyways the picture had a soft boiled egg but the yolk is solid
Isn't a soft boiled egg with a hard yolk a hard boiled egg?
when you say form factor I think of the egg tubes
Condom eggs!
soft white hard yolk sounds like a challenge
Damn you thermodynamics 
use radiation the wavelength of the width of the yolk 😤😤
I think microwaves are about that big
many eggs presumably
how do they do that
Extract the yolk
huh
For consistent slice sizes in food service, several eggs may have their yolk and white separated and poured into a cylindrical mold for stepwise hard-boiling, to produce what is known as a "long egg" or an "egg loaf".
https://en.m.wikipedia.org/wiki/Boiled_egg
Boiled eggs are eggs, typically from a chicken, cooked with their shells unbroken, usually by immersion in boiling water. Hard-boiled eggs are cooked so that the egg white and egg yolk both solidify, while soft-boiled eggs may leave the yolk, and sometimes the white, at least partially liquid and raw. Boiled eggs are a popular breakfast food aro...
😦
anyway ive somehow fallen down the YT rabbit hole of weeb + eurobeat music
thanks rem
as one does
no nightcore for the trifecta?
gf is stuck somewhere in the midlands
Some mild rain and wind is all it takes to make the train network collapse it seems
oof
how far away is it
how long would it take you to get over there
bruh
I dont have a car, public transport is how we get around
Yea
gotcha
🤞
No one here to make me hot chocy
why dont you ask her
as the zoomers would say
bruh
Truly 😔
give a man hot chocolate he drinks for a day
anyway, one of my friends took almost a full 24 hours to reply to my text
theyre not being invited to the next coffee chat smh
jk
maybe

they'd just show up late anyway
24h late
cancelled
Friend be like:
classic

@rugged owl accurate depiction of healthcare data:
Speaking of which, so many problems would be solved by having a web UI that forces format. Prevention > 
Looking at you insurance
Im down to half tests fixed and the sprint ends tomorrow
The joys of software development
correct. upstream data input validation, schema enforcement, etc. is the way to go
and who cooks with their cat on the counter?
arent they afraid of eating cat hair
me when I send a post request that bypasses frontend data validation
cancelled
Never
How do i get out of it tho
Yes
fastapi + data skills > backend/data eng
But that means i gotta build projects
should have paid more attention in school
cant you do what my fullstack friends do
frontend
then start doing more backend
then somehow end up in devops

I did ask to do some ops work
literally happened to a fullstack friend of mine after he was working for 5 years
But all i did was make more work for myself lmao
since no one wanted to do it
lmao you had to do both?
devops moment
anyway
But i imagine thats how it'll go
hmm everyones gone. guess ill delete.
😦
you didnt see it?
||thats probably for the best||
jk
its just not as relevant for you
atm
o
Here I am
Ok, let's start with your original question. What was the question?
Whether A = {0, {0, 1}} is an element of B = {0, 1}?
I don't want to give you the answer, I just want you to understand the language here.
basically sets aren't hashable
I think this is more a set theory / maths question, not a python q
sorry, go on
(feel free to continue, I just wanted to share my view)
Right, less python and more set theory
"A is an element of B" means: inside B, you can find an element A.
Like, "Apple" is an element of {Fruit}
In this case, the following has to be true, right?
i'll just read for now i dont want to stop you
So, take your question: "A = {0, {0, 1}} is an element of B = {0, 1}"
<terrible example, let me think>
For A to be an element of B, that means you can look at B and find a single element that matches A
Does {0,1} have the (entire exact) element {0, {0,1}}?
Think about the sets as bags, A is in B means that if you open the B bag an look inside, you should see something that is identical to A
In the following case, I think that A = {0, 1, {2}} is a subset of B = {0, 1}, but not an element, right?
B = {0, 1} means the bag B contains two marbles: 0 and 1
You're reading it backwards: "is a subset of" means A is inside B... not B inside A
A = {0, {0, 1}} means A is a bag with one marble 0 and one bag {0,1}
Right, I got it
marble 0 i think you've meant
thank you, fixed!
I'll send you something in 3 minutes. Can you check that for me, whether I have understand the set theory?
sure, tag me plz
u can send it in here
@granite tree @dusky turret @polar galleon
These are my solutions...
"No set is an element of itself" https://en.wikipedia.org/wiki/Axiom_of_regularity
Which row?
P is powset?
Exactly
You have an error in the topleft cell
it means the elements of A are in B
First cell, you say that {0,1} is a subset of {0,1}.
it's possible in python though, well not in sets but u got the idea <- not 100% related
I mean, you say that {0,1} is an element of {0,1}. A set is not an element of itself.
(I was trying to use different words because OP was mixed up on the phrasing)
I thought the confusion over "in" was what got us into this mess 😔
Oh, I thought it was "of" 🙂
😩
in any case writing it using just logical symbols would probably remove any ambiguity
alright i'll go back to python discussion, good luck guys
Why is not A an element of itself?
A = {0, 1} (is a bag with two marbles) B = {0, 1} (an identical bag with two marbles)
Is A an element of B? NO, because A is a bag, and there are no bags inside B. @graceful snow
A in A means there exists an element in A equal to A
technically this is impossible, by definition, but it's a bit complicated
How about this?
Ok, now let's talk about P{{0,1}} element of {0,1}
third row, first column)
Actually... wait. First row first column: What about B and A? A is a subset of B... but since they're equal, what about the reverse?
A is not a subset of B, I guess?
Is is, but also B is a subset of A
P({0, 1}) is equal to {{0}, {1}, {0, 1}}, so is {0, 1} a subset of {{0}, {1}, {0, 1}}?
If B would be a subset of A, this would mean that everything inside the bag of B has to be in the bag of A
yes 👍
But that is not the case, I think
{{0}, {1}, {0, 1}} cannot be a subset of {0, 1}
correct
Is {{0}, {1}, {0, 1}} an element of {{0}, {1}, {0, 1}}?
No
Is this {0, 1, {2}} an element of {0, 1, {2}}?
You keep asking the same question: We want you to understand the reason so you can make your own decision.
It's not about python and programming, but more about the set theory in maths
I think, it is.
You're asking: Is a set an element of itself?
Or, is A an element of A?
A set is itself
To which I replied: "No set is an element of itself" https://en.wikipedia.org/wiki/Axiom_of_regularity
In mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A. In first-order logic, the axiom reads:
∀
x
(
x
≠
∅
→
...
Is it like, the same set has to be in the same set again, like {0, 1, {2}} --> {{0, 1, {2}}}
The left hand there is an element of the right hand side.
What about my final answers? Do they look clean?
... sorry, I'm tired. one sec
Ok, let's talk about third row first column.
Is P{{0,1}} an element of {0,1}?
You mean is {0,1} an element of P({0, 1})?
I'm repeating what you wrote. You write A element of B. Which is: "P{{0,1}} an element of {0,1}"
Okay, I think it is not an element since the bag of B has no bags inside?
A⊆B if and only if every element of A is an element of B.
tag you're it :), i need to go eat
Was my answer correct?
Which one?
I'll also have to leave, time to sleep 🪥
I think that P{{0,1}} is not an element of {0,1}
that is correct
Isn’t that a power set?
Yes, it is
What are the rules of power sets
Set A = {1,2,3}
Subsets of set A = {}, {1}, {2}, {3}, {1,2}, {2,3}, {1,3}, {1,2,3}
Power set P(A) = { {}, {1}, {2}, {3}, {1,2}, {2,3}, {1,3}, {1,2,3} }
Based on your question set A is actually a subset of the power set A
Well it’s an element
But in this case, P{{0,1}} is not a subset of {0,1}, whereas {0, 1} is a subset of P{{0,1}}
Right 👍
Yus
Do you mind controling this for me?
Looks good to me imo
What do you think
idk what the colors mean
It's just a differentiation of "subset of " and "element of"
You have to be more strict/careful, don't intermix subset and element in
The power set ℘(A) is the collection of all the subsets of A. Thus, the elements in ℘(A) are subsets of A. One of these subsets is the set A itself. Hence, A itself appears as an element in ℘(A), and we write A∈℘(A) to describe this membership.
But, A is not a subset of ℘(A)
Then the power set is the element of A?
Have I done a mistake?
@polar galleon knows better
- No set is an element of itself. ( But nothing prevents a set from being an element of another set).
(2) Every set is a subset of itself, every set is included in itself. ( Take any set, say {a, b,c}. Can you see an element of the set {a, b,c} that is not an element of the set {a, b,c}? Of course not! So the set {a, b,c} passes the test of inclusion, relatively to itself: the set {a, b,c} is a subset of the set {a, b,c}, that is to say, of itself. I said subset, not member!)
(3) Every set is an element of its power set .
Explanation :
(a) If a set X is a subset of a set Y, then X is an element of the power set of Y.
(b) But, the set Y is itself a subset of Y ( itself), because of law (2) above.
(c) Therefore, the set Y is an element of its own power set.
Alright, but where exactly is my mistake?
Which row and column?
I’m not saying which one is wrong
Honestly I forgot set rules @polar galleon
I’m just saying as a fact that if A is {0, 1} and B is P({0,1})
B is an element of A
But also A is an element of B, right?
The set of A {0, 1} is an element of the powerset of P(A)
Isn't that backwards?
Since: P({0,1}) = {{}, {0}, {1}, {0,1}}
you are right
aren’t there multiple subsets of one set
empty set is not a combination tho @gritty zinc
oh i see what you mean, sorry
yet its still in Powerset
it’s the set that contains all possible subsets of a set
(if you have a set of n elements, there are 2^n possible subsets of it (because for each element, you may pick it or not). the set of all of these is the powerset)
guys whats the best Markdown app?
so the cardinality of a power set is always 2^ of the cardinality of the original set
depends for what purpose
i haven’t done enough markdown to be qualified enough to answer i’m afraid
you could just use github
you can use, like, vscode too
oh yeah
you will have to write your markdown in some format of text editor though
alternatively check out something like obsidian
okay
or just have a discord server
yeah but
discord server
i have a private discord server for note taking
With discords new expiry crap I don't trust it
Plus I don't want my notes scanned and used for AI training
handwritten notes 😤
Yikes
Can't embed a YouTube video in a handwritten note
no but you can copy down the transcript 😤
Also printing out all the art would be very expensive and wasteful
guess it depends, then. I prefer all the notetaking I do for school handwritten
don't handwriting notes also benefit your ability to recall the information
compared to typing, yes
so true
cleaning up data from a <table></table> in a webpage is fun 😄
😄
Beautiful am I rite
@grizzled estuary
Hell yeah
that's cool
i love obsidian's graph view though
and i structure my notes so that i can see the bigger picture.
which means
md files scattered everywhere
often these md files only have a line or two in it lol
Obsidian to the moon @wanton delta
Why would a combination of 0 elements not be a combination?
meow meow
all the definitions involve having 1 or more elements
Woof woof
math doesn't agree
an empty set is still a set
also no one looks at language grammar for technical definitions
you'll get a lot of casual usages
when certain fields use a word for a very specific thing
https://en.wikipedia.org/wiki/Combination this is the definition we want
In mathematics, a combination is a selection of items from a set that has distinct members, such that the order of selection does not matter (unlike permutations). For example, given three fruits, say an apple, an orange and a pear, there are three combinations of two that can be drawn from this set: an apple and a pear; an apple and an orange; ...

and its rigorously defined in the litererature and theres a lot of agreement on how its defined
let me read that
Omg are you a dinosaur @cursive salmon
yeah
😁
How can an empty set be a combination on {1,2}?
🤨
it is a combination of 0 elements
How many different combinations can you make with 2 3 and 4
2^3
00
01
10
11
No I’m talking about 2 3 4
They say empty set is a combination of {1,2}
you can think of this as a bunch of bits saying take/don't take
That’s bits tho
it's isomorphic to a combination
if you have a set of n elements you can represent subsets of it using an n bit number
{2, 3, 4}
000 -> {}
100 -> {2}
010 -> {3}
001 -> {4}
110 -> {2, 3}
011 -> {3, 4}
101 -> {2, 4}
111 -> {2, 3, 4}
yeah, it's another way to interpret combinations
That’s specific to sets tho
so...what are you asking about?
I dunno if I would say combination definition applies to that


Combination is definite as nCr
picking stuff from a set, yes
and u can put r = 0
nCk corresponds to n bit numbers with k bits set
what formula
theres 2 things
theres nCr(2, 0) = 1 ways to pick 0 things
which is {}
C (6,2)= 6!/(2! * (6-2)!) = 6!/(2! * 4!) = 15 Possible Prize Combinations
The 15 potential combinations are {1,2}, {1,3}, {1,4}, {1,5}, {1,6}, {2,3}, {2,4}, {2,5}, {2,6}, {3,4}, {3,5}, {3,6}, {4,5}, {4,6}, {5,6}
huh?
thats number of ways to pick 2 things from 6
Let’s pick 1 out of 2 then
we're picking 0 out of n
n!/((n-0)! 0!) = 1
I think I’m talking about permutations
!e
import math
print(math.comb(2, 0))```
@stark prawn :white_check_mark: Your 3.12 eval job has completed with return code 0.
1
dang theres no comb emoji
Permutation is not combination
🪮🪮
what you listed here are not the permutations
It is
!e
import math
print(math.perm(2, 0))```
@stark prawn :white_check_mark: Your 3.12 eval job has completed with return code 0.
1
still 1
! Is permutation
no, permutations care about order
! Is factorial...
you would have both {1, 2} and {2, 1} picked
A permutation is essentially an ordered combination, except the total length of each permutation must equal the original input.
Finding all permutations of a string is sort of the same as saying "find all anagrams of a string" (except our permutations might not all be real words).
There are two types of permutation: with repetition & without repetition.
Simple permutation example: "AB" has 2 permutations: "AB" and "BA".
When dealing with strings, often we refer to subsets as combinations. The idea is the same as subsets:
"AB" has 2^2 combinations (as there are 2 characters). So all 4 combinations of "AB" are: {}, {'A'}, {'B'}, {'A', 'B'}
yeah, in your listing the first element is < the second
those are combinations since you reject the other ordering
So I was talking about permutations when I said {} is not in {1,2}
😂
I got them confused
wdym by "is in"?
Like you can’t create distinct combinations with 1,2 using {}



