#programming
1 messages · Page 270 of 1
mod us all and have a discord mod bot contest
dead to konii monarachy 
most draconian bot contest
LOL
the day of the culling
only mod perms in #programming
I'm getting wipped out
you could never replace neurobot
she is precious and powerful
🍪
Om nom nom
You've given me 48 cookies! | I've received 256073 cookies total!
winner has to defeat neurobot as a final test in a duel
neurobot is a she
aww, thank you~ ( ◡‿◡ *)
fastest to process ban on the other wins the high noon
whatever she wants to be
- Heir (Queen of Ermcon) announced she needed to ban a bot and paused the conversation to do so. [Link](#programming message)
- Participants (afunyun.pt, mlntcandy, Heir) noted the bot was a “Mr Beast” style bot and commented it was annoying to automod. [Link](#programming message)
- A new user “l am” joined and several members (mlntcandy, afunyun.pt, t, Sam🔺) suspected or joked about them being a bot. [Link](#programming message)
- Heir and others discussed the ban timing feeling like ban evasion and joked that everyone pushed the ban button. [Link](#programming message)
- Heir and others (afunyun.pt, Sam🔺, mlntcandy) proposed making people mods for a council/contest to determine who has moderation power. [Link](#programming message)
- NeuroBot was praised by members, and afunyun.pt suggested a duel/contest where the winner must defeat NeuroBot. [Link](#programming message)
- Side conversations included Sam🔺 talking about accidentally closing Blender and autosave/export tips from mlntcandy, plus various emotes and Among Us jokes. [Link](#programming message)
imagine thinking
couldnt be me
she can think
think faster idiot
i can’t
oh i have to rename the file
damn that worked
time to open blender again
because i put a thinking thing in to echo's client
caused me so fcking much grief
REEEE
amogus jokes
programming
i contribute so much to this channel
she has flagged many of your messages in the past
...rise and shine, fedora media writer. rise and shine.
Useful information, thanks Demi

listen my advice is to take your enthusiasm for ww2 history elsewhere to avoid discussion going to topics that are maybe not great
break 10 rules for neurobot to notice you (100% method)
it would be cool if we could filter tatsu ranking for #programming members
she sees you
or like
OH NO
monarch?

server.ban(random.choice(server.users()))
nah
run this once a day
for funsies
gotta keep them on their toes mhm
I have a feeling that my message was deleted, but I can't prove it.
this would probably take a day to run ye
would be tempted if I still modded a discord with several thousand users
the delete button is new(ish)
I like it a lot. it lets us flag something, discuss it, and then delete it from the bot channel without needing to fetch it again
(tho if we need to quickly delete something we just push this funny button)
do not miss those days
maybe a little
what 
banning randoms for no reason is peak comedy
mods sitting in their ivory channels
a list of members as a single value in a 100k+ discord, great idea
i havent deleted any message
how's life in elysium
the idea of a council is funny but i doubt it would be practical.
so where do i apply?
noisy
we have a lot of flagged terms that arent explicitly banned just to make sure we know if they are being talked about
Well, I wrote you a thank you, but I see the messages have disappeared somewhere.
"this sounds like dogshit, i'm in"
maybe I lost it
interesting
lol

anyhow
well its still there
the server is proficiently modded, generally
oh l'm so dumb
ping vedal

l'm 

you dont need to do that im already here
(thats in the flags)
(those two words i mean)
unping vedal
p1ng veedol
ping vedal
that is a thing you want to know is being talked about


i remember me typing those 2 words in a sentence once and immediatly 5 moderators came in the convo like a fucking swat team
this was during the subathon iirc
vedal is alcoholic; ping
Chat Vani should open-source neurobot
did y'all ever figure out why my server tag being one glyph of hiragana (the one for 'mi') caused me to be unable to post messages in this server lmfao
we have a block in place to stop specific characters from being used in names and tags because they will appear invisible which is explicilly against one of our rules
Would you intervene if #swarm started spamming that phrase to repeatedly ping you?
banned, all of them
hundreds will perish
like technically that tag is at least 3 characters long (which is required for tags) but it appears as 2
which is why it gets blocked

み is one character though i thought, what else is it counting?
(im not complaining, i just am curious lol)
ive actually never seen what quarantine looks like
utf-8 byte count? unicode handling failure 
it has to be because it's not like it's rendered as 3 characters anywhere that i know of
updated rule 6: do not unnecessarily ping vedal or the mods, or say “ping vedal” or “ping the mods”

vedal ping
yeah shiro and i already kinda were counting like wut so i just never heard if anything else came of that
Yeah it's E3 81 BF
discord mention the creator of neuro-sama
maybe it only counts latin letters


like “anything that isn’t one may be invisible”
So would this be an allowed name 
my guess is the implementation of it counts bytes (3) and then somehow tries to parse teh E3 81 BF rather than み because something mishandled it and turned it into just the unicode written out and then assumes well 3>1 there must be 2 invisible
but why would it count bytes lol
im safe sharing this because theres literally no discernable information to tell me why its happening
kek
keyword: *
matches: fucking everything
Most programming environments have terrible utilities for counting visible characters. Counting code-points is doable but still not accurate.
so it's flagging み because that character appears in the unrelated username tag ban list huh
can you look at the list itself
i think shiro did and couldn't find it in there anywhere
could be misremembering
congratulations on admin @real sierra
caching
im trying to upload a new version of a file but since it has the same name it uses the old one on the website

yeah i just realized that

oh


sorry shiro lol

hi shir
hi shiro
im here today apararantly
we were talking about the weird tag filtering
hello
we were also talking about making a council
well i want to
but like
i dont think i would do well in a course
id need to be taught by a tutor
I learned programming because I didn't want to do my homework
lmao
your fate will be decided by the council
you can't do a per server guild tag now it seems
having a council is probably a bd idea, but that just makes me love the idea
ah yes councils
the debates in there would be like 16 hours long and not resolve at all
I love bureaucracy and hierarchy
you should have me on the council, i'd vote in favor no matter what
Shiro HAPPY BIRTHDAY
the #programming council ™ shall review your code
"listen it was just 3 or 4 felonies, give him a break"
a council would finally let me test my two person dictator plan
we could all wear hooded cloaks and sit in a dark room
why is your message a code output actually HOLD UP
you could turn me for against an issue by phrasing it "should we ban this person" or "should we let this person stay"
We were talking about how programming self moderates so it would be funny to just give them all moderator
what? code ouptut?
think of the poor baby spammerboy
he was just a boy
LLM 
or mr.beast
give programmer role mod perms in programming channel mhm
llm's don't get their foot looking like a balloon
just stupid fucking mistakes man
Chat, do you think I'd get quarantined if I made my name this
no thats all g
I love not having rights 
but that means neuro and evil would get moderator perms too
or an online crypto casino, i really wish i was that
(they already do)
i think you should be quarantined, having that as your name would have nothing to do with it

how to win a majority vote with two people:
- get at least (N/2)+1 participants to agree to a pre-vote, in which those participants will hold a majority vote amongst themselves and all participants agree to vote the majority choice of the pre-vote when the real vote arrives
- continue scheduling pre-votes for your pre-votes in a similar fashion until you have a vote with only 2 people
- ensure the other person in that vote is someone who agrees with you on everything
- profit

if this gets through without escaped/sanitize, you deserve to stay and thrive
I see this happening
if yall ever want to persue the council idea, hit me up. you know where to find me
irl we call those pre-vote groups "political parties"
Throw a U+FFFF in there for good measure
the "not a character" character
it's a gyatt damn criminal conspiracy

you laugh but I'm being serious 
I know where I live 
i think i got automodded for gyatt before so i'm glad brainrot is uncommon enough to get it off the shitlist
MODS I THINK SHIRO IS TALKING ABOUT POLITICS
show up to your door one day

reporters when i bring up submarines in gen chat
quick do the mod summoning ritual
ping vedal

fling vedal

mod sumoning sucessful
ding pedal
i’m sorry heir i started it
steam gift 
ving pedal
image1 image2 image3 image4 

That's the mr.beast scam

lmao hi vanor
oh hi vanor


i withdrew $100.0000.0.00 after depositing $400
.ban birthday_shiro compromised account, politics andy, smh my head

The canon username


I had to be saved from almost being timed out for a week one time because I put too many discord emote links in one message 


what in the shirogramming is happening here

ok ban shiro
insert shiro emote here
banned again
i vote in favor
5th time today
if i rename the channel to shirogramming, will i lose my job by tomorrow
pb renamed me to vedal987 earlier and I'm somehow still kicking
lmao
the council shall vote
but shiro, pb is the council
But wouldn't it be fun while it lasted?
pb is the puppet sun god behind the whole charade
better stay at 0 votes
canonical poll
that definitely says 4 votes

we do that once the chess contest is doing matches (it'll never happen)
i can vote on my own poll too lmao

this is exactly what we need a council for
shiro democracy dictates u get banned, what is your defence
you cant ban me, i spend $0 on a boost and that's the only thing keeping this server relevant
society
objection! social construct
Thoughts Heir?
-# ping vedal
Rise and shine, Fedora Media Writer, Rise and shine.


society is a construct of society
society is society
shiro wants a vacation
if you can't beat em join em or something like that
smh does it not ping heir if the text is small 
putting this on my tombstone
if you say so
we did it guys
shiro no
you're supposed to use /pain vedal and yell it irl as you say it to complete the incantation
insert spongebob pointing at stuff meme
cough cough
we watched you ping vedal not even 2 months ago
can we get a shiro pinged vedal compilation
vedal wont comment here because he told me he thinks we;re stinky
say what you will, I've never been banned from the server
I am an upstanding citizen
isnt that the bare minimum?
Nah, it's because you do free modding for vedal
ooh that's a good event for the modbot 9001 competition you are surely already putting to paper
when /mod-summon command for the regulars here (it'll not be abused but instead never used)
haev oen of the categories be ddosing vedal with pings
what's my message count
who is fastest
have I hit 300k yet
thats just a synonym for wing tedal
259k including the staff channels
slowly but surely
that's all in shiro rp
Smh mods hiding channels from us
to himself
shiro-schizo-birthday-corner
i need to do better
don't give them ideas
im cooking, what if shiro needs to type "happy birthday" in that channel once everyday to chat here
ideas form from reality shiro
in 56th server wide, not bad
Heir, new channel idea: #shiro-schizo-birthday-corner
ill think about it
at how many messages does ones neckbeard really fill in i need to stay just under that
let poor heir sleep guys
what if the april fools day theme next year is a serverwide birthday party for shiro
actually let poor shiro sleep wtf you woke me up with pings and I totally forgot
Yes
time to set /summon mods to ping vedal
every day is april fools

they're already the same thing

I'm gonna end up in the automod again 
all shiro automods sends a DM to shiro 
but the former doesnt work
vedal is the only human at the reigns at vedal.ai and all the mods are just failed neuro checkpoints
did you know, this is already a feature! you can do it like this: @real sierra
Is this all it takes to be in the top 100 
we should test that feature
does this ping you @real sierra

and of course, vedal being Charles the Third, by the Grace of God of the United Kingdom of Great Britain and Northern Ireland and of his other Realms and Territories, King, Head of the Commonwealth, Defender of the Faith
@real sierra

lorge ping
extra loud
ping
plonk
that font reminds me of a nintendo DS game
Imagine if the heading size determined the ping volume 
i like it
that screenshot...
something smells fishy...
my poor discord what have you done
vanor is mining Bitcoin on my phone
nice
avarage programming behavior
reminded me of nintendo ds system font
🟪
kek
I got several bitcoin miners on my phone 
huh
discord is a quality piece of software
***VANOR ADDRESS THE ALLIGATIONS neuroDinkDonk ***
i c
its the font from the cod website 
ye heir said because partnered server you’ll mod discord tos here. client mod ban


lmao

right
Imagine just half the chatters dissapear if it was actually enforced
smh client modding, who would do such a thing 
is it TOS to run discord in your browser and fart with the css//use browser addons
130k -> 30k
im safe, im pretty sure. my linux client is from an AUR but it should be stock
not any of you hopefully :)
By that logic, you aren't modding the discord app, you're modding chromium
*firefox
oh, you didnt mean that litteraly. that took a while to read and register lmao
discord app is chromium
as well
what could the context for this emote existing possibly fucking be
stop dancing on top of fences, i'll shake u off
react native start menu anyone
That's what I just said
Just hit it with a hammer and that'll do it
this one is correct and normal client
the clueless bed? 
yeah i was kinda agreeing but then didnt know how to phrase the rest lol
Fun fact, there are Discord developers who use and have contributed to discord client mods
behold
was more saying like the tos rule for the client makes me think that somehow they consider browser addons bad too under the language there but i cant see how that would possibly fly
is your task manager perma open
How many of them are linux users tho 
memory leak mhm
Classic windows
no

discord's gonna ban me for my one-line firefox extension that enabled OLED dark mode 
cpu eating start menu™
discord's gonna ban me for editing with inspect element 
your one line is going to cost you a a life sentence in discord jail



does ublock adblock work inside of discord when its in web?
I like how discord advertises jobs in devtools 
that is admittedly funny
ad blockers techincally does modify the page...........
fun fact: i have been using windows 11
with a microsoft account 
with edge 
and not debloating 
discord does not give a shit about client mods unless you’re problematic. like back when statuses were added i remember seeing a couple of people doing animated statuses while obviously hammering the api (like 1-2 fps !!) they all got banned and i never saw that again
the “client mods are forbidden” is probably to cover situations like that
huh
mods ban all ad block users
send help it took me 1h30 to get to the desktop
Not if you just block the request that gets the ads, then you aren't touching the page


therefore we have learnt that everyone should just get a pihole
what if i just block the discord and keep the ads?
tracking data: logged
referral link: clicked
email: provided
vpn: off
windows: 11
chatgpt: pro sub
information: may be contained in a darkweb leak
norton: out of date but running
mcafee: scanning
office 365: trial accepted

Classic windows
found it
oh yeah my fedora server went into boomer mode and idk why
lmao
tty is zoomed in like 300%
This was uploading to an S3 server btw, and that is a 8gb file
does anyone know is nitro res and framerate screen sharing without nitro fixed yet
use rclone
haven’t seen that one in a while too
yay- wait WHAT
not my s3 instance
3 hours 
5 mb/s
does s3 stand for "send for 3 hours"
8 gigs over3 hours 30 mins
Correct ✅
is 5mb/s
mhm nice warnings discord
i fucking hate this warning
ive never seen that warning before in my life
the warning is good
the spam is not
it does it in chrome or firefox but not both, cant remember which one
don’t preload shit you’re not going to use
Well the app runs on chromium, so what do you think?
Also
it's annoying if you're still writing it and you are going to use it
that's a smol case ofc but i also had it once where it did the warning and certainly was using the resource
you add preloading after you add the usage
googbye programmings i will see you in fedora live boot


it’s a last minute optimization step
ass-ist
sometimes i alreayd have a list of things i know i will use so ill just do it
im gonna finish uploading this blender file, cuz yall distaracted me for 2 hours.
me
i slep
i need to finish this os install ive been ignoring
NOPE slep
where's the clip of vedal saying "ME" when you need it?
me sitting down to keep chatting when i know i need to be in the other room to even remember to do what i was doing
19-07-25 Filian twitch VOD: https://www.twitch.tv/videos/2517024993
Filian channels: https://www.twitch.tv/filian / https://www.youtube.com/@filianIsLost
Advertisements are not posted by me, ads are posted by YouTube as default.
close enough
The first letter of my discord token is "d" if anyone wanted it
🇩
I need to finish my cloud box now that I have an ISO file to boot from
i need to finish so many things ngl
sheesh
i bought that domain but i still havent set the cloudflare tunnel up properly
custom image? no upload from the source already up probably on s3 ? idk if it's possible to do that in this case but ive done this
not w/ s3 but like gcloud
cracking your account now 
It gave me an upload link to curl into or file upload
the file upload had no precentage so I opted for curl
thanks for the token nerd now i've got your ip address see it's 192.168.1.1

and you're... in my house?!?!?
me when my ip adres isnt even 192, it starts with 127 
only 2^16 IP addresses on his network?
real winners use 10.0.0.0/8
I'm pinging you
hey stop pinging me
why am I getting pings
ping 255.255.255.255
time to ping everyone
smh 
holy shit he's using hacking to conceal his servversz
ping vedal
Hey heir, do you know what vedal's ip is?

no

imagine having a firewall and blocking broadcasts
pings from suspicious alibaba servers build character
Chat, I have very bad news... 

gnome is not loading
(192.* and 10.* and others are private namespace and are not unique)
aka not doxxing
before i get particle beamed
192.168.0.0/16 172.16.0.0/12 10.0.0.0/8 spaces are not routable
they are only internal
So you can set your private network to have 16777216 IPs for the lols
like lans
yeah it is, thunderbolt uses that range
so yeah
my router be like: 192.168.0.1 
actually i think its on 192.168.129.1 rn for some reason
idk why
dhcp be like
i think it has to do with the xbox one not being able to connect to the wifi extender
I'm going to have to throw another iso up there
costcut wireless 
i rememebr settign that wifi extender to 129, i guess the entire network decided to use it
I can't get to the CLI option before autoboot starts
we're doing wired in the floor as soon as the renovations start, which means im out of luck and by the time it will be wired i will have moved out
lol, yeah you're not supposed to set up DHCP on an extender
Also I have a very important typo to fix. It was 4gb
so then i set the ip for that extender to 129 so that it didnt have problem with connecting
idk
its a shitty extender
@fast pagoda 2.5mb per second
tp link archer c6 iirc
noice
they nust've had the same ideas and shared them with micro$oft earlier
since they gave me like 56k download speed for updates on my mini pc
when it's on ethernet and the connection is fine
this number is smaller than i remember but this has been downloading for literally 3 weeks
thunderbird
and no i will not prevent thunderbird from downloading every message
let me not dox that
it was cut off
Better


oh i see why my blender file is large. im not using a png, this is a psd file
and im on linux so i cant fix it
wait i have a picture of it here
fixed
200MB to 800KB 
Chat, you get the second character 👍
echo mention 
chat
anyways i uploaded it
its time to watch some anime and to get drageed to the hospital in a bit probably
im fine, dont worry about it
they want to take me cuz the meds i got prescribed didn't have an effect yet, eventho its only been 2 days
tide prompt
bash
As of the latest update, the windows terminal now has a built-in text editor. Took them fucking long enough https://github.com/microsoft/edit
Better late than never.
I edit you into a sightly garbled version of yourself (the power went out while I was saving the file)
jsut use paint
is that different
or notepad. i meant notepad but i typed paint idk
oh it is
You can also get it for linux and macos if you prefer to use an editor with no syntax highlighing over nano or neovim 
it pay homage to the old one tho
paint for text editing 
the old one didnt really go away i think ive used it in liek windows 10
i could be totally hallucinatiing
but im pretty sure i pulled it up at least once just to see if it was still around
They removed it at some point along the line and only brought it back very recently
wtf microsoft
awa
instead of | cat try it with > file and see if that improves
I'd have to reset the entire thing 
it has vscode controls which means it's superior to vi-family
if it's going that slow
there's no bottleneck
you could proabbly do in another terminal
and it would still be faster
Ok, but it has no syntax highlighting 
if it's gonna be faster

Are you an emacs person?
It really shouldn't unless your shell is totally borked
nyope, still balls slow
rip
I've always found this so funny 
a great one
google easter eggs blow normies minds btw if you ever show them
like cause google to flip and they shit their pants
The google easter eggs can be very fun
could be seen as a "see also", I guess
Like the minecraft one
sublime text (vscode copied for a lot of the defaults)
vim i have a hard time with because i am too stupid to handle modal editors well (aka not used to it)
Ok, but sublime text has really a small amount shitty text suggestions that make it far slower then vscode
well, i didnt mean to imply sublime is better than vscode
more just acknowledging that saying vscode keybinds is not really tru since it took them from somwhere

i think maybe ctrl + arrow keys to move around by entire words is an emacs original?
maybe
What do I select?

it's a wizard harry
i hope they never change debconf ui
efrom that ncurses pink eye searer
well
pink isnt guaranteed idk whhy it's pink this time
ncurses though
very spooky looking
Emacs does let you navigate words with ctrl+arrows so maybe
emacs is cool but i would probably like it more if i were were a lisp overlord
Does anyone have any idea how the level files for Quest Through the Harrison Temple works?

i lied
they want to scan my bloodflow or something
Pretty sure they're just Unity scenes
Neuro-Sama
WHAT
?
how do you know this name 
nurosama
have they not heard of target="_blank"


Is the RVC title, like, trademarked
Can I call it RVC3-mini
Biggest improvements I can think of off the top of my head are whisper v3 encoding, top-4 gated retrieval, 48khz native with a secondary mode for 16khz binaural, and iSTFTNet decoding
It's cancelled
We get spin embedders for RVC2 instead
I*ve deprecated RVC anyway, it's useless
Vocal synthesis for everyone
So does that mean I won’t get sued
I’ll prove them all wrong 
Seems a bit silly
Why do you even need better RVC?
RVC voice merging is good
But RVC is not
If RVC was good
And RVC voice merging was good
It would be double good
RVC is useless now anyway, I've deprecated it fully in favor of vocal synthesis
https://www.youtube.com/watch?v=AjEkksmofgo
This is how cool vocal synthesis is
silly lil extra thing for the longer wait
another collab with Superbox!!!!!
come chat w/ me on discord if u like! discord.gg/8ry5dn3UjA
NeuroSynth/EvilSynth developed by Superbox & Wispers
Model versions:
NS-B-3.2.1
ES-B-1.1
Motifs:
NEVER (Neuro X Evil) - https://youtu.be/CKCgoEGiUEg
Dark Sanctuary (Toby Fox)
thumbnail edited by me
tag d...
I got to be honest with you
That’s way way way better for singing
I agree
But for speech?
It would sound like a soundboard
We have a tool for that, it's called TTS
But you can also make a vocal synthesizer speak just fine
This is not UTAU, it can do really powerful stuff
I’m curious now, Is this the same tech vocoflex uses?
Vocoflex?
Cause that shit has insane voice merging
NeuroSynth's tech stack is not revealed yet
We will reveal it on release
I mean you don’t have to divulge specifics to me
Hell vocoflex doesn’t release specifics either
I’m just finishing for a general yes/no answer of is it closer to that than it is to rvc
Anything about NeuroSynth's inner workings is currently NeuroSynthProject confidential information
But it is a real vocal synthesizer
Uses machine learning
Good enough for me
That is as much as I can say for now
I wish your project luck
It's progressing well, we recently added Japanese support
So now it does stuff like this
how do they even do that
i dont get why 1 turns into 2
fucking lisp
it got lambda with no argument, what is it supposed to do?
also fucking ((((((
who invented this shit 
its not called its just a lambda
if you add one more pair of parentheses around you're calling the lambda with 0 args
but as is you arent calling the outer lambda
john mccarthy
so this turns into this
kind of makes sense when i wrote it like this
theres so much boilerplate because of scheme's strictness 
or does it
so lambdas get unwrapped in the opposite order?
first outside then inside
guy who made the noescape.exe and stuffed windows 10 into floppy disks
no it makes no sense
lambda takes f but returns x
((lambda (f) (lambda (x) x)) f)
turns into f
why
it does not
i take f, throw it in the garbage because (lambda (x) x) has no f
i think you made a mistake during substitution
its easier when you use the original notation
||zero = λfx. x
succ = λnfx. f (n f x)
succ zero = (λnfx. f (n f x)) (λfx. x)
succ zero = λfx. f ((λfx. x) f x)
succ zero = λfx. f x||
the notation alonzo church invented
tbh doesnt look easier at all
it probably needs a paragraph of definition what is f, what is x, what is zero, what is succ, what is n
but itself its short yes
where
λfx. x is zero
spacebar?
the term itself
what are arguments there
mhm
no it is zero by itself
yes
because the function is zero, not its return value is zero
the point here is you dont really care about how numbers work, what you want is being able to perform some operations on them
and representing numbers as successive compositions of a function f (0 = identity, 1 = f, 2 = f . f, 3 = f . f . f) gives you all you need to encode the rest of maths
i mean i get why lambda (x) x returns x
i dont get what happens here (lambda (f) (lambda (x) x))
its just a function that returns another function that returns its argument as is
are you familiar with induction?
proofs by induction
im bad at it
def outer(f):
def inner(x):
return x
return inner
if i call it like this
(lambda (f) (lambda (x) x)) 5
ohh that notation for composition
it unrwaps to (lambda (x) x)) 5
my bad 
does it? or no
not exactly
((lambda (f) (lambda (x) x)) 5)
is (lambda (x) x)
(((lambda (f) (lambda (x) x)) 5) 6)
is 6

this definition of natural numbers allows you to perform any operation you would do with natural numbers but i guess i can understand why it would be hard to think about
outer(5)(6) work same 
so to print 0 i will still have to give it 0

as number

if you want to read it back to a form that can be pretty printed, yes
its not necessary for computing
only necessary if you want to convert it to your language's integer representation
why do i need that construction then
yee definition of natural numbers is the same as the definition of a successor function
which in turn allows the definition of any higher order natural number operation

oooh its from that category of things like
define blue color
or define nothingness

or define define
its useful for programming if you care about proofs by induction and stuff like that
without having define
or if you care about fundamental structures we can use for representing knowledge
but its not something you just use in your average web server
why when i have a problem it always comes to induction
i dont even see how whole this "define zero" situation connected to induction
data Nat =
| Zero
| Succ n
add n Zero = n
add n (Succ m) = add (Succ n) m
heres example of how you'd implement addition if you only have "zero" and "successor of another number"
what is succ?
successor
N + 1
so Succ Zero is 1, Succ (Succ Zero) is 2

kind of depressing
peano arithmetic not depressing
just accepted definition of natural numbers
gets more interesting when you move to uncountable sets

technically nothing to do with numbers though 🤔
peano arithmetic holds true for any countable set
*ordered
totally ordered set
well, it has to be both ordered and countable



linear orrderrrringgg
turns out for natural numbers to be defined you need a set with the properties of the natural numbers 

why wear semiring

na glue
outside of leaf end of observable universe
information regarding leaf is entirely within the domain of leaf
no evidence of existence outside
need to get eyes first
leaf thing in itself
does a thing existing necessarily implicate it exists within another thing
or does it simply implicate that it exists

is the world an infinite tree or is it not
hm tree not right word maybe need something more general for spatial structures
i still dont get what is happening there with that zero definition
and solution code i found doesnt work in my lisp interpreter
i will just pretend its not important
there's no reason that a thing cannot contain itself
therefore a tree is too specialised

cyclic structure weird
from internal examination it is of infinite size
from external examination it is finite
me not know proper term for describing this
it almost like uuh
a sphere
infinite traversible surface but finite volume

ye know
if you are inside a self-similar structure, there's no way of determining if its cyclic or just self-similar


wrr
i think uuh
any examination of the type of set the universe is, is frivolous and non-meaningful
because we are not external to it 
🐸
Let F be a functor from a locally small category C to Set. Then for each object A of C, the natural transformations Nat(h_a, F) === Hom(Hom(A, -), F) from h_a to F are in one-to-one correspondence with the elements of F(A); rather intuitively, there exists a bijection between Hom(Hom(A, -), F) and F(A). That is,
Nat(h_a, F) ~= F(A) Moreover, this isomorphism is natural inAandFwhen both sides are regarded as functors fromCxSet^CtoSet`.
:NeuroBlabbering:


so uuh
theres this paper that explains it https://math.mit.edu/~rud/TeXthings/yoneda lemma rapport(1).pdf
not sure what i'd use it for but it's cool 
did you guys understand everything you've been taught right away or there were situations when you just dont get something
me not see how this apply to universe since we dont even know how many elements of the set of universes there are
no one is a super-genius to understand everything first time
i dont understand anything just from reading i just practice until i understand
if there were such people, then all problems would be solve 
but what practice can i do to understand that definition of zero
try writing some programs using it
its not really a skill you can practice
it seems like its some atomic knowledge that is supposed to be understanded right away 
more like something you can get a feel for
ne its quite unintuitive for most people
i mean, zero wasnt even invented until 300 BCE, and it wasnt even considered a value until 500 CE
but now its common knowledge that zero is a value that exists 
doubting that the definition of the set of natural numbers will ever be common knowledge 
maybe that's how we should teach children about counting 
ye just give them the peano axioms
ye
natural is 1,2,3?
doable with technology
or natural is every fraction including pi
no it also inclues zero
i always mix them up
no those are reals
natural is 0,1,2,3,4,....
though some people will wrongly kill you for that first element

fractions are rational numbers (from the word ratio)
fractions are also countable 
ye 0 not a natural number in russia

you only become uncountable when you include real numbers
there is a proof by contradiction that between any two rational numbers there will always be a number that isnt representable with a ratio
i.e. pi, or e
hence the existence of the uncountable "irrational" or "real" numbers

is it because you can add some multiplier to pi and fit it anywhere like that
counting rational numbers konii do every day when bored 
axiom of choice (konii ver.)












