#ot1-perplexing-regexing
1 messages Β· Page 419 of 1
It takes too much typing, it makes things too hard, and it uses OOP
So less words = better?
To a certain extent, definitely
pretty sure C# happened because MS wanted to have a java impl, but oracle sued them or sth
Well, they did a good job with it
ye, it turned out quite well
They just couldn't even come up with a name
and asked a musician? Who was working on their # only masterpiece
who knew nothing of computers, but knew C was a language, and thought, add a #!
It's (C++)++
They just put the ++'s on top of each other
is just four ++'s, two of which are stacked on top of the other
There's that too
The quinessential epitome
What powerful words
They were like, yea, that's us too!
C#
we did it boys, named hte new language
It's not quintessential though, otherwise they wouldn't have had to have made the vastly superior F#
is there a G# language
https://github.com/talley/gsharp yes in someone mind from 2017
C# big meh
c# is a pain in teh ass
im more of a BbMaj7#9b11 guy
idk why but this just made me laugh way more than it should
Collecting pandas
omg the counter for the emojis in #announcements
lol
The eater of ram aka PyCharm
wip vfx composite
all interiors and the various untextured solids you see are placeholders
but thoughts on everything/anything else?
test
Is it possible to implement a PyGCProtocol in a pyo3 binding without implementing an unsafe PyNativeType?
idk man go ask in a help channel for a higher chance of an answer
so is it normal for a dotnet restore to take forever?
it's been... like... 10 minutes
hey guys
say a website was serving traffic over a certain port.. but it changed
how would I go about finding the port number it changed to
Does it say "with great power ... " tho?
Can't update to latest version π
and... do you already have a Mac that isn't x?
No
Does it say "with great power ... " tho?
@tired haven yes
What???
Yeah, it's been a while for me since I've spun up a server or installed an OS.
You will explode
@tired haven last two months I sudoed for the first time
π₯
Myocardial infarction.
what will happen??????
@near geyser nothing bad
your operating system will be ready to go
π°
I have no idea what you're talking about btw @near geyser so don't let my commentary stop you.
I may broke it because its not mine
You think your computer will explode?
No, it won't broke
An operating system can't break your hardware
Not littleraly but I thought it would format π°
Why do you worry about formatting if there was nothing there before?
There is something
Files Pictures mostly
My Mom would kill me if those got deleted π°
And, does that computer have Mac OS installed already?
I don't know π° I'm new to this stuff also I hate Apple Too much restrictions!
I want linux!
If so you can go back, restart and save your files on a USB or something
Then proceed with the instalation
π°= 0
print("I don't have source of money")
If so you can go back, restart and save your files on a USB or something
@errant wyvern
does the installation removes the stuff?
depends of what do you select on the install
π°π°π°π°π°
you can select to wipe all your hard disk
you can also select to create a new partition
if you select a new partition you can dualboot later
How can I stop this π°π°π°π°π°
I.e, select two operating systems
How can I stop this π°π°π°π°π°
@near geyser cancel button?
wait a sec, what initiated the install in the first place
Uh Oh...
I've never used/installed macOS before
So what I'm saying is basically intuition
@topaz aurora Me cause I don't know what I was doing
also iirc you can't really dual boot on a Mac
you can
uuuuuh
FUDGE
im on a five boot mac
Apple sheet 
I'M RIP
I thought there were some hardware limitations but it's been quite a while since I read up on it
Yeah
Then click it lol
the new arm processors cant dual boot i guess
@buoyant bridge +1 reason why arm sucks
Mac os is currently being installed if you quit now you may be inable to start up rbe computer
RIP ME
uh
or just cancel it, nuke the partition
rip
@buoyant bridge Howwwwww
wut???
great idea @buoyant bridge
Don't talk programmer
@near geyser do you know what's Linux live?
I'm the dumbest guy here
but i dont get why you would want to cancel it
It's basically to use Linux on an USB
@errant wyvern Nooo !!
but i dont get why you would want to cancel it
@buoyant bridge
It would delete my files??
You can recover your files using Linux to access the Mac OS filesystem
what are you doing right now?
installing shit os
Waitinf for what to do...
@buoyant bridge RIP ME
No
I got mac....
?
first of all. Why do you started the install with no idea what you are doing?
double macos?
CONFUSION
first of all. Why do you started the install with no idea what you are doing?
@errant wyvern
I'm dumb!!
what are you doing right now
It's installing Mac Os X on the disk "Machint||rash|| HD"
No
rip
overwrite
I just clicked and cliked Stupidly Thinking it will update the system's version
ah

then why would you want to stop it
wdym?
@buoyant bridge also Python3 IDLE doesn't work π
cuz no one knows what you are tryin to do
yeah
what are you doing
dont use it then
install python 3.6+
In terminal
And is this related to the Mac OS instalation???
An error in their Python installation somehow led to their OS being reinstalled which is kinda interesting
If you are installing an operating system not as customizable as Linux you must always save your important files somewhere like on a USB
Not go ahead and install it
Yes It actually started there
-I was programming F string Doesn't work
-Deleted Python3
-I saw machintosh download
(Thinking it will update the version)
-Paniking cause I thought It would delete all my files
Probably, unless it would be a harmless system update
i think the "update your system" button wouldnt
so you completely reinstalled your operating system because fstrings weren't working
lol
why?
I dont know π°
k
I tried Quitting the installer
But When the pc opened im still in the installer π°
Why'd you try quitting the installer though
What did you actually click
The installer failed to install
probably cuz you tried to quit it
did you click 'format boot drive' or 'install mac updates'
when it should be set to W
mac*
I accidentally clicked it @rough sapphire
noice
Yws
or do you mean you thought it did something else
accidentally
did you backup
Probably Yes
I tried clicking but nothing works π°π°π°π°π°
@buoyant bridge This is what I got
I hate my life β°οΈ
Whyπ
||Depressed 10,000||
Just ping me if you can help
A little F string problem did that to me π°
hey, I'm installing macos as well https://arse.ee/yY8KQxOK.png
@rough sapphire you mean the update or are you using a virtual machine on windows?
this is qemu/kvm on linux
Oh, linux. Cool π
I've been a mac user for so long, I'd like to switch to windows or linux.
Linux is great
Great from a casual user or from a professional programmer perspective?
I started learning Python, and it's not what I wish to pursue career-wise. It will come in handy, but I do not want programming to be my main focus.
that's fair, not for everyone
something else IT-related, then?
or not in this field at all?
that's neat
I'm a professional hacker by trade and I love it, but I sometimes wonder what life would be like if I moved into something in biology instead
My first lil laptop (acer I think) ran Ubuntu. It was like 2010-12 or something.
Did you ever consider moving to something in biology?
was strongly debating it, but decided that IT is more my thing
specifically security
Great you made it then π
I don't dislike coding, but I don't think it's my thing.
Perhaps I'll change my mind once I actually get better at it.
Father doesn't believe in me smh. Says I'll give up uni after a couple of months. I don't know if it's his type of motivational talk (at least that's how I take it) but ya know, pretty disappointing.
that sucks
my parents don't really understand IT and often mock me for choosing it as a career option, but they're glad I'm doing well for myself
That's good π
IT is humanity's communications network.
Responsible for enabling a real-time responsiveness to events.
They know YouTube, don't they?
No IT nerds, no YouTube.
No e-mail.
No Zoom nor Facetime.
No Facebook nor Instagram. Ha. Forgot about Facebook.
I actually forgot about Facebook.
xD
@soft violet they're aware of that, they just think it's not a "real job"
@rough sapphire What, then, in their mind, constitutes such?
Felling trees and heaving logs over your shoulders?
Secretarial work?
I really don't know
@errant wyvern Im dead!
what?
He's dead, Jim.
But not as we know it.
Hello can anyone help me ?
I've tried asking in help channels twice and in general but no reply π’
@keen flax Do you have access to a python prompt within PyDroid?
I'm unfamiliar with the software.
Idk what that is tbh
The thing that looks like >>>
Err think so
Actually, do you see the thing in the PyDroid UI that says Pip?
Yh
You should be able to use that to download and install pip-accessible modules into your Pydroid environment.
Errr
I'm very new to python
If I type
Pip install pygame into the terminal will that install it?
Because the pip section you can search liabries
there is an install button as well
try writing import pygame
>>>
The python prompt, yes.
Or in a file that you run. Whichever.
Prompt is probably easiest
ta-da
I'm thinking about writing a stupid short story about the dreaded pirate Captain Webhook
Friggin' magical
Weird question: Is there any way to make a Partial (by that I mean in Python the functools.Partial) in JS or TS? I'm an idiot, yes there is with arrow functions
Sheesh
Nevermind
Well at least I figured that one out quickly
Fair point.
using microsoftpaint to draw art, tedious but not impossible
microsoft paint 3d is a much better software but I didn't use it cause of the "challenge"
That has to be with a tablet, right?
nope it was done with mouse
Impressive
all mouse, and microsoft paint, as low and old school as it can get
Im just going to say krita and leave it at that
full pic
That part is going to bug me. The line over the blond strands
there are many things clipping/overlapping not just that
but it's the anime "style"
like how are eyebrows even visible lmao
When you keep forgetting your smart card in your laptop and you know shell π€
#!/usr/bin/env sh
shutdown_prompt()
{
read -p "Are you sure you want to shutdown? Y/n" yn
echo
case $yn in
[Yy]*) sudo shutdown now;;
[Nn]*) exit 0;;
*) echo "You are tired, go home. Answer yes or no."
esac
}
$(opensc-tool --atr &>/dev/null)
STATUS=$?
case $STATUS in
3)
# Card is not present.
echo "sudo shutdown now"
;;
0)
echo "Card inserted"
shutdown_prompt
;;
esac
... Manjaro booted and decided to just power off all the USB devices, including keyboard and mouse
Spite
Man this add-in project is becoming a self-imposed trial by fire
Went from just making this a js add-in to "Fuck it, let's learn React and TS again at the same time!"
@rough sapphire as a golden rule, try to flip it horizontally
it might seem weird to do a drawing and then flip it, but that way you're going to find that you have a tendency to draw more towards one side or the other. Eventually it can help you get a better sense of balance.
So apparently you can just cat an ISO file and redirect the output to a device
That doesn't seem right, but the arch docs says that you can do that so Β―\_(γ)_/Β―
It renamed the device
It fuckin' worked
Linux is so magical
Hmm, looks like it is just the installer
F, I cannot setup SSH before plugging my rpi back
Except if..
Ubuntu has preseeding, right?
Well, it will probably be faster to do it from the rpi
Unh... I need to plug the keyboard and the hdmi to the tv
That's too much work for today
@neat blaze thanks for the tip, yeah it looks like I draw more towards right it wasn't balanced at all
@rough sapphire no problem! we all have a natural tendency to go towards one side haha think of it as training to see the bigger picture and not just the details π
silly question but is it ok to just copy paste one side and flip it
so you get like 100% equality on both sides
Can't you use a symmetry tool for that?
So apparently you can just
catan ISO file and redirect the output to a device
@solid pollen that works with anything, but plaincatis slow
dd with the right block size is faster
It didn't took too long actually
For a full Ubuntu server arm it took around a minute or two, that's pretty decent IMO
don't know if this is a good place to ask, but I'm trying to program a solar system simulation using Cowell's method
and basically, I need to work out the periapsis of the orbit of each planet given their apoapsis and velocity (as a vector). is there any simple way to do this or am I better off just running a full simulation of the system until all the planets have reached their lowest points and then saving those?
There are libraries
That do stuff like this.
You can Google python orbital libraries.
yeah, I could, but I want to write it from scratch
So you want to take that series summation and calculate a certain location of the orbit?
essentially, yes
but I wanted to know if there would be a better way to do it, since that'd be quite computationally intensive for lots of objects
I have no idea really, it seems like there is probably a way to calculate that without running the equations. Looks interesting, good luck!
There aren't a whole lot of astrophysics discords:/
I have a couple of ideas involving differentiation but I really don't know enough calculus to do anything like that..
minecraft good π
hell yeah brother
@mint lichen You can't really find the periaphis for an n-body problem because well, it's undefined. Periaphis and apoaphis stay constant for a 2-body problem, for even 3 bodies the trajectories are not elliptical.
Would it be possible without summing/simulation for a 2 body (ie, sun and object) problem?
Sure.
Simplest case, approximately-immobile central body and an object around it:
angular momentum is conserved, so at any moment m * v x r = M = const, where v and r are velocity and position vectors of the object with regard to the central body, m is the object's mass, x is cross product, and M is the angular momentum vector.
at periaphis and apoaphis, v and r are perpendicular
so |M| = m * |v x r| = m*v*r
this means that the product v*r is equal at apoaphis and periaphis
the second equation needed is conservation of energy
1/2* m * v_1^2 - G*m_C*m/r_1 == 1/2* m * v_2^2 - G*m_C*m/r_2 - the total energy at apoaphis and periaphis are equal
with this system of two equations, one can find r1 and v1(at periaphis) based on r2 and v2(at apoaphis), or vice versa
The solution is:
v1 = (2 G mC - r2 v2^2)/(r2 v2)
r1 = -((r2^2 v2^2)/(-2 G mC + r2 v2^2))
for a more general 2-body problem where the bodies are of comparable mass, it's more complex but still possible, because it turns out it reduces to 2 independent 1-body problems like the one above
Though I'm not sure how knowing the solutions to 1 or 2-body problems helps with a general, no-simplifications orbital simulator.
if you want to have it as a display for the user then take the KSP route and just don't do a very good job of calculating it
yep
so you kinda just schwiwnngggg between orbtis
i wonder if you can abuse the two different mechanics systems to gain momentum
the zoomed in one and the fast one
wdym? The time speeds?
well there's the physics-y 3D one which you use to launch etc
and then there's the orbital view
they use different physics systems i believe
and the difference in orbital velocity is noticeable with very precise rendevous
rendezvouses
craft physics aren't calculated when the craft is not loaded, but gravity is the same
plural of rendezvous
hmm, I wonder if the momentum-breaking fluid transfer bug was fixed π
Rendezveuse I expect
oh cause jettisoned parts do consider fluid position
but if it's one craft then it doesn't affect COM
in past versions, transferring fluid from one tank to another didn't shift your craft so that your center of mass stays the same
so by shifting fluid from one end of a long stick to another and rotating the craft, you could "climb" the length of your craft per rotation
@sturdy marsh Hey You there?
@rough sapphire My big ole waste of money arrived, and I feel the need to share it with someone else
people still play mtg?
they do
I don't - I just buy cards for it
but I understand that other people actually play it
I play the online version
EDH is great, but finding people to play it with can be a PITA
finding the right balance between casual and competitive is a headache
I'd love to have like a weekly EDH session, but finding a group is impossible
and LGSs are weird and cliquey
yeah, though I just build decks with outlandish wincons these days in competitive shells, seems to work okay enough
yeah, i agree with that
LGSs are weird, especially since I am trying to get my partner into it
I don't even care if I play completely casually with elephant tribal, or all out winning is the only goal
I just want a group where no one whines about it
hahahahaha
I feel that
competitive players complaining about your jank
casual players complaining about your consistency
I did some EDH pods at GP London, and dear god - every single game ended with at least one salty person
how many doomsdays per capita?
There weren't even any all out cEDH decks, just a poor mix of power levels and people not being happy about trivial things
yeah, it's only to be expected
I feel like the average GP player has a lot of expectations on how a game of magic should go you know?
Yeah, that's definitely true
and once you have 4 peoples worth of expectations in a game...
I have an EDH group of me and some friends that play on cockatrice, idk if you have ever used that
I have, I just find how bad the client is too annoying to use it regularly though
I can appreciate that
but I will say, I have had a pretty good experience of just getting games going and even doing pickup games with people in it
so if you really wanted to play some edh, may be worth it since brawl has been a bit of a joke to me so far in MTGA
Singleton back in the early days of MTGA was very fun, I feel like Brawl isn't really an improvement on that
EDH?
Elder Dragon Highlander. Group variant of the MTG card game
The only variant I played was... I actually don't know the English name, you had one main card that you could invoke whenever you want, and don't actually die, its price just augment
Ah right
I do love when rewriting to pure python ends up 100x faster than the original.
I did not even use a smarter algo or anything, they both do the same thing to the best of my knowledge
Pure Python as opposed to?
SELECT (name) FROM hello_world WHERE _id=ANY($1::integer[]) and name=$2
system producing Querys nicely
strictly typed MongoDb with postgres 
hilarious
i like that you can see the angry reacts below just barely in the picture
turns out not user error, raku is just kind of weird and did in fact end up 20 times slower than pure python even after fixing the most glaring errors
you're clearly seething over there
you're all like https://www.youtube.com/watch?v=paCxQzArL3Q
From s05e05 'Tanks for the Memories'
FiM belongs to Hasbro, DHX Media and the Discovery Family channel.
numbda is quite literally black magic. Pure python with a single jit decorator ended up number crunching twice as fast as numpy. There is obviously more nuance, but that is still impressive
haha so funny haha
@rough sapphire seems sarcastic π ππ
@rough sapphire OT is not a meme dump, thanks
@rough sapphire Ok, it will never happen again. This is offtopic right?
i like that you can see the angry reacts below just barely in the picture
@cosmic lotus from the programmersπππ
didn't know cpp's error message were so hard to read.
This one is fairly mild
When dealing with a lot of templates they are going to get a lot worse
templates are just hipster metaclasses
Never understood templates in C++ yet here I am enjoying generics in Rust 
I'm pretty sure that they are just used for situations where a function/class is designed to be made for multiple types but the programmers don't want to make a bunch of individual class/functions for each type
correct me if I'm wrong
Yeah
To be fair though I just find Rust's syntax more pleasing to look at/reason with
I haven't really programmed in rust and I can problably agree
c++ is great but it makes my head hurt
Anyone uses android studio?
Rust's compiler error are pretty nice tbh
I appreciate the helper functions in it aswell like "you might wanna do this.." or "look at xyz URL"
Made learning it and getting started much nicer
windows is staggering sometimes
3 user profiles that have been working fine for a company all of a sudden corrupt on the same day.
now i've gotta rebuild them :|
what's paging and what's virtual memory
windows context?
from what I read it says paging is like.. when virtual memory (some memory on disk) is used for processing when RAM isn't enough
but I'm not sure if I'm understanding enough context here
you know how swap works in linux?
nope
ah, that would've made things easier
a page file is a file on disk that stores chunks of memory for caching reasons
that could be since a chunk of memory is rarely used, so it's optimising available memory
or it's out of system memory and needs somewhere to store it.
virtual memory amount defines pagefile size.
ok so we're able to configure how much virtual memory can be allocated
yarp
so what makes it inefficient compared to RAM is there's some communication overhead between RAM and the virtual memory?
RAM is incredibly fast
it has a direct line to the CPU
disks do not.
well, NVMe / M.2 are closer, but still slower than RAM
disk drive access is usually measured in milliseconds, RAM access is measured in nanoseconds
Gbit/per second vs Mbit/per second.
that's cool.. this explains a lot.. thanks bisk
I'm learning internals of Spark.. a framework with python api's that runs stuff in jvm's.. so needed this background to understand better
well when running anything as a service it's good to know the system it's running on a bit better.
a server shouldn't really need / use swap, you should give it enough actual RAM for its task
for Windows desktops it's usually used for hibernate / hybrid sleep modes, stuff like that
i got the weirdest fucking server issue atm though.
linux server with 16gb of RAM, barely uses 1.5gb of RAM
yet the damn thing will just crash out after 5 minutes if it doesn't have some swap
yeah, swap / page files are pretty much the same
a thing to watch out for with swap is that if a program gets swap happy it can end up consuming loads of disk I/O
which can grind the whole system to a halt
how do you measure I/O
in windows you can use the Resource Monitor to see general disk usage and what services are using it
in linux you can use something like iotop
ahhh
hmm I'm wondering about the APIs now.. so if my JVMs run on RAM.. and they handle the data, I shouldn't have any python processes handle data else it'll be too much i/o
my python processes should only handle calling of those high level api's that'll work on the JVMs
sounds fine if you've got enough RAM
shouldn't be an issue.
run it as normal and figure that shit out later if it actually causes problems.
I'm wondering if encapsulating that code within a python function would play into exchange of data between python and jvm processes
at the end of the day swap/page memory allocation is a thing the OS does under the hood
not a lot you can really do about it in code, i think
at least at this level(?)
yeah.. my scope is only writing efficient code that doesn't shuffle around a lot of data and make sure python processes don't handle data themselves.. because it's the size of the data that's large and all of it is processed within RAM
looks like this
edit your virtual memory size to cover running the OS plus the size of the datasets.
or find a way to not load the entire dataset into RAM at once.
or buy more RAM.
thanks bisk
np
hot
tfw you're just sitting down and you remember some crappy thing you said one day
haha @small fossil sql is fast af
My Faster version of mongodb :P
you made your own db?
its more of an ORM interaction system because its underlying system is postgres
because Postgre is well, amazing
lol
tho could be on the todo list 
Database engine from scratch is on my todo list too
I'd like to make a blog post with it, so I'm waiting for https://coding.blog to enable my alpha account
An open-source blog system for coding and coders. No content-marketing, no ads in disguise. Pure quality articles.
Got it building Insert queries now
tho gotta bench mark that now
Took 0.0141ms to generate
Took 0.0012ms to generate
Took 0.0007ms to generate
Took 0.0005ms to generate
Took 0.0005ms to generate```
generation speed seems to be alright
Took 0.0119ms to generate
Took 1.5918ms to query```
nice
Yenigma
What do you guys use for the server statistics page?
public one?
https://github.com/python-discord/public-stats @sick herald
internal, grafana
Thank you!
i have watched my hero academia too @simple sand
I still haven't lost patience with boruto
is it nice
@simple sand yes
no i don't read manga
I can't choose which anime is my fav
what would u change in naruto if u could
let Neji live
kill sakura at the end so that she and saskue wont be married
i hate that giirl
hate meaning hate hate
me too!!
she is so annoying right
no no no no
don't get me started on Nami
she should die
omg
yea
me toooooo
yo i hate both of them
but i like hancock do u
no
yes
it si nice
top 5
they should continue the series
i liked fullmetal alchemist ghost in the shell hxh my hero academia mosts
haven't watched those excep mhacademia
it's great
Attack on titan is also one of my star list
I dont think saw death note besides netflix one lol
I dont like attack on titen
I liek sword art online
i havent watched attacked on titan
technium u must have watched bleach right
if u like sword using anime
oh
Killua my favorite character of all anime tho I think
kind of
Tonight I saw a sticker on someones car that said Killua Zoldyck and nothing else lol
nice
lol
I like asta cuz of his determination. Except is IQ though.
is that from black clover
what
I dont watch naruto or one piece
anyway. any interesting programs you guys made these days?
I dont watch naruto or one piece
π΅
i made a tic tac toe game
nice
Has anybody ever heard of Guilded? It's some sort of improved Discord but it's sooooooo good! I just wanna know if there is anybody with some Guilded experience that could give me some tips and tricks π
(ping me if so)
that looks interesting
definitely some features there that discord could do with having
interestingly their terms doesn't mention bots or third party clients
although it seems like they don't have an API
they do have a sale clause in their privacy policy
stating that they may decide to buy/sell parts of other companies/their company
and that in the case of sale/acquiring/bankruptcy/etc, they may transfer personal information
(as part of that process)
lol, can't unban users yet
it's basically a discord alternative with a lot of extra user-facing features, but far less of the stuff that matters, like moderation tools
@swift nebula
import timeit
setup1 = """\
import random
def my_func(x):
return sorted(x)
lst = random.choices(range(100),k=100)
"""
setup2 = """\
import random
lst = random.choices(range(100),k=100)
"""
print(timeit.timeit("my_func(lst)",setup=setup1,number = 100000))
print(timeit.timeit("sorted(lst)",setup=setup2,number = 100000))
for me it's
0.49627133900003173
0.497872980000011
, so yeah, basically no difference.
ok thanks!
Ok, so I know python and java
If I want to be a big boy with a big boy suit and big boy suitcase making big boy money, want language should I learn next?
There's no clear answer to this but checking out C or C++ is useful for many things.
I see
I've heard c++ is c with classes
is that the general gist of it?
(or was it C#? I forgot...)
C++ being "C with Classes" is a bit misleading imo
C# is the "Java but better" one (the high-level one), C++ is the one closer to C.
idk maybe I just like "C with Classes plus a bunch of abstractions that you'll either hate or love" more
C++ is almost a superset of C, but C code looks very different from modern C++ code
C++ started as C with classes, but has since evolved
Ah, I see
so, asking for your personal opinion, which of the C flavours do you prefer and why?
My first mistake in learning C++ was treating it like C. Might give it another shot 
I do like C for short number crunchy snippets (a simple mandelbrot shower turned out by far the fastest in it, beating even rust by a factor of 4). I do not know C++ and C# seems like a neat kotlin-like language
Ah, I see, thanks!
I will probably try my luck with C first
It sounds like fun, back-to-your-roots kinda thing
C is quite neat. Fussing about memory is always fun, even if you tend to not be too productive
not very related but the times when I made shit in my TI82 were by far my most fun times programming
just simple stuff like implementing changing base 10 to base n and vice versa
Like, scaled-down stuff is the most fun making
And I think C could fit in that case
it could
Hey guys, does anyone have any knowledge of linux ext3 filesystem? I'm having no luck finding info on the basic operations of that specific filesystem
@frozen walrus better off going to a linux-specific discord server
Yeah, that might be best, do you know any good servers?
Google is your best friend
minecraft packets are packets and i dont like them because i confuse
Does Donald Trump use TempleOS?
He's too tech iliterate to understand what an OS is
True
Is there any maths thatβs esoteric and extremely abstract?
That doesnβt use usual operations like addition or anything?
category theory
If you want abstract math look into CH
What is CH?
that is an extremely fun rabbit hole to dive into
Continuum hypothesis
states that there is no set S such that |N| < |S| < |Z|
Well, amongst other things
I'm a little rusty on it though
How do I do the math?
lots of proofs
Is there actually no arithmetic?
ye, set, type and category theory are pretty much no arithmetic
In general ZFC set theory with infinite sets is trippy as all hell
That doesnβt use usual operations like addition or anything?
I mean, the basics of abstract algebra is where you define the concepts of operations, some basic properties like commutativity and associativity...
Can you make a computer program that uses stuff like that?
set
lmao
Oh. π
I mean, you generally do need arithmetic to get things done
but you can define them without arithmetic
for example peano numbers
Has anyone ever made a computer program with continuum hypothesis?
alternatively, you can check out symbolic math solvers
Well, it has been proven to be unprovable
since it lies outside of ZFC
The continuum hypothesis was advanced by Georg Cantor in 1878, and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC set theory (that is, ZermeloβFraenkel set theory with the axiom of choice included), so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt GΓΆdel in 1940.
data Nat = Zero | Succ Nat
(+) :: Nat -> Nat -> Nat
a + Zero = a
a + (Succ b) = Succ a + b
``` is addition with no arithmetic
Fun fact: The set of even numbers is the same size as the set of whole numbers
ye, infinite sets are weird
yup
rationals are the same size as natural numbers
you can compare them
Would a project with continuum hypothesis be beginner friendly?
@rough sapphire yes, by mapping them
@idle night hahahahaha....
(cantors diagonal proof is quite possibly the coolest proof in all of math, everyone lurking here should read up on it)
if there is a bijection between set A and set B, they are of equal size
Has anyone ever made a program with continuum hypothesis?
@idle night maybe, but it feels kinda pointless to make one
No clue where you should even start
Or done maths without binary operations or arithmetic operations in a program?
How would I start?
1/1 1/2 1/3 1/4 1/5
2/1 2/2 2/3 2/4 2/5
3/1 3/2 3/3 3/4 3/5 ...
...
``` includes every rational, no?
That sounds pretty interesting
How can I make a computer program that calculates things without arithmetic operations and without binary operations?
one simple way you can tell if a set is infinite: if you can map a part of it to the whole, it certainly is π
and then you can map that to naturals like
0 1 3 6
2 4 7
5 8
9
example:
def logfunc(x):
return -log(-(x-1)/x)
This function maps the (0,1) interval to (-infinity,+infinity) (it's the inverse of the logistic function)
so R (the set of real numbers) is infinite π
Compelling argument, but the other proof is still correct
like, boolean equation solvers?
Not even Boolean. But more esoteric than just True and False stuff.
wikipedia seems to agree with me
Wdym?
haskell can do some cools things with highly abtract types
then you have things like Coq, Idris, Agda
ye, R is not countable
Can someone please teach and help me do esoteric maths in programming?
I wanna do maths with 0 arithmetic.
None.
generally, that kind of maths solves some problem
I mean, what is your goal here @idle night
True^. Lowkey.
if you just want to mess with weird type stuff, haskell
if you want to get shit done, prolog
shit being some very specific applications
But tbh my goal would be to prove maths geniuses that they arenβt a genius. And that we donβt need arithmetic. We only need pure logic and esoteric concepts
I wanna find a math with no physical quantity to it.
you could read something like Euclid's Elements
But it can achieve a physical quantity just as a result.
very proof-based
I want super ambiguous maths.
Fun fact:
Euclid's Elements has been referred to as the most successful[a][b] and influential[c] textbook ever written.
Basically Euclid goes back to the basics and defines very clearly some axioms and then builds up a lot of stuff from that point
Very little arithmetic
oh, right, I've only now looked at your notes. You're the person who wanted to learn programming while refusing to learn percentages.
True^. Tbh I donβt need to learn percentages to learn programming concepts.
Itβs not that I donβt feel emotions. Itβs just different.
I discovered I do feel emotions with enough effort put into it.
Iβm 20. I just enjoy trolling. Idk why.
right
I have been serious a couple of times here. Iβm usually serious in the help channels.
I am.
Why is that so hard to believe?
What age do you think I am?
About my guess as well
but let's drop this, the math discussion was genuinely fun
now I'm not that interested lol
I wished I was 10 yo again ngl.
Is there a way to calculate the speed of a thought?
Or how long a thought lasts?
If there were, brain scientists would be amazed
How can I calculate nothingness?
Whatβs the formula for void? How can someone solve for nothing?
The interesting thing is that no one can comprehend real nothingness.
When we think of real nothingness, we usually think of a blank space. But the crazy thing is that itβs more abstract than that.
Itβs not a space at all actually.
It has no space, function, or form.
How can we even prove the existence of nothingness?
Thatβs what makes 0 such a fascinating number.
It has no space, quantity, form, or physical construct.
Itβs the most flexible number out there.
What is the experience of nothingness or 0?
I guess it truly is nothing.
Iβll stop. But man. The admins have been very tolerant here.
I appreciate that.
Has anyone here went to any hackathons?
My girlfriend has been to hackathons, I used to be too shy for stuff like that and now everything is lcoked down π¦
working on a project that displays images in a terminal. Current state: https://i.picsum.photos/id/21/1080/684.jpg?hmac=rpu8jGI1bohvKKqZ6wRLyuN4vlBtWGhVIpe9lEQdCdw becomes https://cdn.discordapp.com/attachments/718982713062981704/729506126101479464/unknown.png
@rancid forge you can actually squeeze two "pixels" out of one character by using a half-height square character (aligned with the bottom or top) and modifying both the foreground and background colours
@rancid forge because I'm shit at explaining
1 character but 2 almost perfectly square "pixels"
nice
Ooh that's smart
Damn
I've got a nice challenge question/quiz type thing.
The complete histories of Rome are in
3 volumes, in order, on a bookshelf.
Each cover is 1/6β thick, and the pages
(for each volume) total 3β thick.
A bookworm starts at page 1 of volume 1
(βCaesar and all thatβ¦β) and eats his way,
in a horizontal straight line, to the last
page of volume 3 (βBloody barbariansβ¦β).
How far does the bookworm travel?
i can't :(
Rip
if you get the right answer, I'll donate you a 10inch bookshelf
why did you have to make it imperial
"you can find 10inches somewhere"
yes i already did that joke.
it's the full length of covers + pages
subtract 2 covers.
since he started on the first page.
still must've eaten through the inner covers.
of the "stack"
that would be 9 2/3 inches, but that's also wrong
2100 years
too abstract
your riddle sucks
this riddle is fucking great
I got it very wrong, and the right answer is very clearly correct
its less wordy than the crabs, but it still aint maths
well i'm done, can spill it to me
The order of the books is what matters. The books are facing you, so the first page is on the right hand side. It goes through the whole of the centre book, then the front and back covers of the two ending books
so 3 2/3 inches
oh they're in a shitty reverse chronological order
ah no, nvm
i was on the right lines, just from the wrong perspective
was pulling a matthew mcconaughey in that movie about love
interstellar
beautiful graph
pen feels pretty good though
that looks v artistic
the worm in your question doesn't eat through the cover of the last book
it stops at the last page
this depiction is inaccurate
artistic license
I think I just have one error blocking me from nearing completion on this project
Type 'Promise<any>' is not assignable to type '(event: MouseEvent<HTMLAnchorElement | HTMLButtonElement | HTMLDivElement | BaseButton | Button | HTMLSpanElement, MouseEvent>) => void'.
Type 'Promise<any>' provides no match for the signature '(event: MouseEvent<HTMLAnchorElement | HTMLButtonElement | HTMLDivElement | BaseButton | Button | HTMLSpanElement, MouseEvent>): void'.ts(2322)
index.d.ts(1337, 9): The expected type comes from property 'onClick' which is declared here on type 'IntrinsicAttributes & IntrinsicClassAttributes<DefaultButton> & Readonly<IButtonProps> & Readonly<...>'
No idea how to fix it
why is my laptop lagging helpp
my guess would be unwrap the promise somehow.
Yeah it's the somehow that I'm tripping on
if you are in an async function, you can do let thing = await promise afaik, otherwise, you have to do
promise.then(e=> {do sth with e}).catch(err => {handle err})
```. But it has been a while since I did JS
I... sigh would someone be kind enough to type a big q in there, windows is doing some windowy stuff
It doesn't help that I'm trying to fit together the pieces of like 3 frameworks here
@solid pollen A big q? Like Q ?
That's against the rules.
Even if it is my windows OS?
Please don't antropomorphise your OS.
