Nerdy Things

[polar minnow]

https://en.m.wikipedia.org/wiki/Lake_Baikal

So cool

[royal drift]

the deepest lake in the the entire world

there's some unique marine species that managed to make thier way to lake Baikal millions of years ago and evolved into thier own subspecies like the Baikal seal

still to this day no one is quite sure how they ended up there but the most plausible theory is that they made thier way to lake Baikal through the many river systems that flow from far northen Siberia all the way to the lake around a few million years ago

probably during the end of the last ice age

the Baikal seals look almost identical to any other species of seals with their only difference being thier size unlike other common seal species the Baikal seals are much shorter and can only live in freshwater environments

unfortunately they're a rare and endangered species nowadays

when Russia conquered and colonized Siberia between the 17th to 19th centuries they were hunted for thier meat‚fat and pelt

[polar minnow]

I think I might try doing my project on lake Baikal

Genetics of the lake

[rocky hornet]

https://www.youtube.com/watch?v=sMMiBEhnizE first time I have ever heard about FPGA emulators

sounds: Expensive!!!!!!!!

Are there FPGA emulators capable of running ps2 games? if there are they probably cost 500 united statian dollar

[mint quail]

You can get FPGA chips that are more expensive than a car. 500 dollars arent that much. Specwise it might be hard for an FPGA to compete, due to the amount of overhead they need. so idk if there are FPGA's that could fully mimic the PS2's behaviour.

Though if I look at this, I'm gonna go with probably

[rocky hornet]

neat

fpgas seem cool

[mint quail]

They are. I've got this development board. Its basically an FPGA that also has a dual core processor in it. So you can do pretty wacky stuff like add custom hardware acceleration to the processors.

I really need to start using it more tbh

[rocky hornet]

in 2019 when I was an intern in my school's robotics laboratory the electrical engineering students were using fpgas (for something I don't remember). they had a development board like that

[mint quail]

If you're interested in getting one, this is a great place to find them https://digilent.com/shop/fpga-boards/development-boards/introductory-boards/

[flint lily]

seal seal seal seal seal seal seal

[rigid flame]

master sword I 3D printed last October

[polar minnow]

Any bio majors who know what the correct answer is? and how?

[brave harbor]

I think that youre supposed to make the girl married to the hemophiliac (im assuming this is hemophilia) man a carrier and have the man as "normal." Since she isnt a daughter of the first generation she doesnt count towards the rules I think

Im not a bio major so sorry if thats wrong

[polar minnow]

I'll see what I can do

[carmine holly]

can someone help me out? why is my OBS so zoomed in?

[worthy prairie]

giant sticker sheet jumpscare

[main osprey]

Thats a SEED kit but I cant tell which

[ancient inlet]

can a planets core be hollow while still maintaining its shape and not collapsing in on itself

i need to know this since i am playing a totally scientifically accurate game where you play as dwarves and shoot bugs

[bitter hamlet]

Not really, no. Ignoring all of the other issues, it would collapse due to all the mass pushing down from above. You would need an obscenely strong support structure to resist the sextillions of tons pushing down on it.

[rocky hornet]

Tangentially related: the laws of physics allow for donut shaped planets

It's just that it's super turbo mega unlikely to happen naturally 🐙

[bitter hamlet]

Yeah, I talked about that before. In Relaxed Chat.

[carmine holly]

What is worse to consume too much of? Trans fat? Or sugar?

I have been avoiding the former like the plague (anything with margarine or shortening is off limits) but I still consume a lot of sugar, despite me trying to cut down on it a little, as even healthy foods have natural sugars. I’ve heard that trans fats were banned in the US, so they have to be pretty bad right?

[brave harbor]

You probably shouldnt consume too much of either

[carmine holly]

That’s true

[rocky hornet]

Trans fats are instant artery cloggers

I would eat a fuckload of sugar every day over them

[rocky hornet]

My fellows, Certified Banger Alert https://www.nature.com/articles/s41586-024-07024-9

An AI has been developed to allow for greater control of the plasma ring in a tokamak style fusion reactor

this is the hard to understand actual scientific paper. Nature has not published a dumbed down press release for us yet but a few other websites have

[polar minnow]

Does anyone have a recommendation how I can sort my storage on my computer. One of my drives is getting full and I want to move stuff and just easily see what's taking up space. Any programs or the like that can help with that.

[balmy coral]

So, I've been getting into Algebra 2 recently and I got to factoring polynomials. Is there a proof on why certain factoring strategies work? Like, I know x^2(x-4) + 6(x-4) turns into (x-4)(x^2+6) but... why? It just doesn't make sense in my head why it works. It works sometimes, sure, but I don't know how/when to use it correctly. Is it the distributive property kind of thing, or is it something else?

[brave harbor]

It works because of the way you multiply things

If you multiply out this:
x(a+b)=ax + bx,
Aka you multiply x with every member of the parentheses and put a plus sign in betweem them

So if you have
(x-4)(x²+6), you can treat (x-4) as one number, multiplying each member of the second parentheses and adding a plus im between them
(x-4)(x²+6) = (x-4)x² + 6(x-4).
Factorising is just doing the reverse.

Another example:
Since
(x-4)(x²+6) can also be
(x²+6)x + (-4)(x²+6) = (x²+6)x - 4(x²+6) you can factorise out the (x²+6) back into
(x-4)(x²+6)

[balmy coral]

Oh that makes a lot of sense actually, so it is basically just the distributive property. Thanks, that actually really helps!

[brave harbor]

Np

[worthy prairie]

rising freedom

[polar minnow]

This is not a clade right? Because the subgroup doesn't include the branch next to d, right?

[carmine holly]

anyone who uses Davinci Resolve:

My footage keeps getting corrupted and I keep needing to exit out of the app in order to fix it. This happens consistently. How it gets corrupted is it plays back the same exact clip for every clip in the timeline and it rapidly flashes black. I basically consider this a crash, because, once again, no i know to fix it. It’s driving me nuts because there’s no solution online for my exact problem.

Please, if you know, can you tell me why this is happening or how I can fix it?

[dusk lintel]

https://www.youtube.com/watch?v=ZmO-NDLEC5A

I love how his full title is in every video now

[rocky hornet]

Yes very good

Youtube has this awful feature which cuts video titles if they are too long

And then hovering my mouse above the video doesn't show it!

Terrible 🐙

[rocky hornet]

Hello, cool thing fandom
https://www.nature.com/articles/d41586-024-00333-z

One of the project’s goals is to find fingerprints left in the CMB by gravitational waves that originated from the Big Bang itself. These would provide the first incontrovertible evidence for cosmic inflation, a brief moment in which expansion is thought to have proceeded at an exponential rate. During that time, quantum fluctuations on a microscopic scale are thought to have seeded the Universe with what became its large-scale structure — including the current distribution of clusters of galaxies across space. mad science a few months away

The constriction is set to be concluded in a few weeks 🐙

[river path]

Are fire alarms considered nerdy enough?

[rocky hornet]

https://www.youtube.com/watch?v=mlqpFfxW4ls cool thing cool thing cool thing cool ting

this is a second video. in the first one he built the same automaton but it didn't move very well

The guy in the video talks extensively about greek history and writtings on automata

[rocky hornet]

New cool thing https://www.quantamagazine.org/the-best-qubits-for-quantum-computing-might-just-be-atoms-20240325/

Be notified

[ancient inlet]

first "polarized" image of our galaxy's supermassive black hole.

[rocky hornet]

the definitions of cool thing have been updated https://www.youtube.com/watch?v=v2VKxFhl6Aw

[rocky hornet]

Come observe, cool thing fandom https://www.nature.com/articles/d41586-024-00930-y

[dusk lintel]

https://www.youtube.com/watch?v=EFRUL7vKdU8

yo they animated one of my favourite what if questions

it has one of the funniest answers of any question lmao

if you tried to swim in a nuclear waste pool ||they'd shoot you before you got there||

[rocky hornet]

I have watched all the videos of this series published so far and I have to say:
cool thing cool thing cool thing cool thing cool thing cool thing cool thing cool thin
https://www.youtube.com/playlist?list=PLZioPDnFPNsHnyxfygxA0to4RXv4_jDU2

[rocky hornet]

cool thing fandom, ve notified of cool thing
https://www.quantamagazine.org/dark-energy-may-be-weakening-major-astrophysics-study-finds-20240404/

[rocky hornet]

Read this interesting paragraph I found in a book

Observe this other very interesting paragraph

This implies Saint Augustine thought mathematical truth is independent of god's will

Very interesting

[rocky hornet]

Now that I remembered I remember: I had a friend in high school who had this same idea

He thought god could not be said to be omnipotent as he could not change math

Fun memories 🐙

[dim sage]

I find this fascinating https://www.youtube.com/watch?v=PXmnOnomWVM

[rocky hornet]

cool thing cool thing cool thing cool thin

[normal fog]

https://github.com/loopj/short-stack

this is so cool

@hollow dagger

you can see the ports on the left

[hollow dagger]

so it's a 3.5mm jack... to Gamecube controller port adapter?

[normal fog]

yeah

they're both analogue signals so you can do some cool fuckery

[fallen hollow]

I appreciate that they still made it look like a Wii

[normal fog]

yeah!

[hollow dagger]

i mean, people have made game boy color-sized wiis since quite a while so i'm not THAT surprised

[normal fog]

Also the link contains the full instructions and parts to build your own, very cool this is made public

[bleak grail]

One of those would be great for.my travels

[hollow dagger]

but man that trick to downsize the gamecube controller port is absolutely wild, thanks for sharing!

[fallen hollow]

Lord

Has science gone too far

[hollow dagger]

honestly, that makes me realise how inefficient the Wii main board is

they could have packed components so much closer if it wasn't for the Wii just being a Gamecube 2

[royal turtle]

That looks awesome

Might be a fun side project

[dusk lintel]

ninty hardware modding is so funny

I'm still not over the GBA macro

it's a nintendo DS with the top lopped off

[dull gale]

ive considered making one of these for a cousin of mine as a birthday present

he was real into wiis and gameboys and im sure he would be estatic to have one

same thing with a few others of my friends

[polar minnow]

Scary
https://www.polygon.com/2024/4/20/24134970/discord-arbitration-how-to-opt-out

[dull gale]

yeah i opted out of this earlier

[dusk lintel]

https://youtu.be/MZVs6wF7nC4?si=yoCu1tLlefMuh21t

imagine making a fuckup that survives 5000 years

[rocky hornet]

I am guessing it will be about when the scribe wrote the area wrong in the Rhind papyrus

The soomers and clay tablet are trying to lead me to believe it happened in mesopotamia instead, I won't fall for their deceit

I shall watch the video and find out in 3 hours 🐙

[rocky hornet]

oh no it was not the rhind papyrus scribe error

[dull gale]

.

[rocky hornet]

I wonder what is the most fucked up shape that tiles a plane

I mean a single shape, not a set of freaky fucked up shapes

Maybe it's the Einstein tile

(unrelated to albert einstein)

[dull gale]

not my image but here you go

[rocky hornet]

Reddit is telling me the amogus tiles the plane
https://www.reddit.com/r/theydidthemath/comments/u4o7xc/request_does_the_interlocking_among_us_tile_the/

Insanity

[dull gale]

i forgot the backpack thats what i missed

[rocky hornet]

🐙

[dull gale]

aw yeah

upgrade came in the mail today thatll let me 3d print with 5 colors mid print

[dim sage]

Oooooo

[dull gale]

now to print 2 days worth of parts

[half salmon]

question for you guys
i'm looking into a new graphics card and i was wondering if anyone had any advice or recommendations on a budget cause i have no clue what i'm doing

i already have an amd processor so i'm looking for a matching gpu but that's about as far as my preferences go

right now i have a 480 and i'm not sure how good or bad that is

[normal fog]

standard request for relevant info:
What CPU?
What budget?
What intended use case?

[half salmon]

1. amd ryzen 7 2700x 8-core is what my pc says, so i hope those mean something to you
2. budget is flexible, hoping to not break $200 but it's kind of on a case-by-case basis and i'm willing to break that if it turns out that's so low there's no point in upgrading
3. pretty intensive i think, i play quite a few games (mostly indie, so not quite as demanding, but still), i draw, and i record and edit videos

[normal fog]

There's a GTX480, and an RX480, with about a decade between them :p going to assume the latter

[half salmon]

lol whoops, yeah you're right

[normal fog]

Editing videos is likely the most intensive thing there, so yeah a better gpu wouldn't hurt, not entirely sure what you can get for $200 currently in the US, ik here 1660s are about $140-$150 and would be a decent step up, possibly if you sell your old card can stretch to a gtx2070? (buying used)

I don't really know AMDs budget offerings so I'll leave it to others

the gtx are nvidia rather then amd, but mismatch doesn't really matter

[half salmon]

o7 got it, thanks!

[half salmon]

oh wait am i gonna need like
thermal paste to put on it?

i'm gonna be safe and get some anyways, it's not very expensive

[normal fog]

no

not unless you want to dismantle your gpu to repaste it

strongly advised not to unless you know what you're doing :p

[half salmon]

welp lmao

[dull gale]

and even if you do know what you are doing its not hard to fuck up

shoutout to me for forgetting to remove the peel on a new cpu cooler and wondering why the hell my pc was running at 95c

[dull gale]

rip heatbed cable cover

good thing it was 3d printed and I could easily replace it

context: I set the bed temp too high and melted the cable cover at some point, and I had to get a cable that was threaded through the piece out, so I blasted it with a heat gun, partially melted it, and ripped it into two

[slender cove]

I don't know where else to put these guys but here
I got Warhammer 40k: Dawn of War a couple days ago and I've made a bunch of different Space Marine and Chaos Marine legions using the army painter

[dull gale]

holy shit todd howard

[rocky hornet]

this openly accessible scientific paper with 262 citations teaches you how to be a mega nerd more effectively https://cognitiveresearchjournal.springeropen.com/articles/10.1186/s41235-017-0087-y

in it:
how to use the spacing effect to learn
how to use retrieval testing to learn
how to use interleaving to learn
how to question yourself to learn
and more

[bitter hamlet]

toroidal worlds are fascinating. With how their gravity and tectonics work and how on the inside, you will see the other side of the planet arching overhead, glowing with a bright light of reflected sunlight.

[bitter hamlet]

Gravity also isn't uniform.

[normal fog]

https://noyb.eu/en/chatgpt-provides-false-information-about-people-and-openai-cant-correct-it

[rocky hornet]

new 'eritasium!!!!!
https://www.youtube.com/watch?v=6akmv1bsz1M

about Einstein's field equations and black holes

[half salmon]

i really hate parallel universe theories

veritasium is good tho

[rocky hornet]

What an utter and complete load of bullshit https://www.science.org/content/article/what-philippine-court-ruling-means-transgenic-golden-rice-once-hailed-dietary

For those on the other side of the dispute, the decision “is a monumental win for Filipino farmers and Filipino people,” Greenpeace Southeast Asia campaigner Wilhelmina Pelegrina said in a statement.

Who needs moustache twirling villains when you have Greenpeace campaigning for early childhood malnutrition and against nuclear power?

[rocky hornet]

Economists wrote a book on capping wealth, ignore the theme for a bit https://www.nature.com/articles/d41586-024-01276-1

wealth limit on the order of 10 million euros or US dollars per person. I find this an ultra super intriguing proposal because the people who truly are Greedmaxxing to the extreme would start having absolutely gigantic families so they could still have wealth beyond measure

I find this possible side effect very funny

Elon Musk has like 30 children, and we aren't even wealth capped yet

Personally I woulf put the wealth cap at 100 million dollars because that's the amount I think I would hoard without getting mad if someone was taking the rest off. If I was a gigarich I would be MAD if they capped my wealth at 10 million 🐙

[half salmon]

trueeeee
i think logically the best you could get people to agree to is a 1 billion cap, but 100 million or even 10 million is absolutely enough to live off of in absolute luxury and it SHOULD be capped there

[rocky hornet]

After reading this brief review, I think two oppositions could be brought up:

1. Capping wealth might make the super wealthy greedmaxxers try to take all their money and business to another country that doesn't cap wealth
2. Distributing the wealth might lead to hyper inflation, resulting after time passes in little to no increase in the quality of life of the average person (think about it, the guy that owns the bakery sells a loaf of bread for a dollar, but now he knows people would still have the money to pay if he charged 20 bucks per loaf. Every business in the world would make a similar realization eventually. We can see this happening today by how countries have different costs of living and even in the same country prices for the same products differ wildly by the average income of the place they are being sold at). I recall studies on small scale UBI programs found it didn't raise costs of living or raised them less than the new surplus money of the population. more research is needed 🦑

But also, I think this could lead to more business competing, as now it becomes harder to just buy a poorer business competitor as wealth is capped

🐙

Economy always seems so kongplicated

Also the definition of what is wealth could have wonky effects. Lets say you have 2 million dollars, a million of which are money you hold and a million are part of your net worth as stocks. Suppose your company shoots up in value, and now your stocks are worth twelve times more than they were at the beginning. Now you technically have 13 million dollars of net worth, but you don't actually have that much in money. What to to now? How would the cap be enforced? would the stocks be seized so you get back to 10 million or would it only be applied on money your hold? On the first case a lot of investors would get really MAD at their stocks being seized due to random stock market bullshit while on the second there is now a loophole that let's people dodge the cap by using stocks as essentially a second bank

Maybe seize the stock shares but give them back if they de-value so you always stay at 10 million 🦑

[dull gale]

I dont know why but I imagined a far flung future where dollars are worth so little that the wealth cap is stuck at what is today like 10 usd

[half salmon]

man. yeah. yeah...

[half salmon]

i was personally a little worried about like, the consumer waste that might happen
cause a super wealthy person wouldn't want to give away their money, so they might buy up more houses and cars and start more businesses and dump that money into the stock market
which would be good in terms of industry, but i would worry about all these things that are only being bought to store wealth
idk if that makes sense, correct me if that's nonsense

[rocky hornet]

This is what people who believe in trickle down economics think happens in real life

🐙

They think the mega wealthy are constantly trying to spend all their money at all times with investments

[half salmon]

lol nope
if they are, it's going into themselves and the things that make them money

[rocky hornet]

exciting news DIY semiconductor fandom. a brand new DIY semiconductor video has dropped https://www.youtube.com/watch?v=O7xH9ZSp_B4

rejoice

[rocky hornet]

I found yet another youtube channel trying to make home made semiconductors https://www.youtube.com/@projectsinflight

very nice. DIY semicondutor renaissance

[normal fog]

https://garymarcus.substack.com/p/the-openai-board-was-right

[dusk lintel]

This doodle game is fun

[royal drift]

can someone help me replace my windows 7 for an updated version of Linux?

[rocky hornet]

yeah that's fairly easy

@royal drift which help or assistance do you need

[royal drift]

well i wanted to replace my windows 7 for a Linux so that my computer would run faster

since mine is a used one and like one of those that the "case" is inside the monitor itself

[rocky hornet]

Do you already have a distro in mind? 🐙

[rocky hornet]

@royal drift
I am assuming it is intended to run on old hardware, so I recommend a lightweight distro. Usually lightweight distros are kinda ugly looking but if you don't mind there is Lubuntu: https://lubuntu.me/

Lubuntu is an ubuntu based distribution that comes with the LXQt desktop environment.

But for any distro you choose, you will download an ISO file (for lubuntu, it is right here https://lubuntu.me/downloads/) and you will need to burn it into a bootable USB. You can use rufus for that https://rufus.ie/pt_BR/

Alternatively, if you already have access to a computer running linux, you can do it without installing anything by using command line programs. On the command line, find the path to the usb drive and format it [I don't remember exactly how to do it through the command line but it is possible. Most file managers will let you format a drive as well]. then, you will run the following command:

dd if=[path to iso] of=[path to pendrive, usually /dev/sdb1 if there are no other drives, ALWAYS REMEMBER TO VERIFY THIS] bs=4M status=progress

And then wait as the dd utility writes the contents of the iso file to the pendrive.

Boot through the pendrive, you might need to change BIOS or UEFI settings for this, you will need to knkw which key opens the boot menu (probably F2, F11, F12 or DEL) usually there is an option to boot to the distro, choose it. Then select "install [distro]" or whatever it's called. It's a graphical install wizard that will guide you through the installation.

The important thing comes when it is time to format the hard drive: if you want to completely replace windows, choose "wipe drive and install [os]" or something of the like. You can also install it alongside windows for a dual boot setup

LXQt is very lightweight but also it isn't a lot like windows. If you think the PC can handle it, you could install kubuntu instead https://kubuntu.org/

Kubuntu is also ubuntu-based, but it comes with the plasma desktop environment as well as several KDE applications. The plasma desktop environment is MUCH more windows-like AND pretty, but it's also much heavier. I use it and it, alone, consumes 800 mb of ram by itself. Really old hardware might not be able to handle it

for comparison, the first image is a screenshot of a typical LXQt out-of-the-box appearance while the second is a screenshot of my current setup with KDE

I recommend that, if you plan on using discord on this pc, you immediately install flathub https://flathub.org/ (can be done with "sudo apt install flatpak" on the terminal emulator if you go with an ubuntu-based distro) and then install discord through it (with the command "flatpak install flathub com.discordapp.Discord"). This is because discord from flathub is updated automatically while if you use the dpgk package or the repository versions you might have to manually update it every now and then

flatpak is also convenient to install a bunch of other programs you might want

to update the installed programs on an ubuntu-based system if that is what you want to go with use the following commands on a terminal emulator:

sudo apt update
sudo apt upgrade

to update programs installed through flatpak, you can use:

flatpak update

there most likely are graphical package managers that come with the system that will let you do all of this if you don't want to use the terminal but that tends to be distribution specific

[royal drift]

I guess i should take my computer to a I.T guy to that for me because I'll probably fuck this up somehow

[rocky hornet]

nah it's easy and straightforward 🦑

[dusk lintel]

Does anyone here know music theory, I had brain worms so I made a music theory meme

[dull gale]

was gonna say no youd need to talk to my friends about it, but im realizing I know more than probably most average people lol

[dusk lintel]

I mean I don't know much about music theory, school orchestra was a long time ago

but I know about triple time

(9/8 got kicked out of the family photo for being weird I guess)

[dull gale]

I had a marimba solo that started in 7/8 and switched to 9/8 by the end of it back in highschool band

[dusk lintel]

My condolences

[hollow dagger]

hey there :)

question for all linux nerds, is it possible to use a swap file (on ubuntu) on another drive than the one the system is installed on?

context: I have ubuntu mate 22.04 (i think, don't quote me on that) installed on a 64gb SD card running on a pi 3b+, and I want to use an SSD as an external storage device/swap

[dull gale]

it was actually quite fun to play, but I think I just internalize time signatures quite differently because quite a few people were having issues with coming in at the right times and even playing the right things

[rocky hornet]

chat I have a brand new interpretation on the iconic Socratic dialogues "Sophist" and "Statesman"

I think Plato made it so a visiting philosopher rather than socrates is the one having the conversation with Theaetetus because the guy clearly knows stuff while Socrates whole Gimmick is not knowing stuff

Clever Plato

[dull gale]

Thinking about how numbers that have digits that when added are divisible by 3 or 9, and how the whole number itself is then divisible by 3 or 9

but thinking in a base 9 counting system I believe 4 would also fit that bill

[rocky hornet]

This is a good video https://youtu.be/Ozj_xU0rSyY

In this video featured:
An explanation of vector instructions
An explanation of RISC-V
A review of a RISC-V development board which features a processor with support for vector instructions
An explanation of why this is a big deal
Occasional references to the anime: "Serial Experiments: Lain"

[slender cove]

https://en.m.wikipedia.org/wiki/Corporal_Jackie

[charred acorn]

Have I never read the book series these guys are from? No. Did my 10 old self want them anyways? Yes. Will get the last three to complete the set? ABSOLUTELY

[hazy night]

Anyone want to take a crack at explaining this anomaly?

[dusk lintel]

Was that photo taken through a window?

[hazy night]

No

[thorn quiver]

can someone help me with an audio issue on my PC? I'm only hearing audio through the left side of my headphones

however, all tests in windows have both sides working

but literally anything besides a headphone test and I only hear through one ear

this has me so confused now

welp as soon as I ask for help I find the issue

lmao

[dull gale]

lol

as it goes in the realm of audio issues

[half salmon]

WINGS OF FIRE SPOTTED
these are wonderful thank you for sharing

peril, starflight, tsunami, clay, and glory, right? or has my ancient knowledge failed me

which means sunny is missing
unless they're just supposed to be the species and not specific characters, which means you're missing a sandwing (sunny), an icewing, and whichever one i can't remember

i stopped keeping up with the series about the time they introduced the new continent with the three or so new species

[dire basin]

Hey i need some pc advice

So I’m preparing to buy my first pc, and i’m getting it premade because i dont trust myself

Is digitalstorm a reliable pc building website?

Or is there a better website i can go to?

I live in the US if that’s a factor btw

[dull gale]

the only one ive had experience with was Microcenter

which may or may not be around where you are at

from what I hear about digital storm though is its not bad

you can find cheaper though typically, compared to what Im seeing on their website

[hollow dagger]

microcenter is pretty good if you have no alternatives

[half salmon]

technically anything is pretty good if you have no alternatives

[rocky hornet]

https://en.wikipedia.org/wiki/Hyperreal_number look at this cool thing

Home of: infinitesimals

Hyperreal numbers are one of the ways of doing non-standard analysis (the other one being Internal Set Theory)

non standard analysis seems so interesting 🐙

[bitter hamlet]

I love Infinitesimals.

[rocky hornet]

Wikipedia claims that research agrees with my opinion

very nice 🐙

Calculus Made Easy, me favorite Calc 1 textbook, is based entirely on infinitesimals and it is absurdly intuitive

I think "getting it" with infinitesimals also made me better at getting it with limits

[rocky hornet]

For any finite hyperreal number x, the standard part, st(x), is defined as the unique closest real number to x; it necessarily differs from x only infinitesimally. The standard part function can also be defined for infinite hyperreal numbers as follows: If x is a positive infinite hyperreal number, set st(x) to be the extended real number + ∞ {\displaystyle +\infty }, and likewise, if x is a negative infinite hyperreal number, set st(x) to be − ∞ {\displaystyle -\infty } (the idea is that an infinite hyperreal number should be smaller than the "true" absolute infinity but closer to it than any real number is).

The standard part function is how we can differentiate with infinitesimals. Very good and pure, I do not like this extension to the infinities thoe

infinity is not a number silly 'athematicians! 🐙

jesting here, as I know it must be expandable and consistent as very clever people have proven this is true
I don't like it though

The use of the standard part in the definition of the derivative is a rigorous alternative to the traditional practice of neglecting the square tis how it is done in calculus made easy

we neglect the 'quared infinitesimals

[bitter hamlet]

Infinity (specifically Countable Infinity) is a number that describes the cardinality of the set of Natural Numbers.

But there is nothing between ℵ(n), for any ordinal number n, and ℵ(n+1). ℵ(n+1) is the powerset of ℵ(n), thus, there is nothing between ℵ(n) and 2^ℵ(n)

[rocky hornet]

good and old continuum hypothesis

[bitter hamlet]

It just isn't a Real number. It is its own class of numbers.

But it is still a number. As I see it.

[rocky hornet]

I remembered something about the continuum hypothesis that was mentioned in my discrete mathematics class

I recall some guy and Gödel proved that the continuum hypothesis can not be proved, and that assuming it as true or false will lead to equally consistent (but different) versions of set theory

[bitter hamlet]

Gordel

[rocky hornet]

I wonder what the set theory that assumes it as false (that is, there is a set with a cardinality between that of the naturals and reals) is like

[rocky hornet]

The guy was Paul Cohen and Gödel just verified the proof was valid

[dusk lintel]

This colouring book is so good

[bitter hamlet]

Neat.

Colouring skin.

[rocky hornet]

cool book

[dusk lintel]

https://www.youtube.com/watch?v=_hjRvZYkAgA

still one of the funniest fucking videos on all of youtube

the title is not clickbait.

[bitter hamlet]

Jan Misali is great.

[rocky hornet]

It's free https://en.m.wikipedia.org/wiki/Elementary_Calculus:_An_Infinitesimal_Approach

might take a look later (in several months)

Keisler also published a companion book, Foundations of Infinitesimal Calculus, for instructors, which covers the foundational material in more depth. oh my 🐙

[rapid seal]

https://scryfall.com/search?q=set%3Altr+frame%3Ashowcase&unique=art&as=grid&order=name&dir=

The ring showcase frame cards are gorgeous. Not really a fan of the scroll one with the black side bars

Some of these are just awesome in foil

[rapid seal]

Like this one

And a couple of others

[wary fjord]

cpp has to be the worst programming language ever invented

its like someone looked at everything that other programming languages had and went

okay what if we did this

but Bad

iterators are absolutely awful and its like how the fuck did you fuck up such a simple concept

actually the most convoluted shit ever

templates are egregious and honestly laughable

every single thing they add is just awful the language is beyond salvageable

[trim vault]

yeah I'm not a c++ fan

a lot of my friends are for some reason

I think c# is just objectively better tbh

[wary fjord]

they added fucking

[trim vault]

Lua kind of stinks for this reason as well

[wary fjord]

before they added pi to the standard library

[wary fjord]

lua doesn't have literally anything

[trim vault]

thanks michaelsoft

[wary fjord]

i think c# is a better language than c++ and its not even close

but also

oop is a lie

[trim vault]

I probably have bias towards c# because I use it a lot

[wary fjord]

it honestly only makes sense in like

game dev

in literally every other scenario it is absolute junk

inefficient, convoluted, very limiting, doesn't work well if you have multiple libraries, etc

[trim vault]

yeah

I use python for a lot of applications because sometimes I just can't be bothered to worry about classes and stuff

there are times where you just need a program to work and that's it

[wary fjord]

i want to use rust so badly but im using qt

and setting up bindings is so fucking annoyin

its become my favorite language by far

its like c++ but if you replaced garbage with good

god i love rust

one of my least favorite features of any language is like

magic syntax

syntax that doesn't really follow any intuitive rules

oh you need a semicolon there, that can't go there

rust has such a simple base and it's great bc thats all it needs

[rocky hornet]

counterpoint: c++ isn't convoluted enough

[rocky hornet]

Terrence Tao's blogpost on smooth infinitesimals, a kind of analysis with infinitesimals developed by a guy named Skolem https://terrytao.wordpress.com/2012/04/02/a-cheap-version-of-nonstandard-analysis/

This is distinct from the non standard analysis developed by Abraham Robinson, which relies on hyperreal numbers [which rely on Model Theory]) and by Edward Nelson's IST, which relies on ZFC set theory

Skolem's analysis does two interesting things:
It doesn't use the law of the excluded middle ever

For this reason, I think it might be more compatible with constructivist mathematics than the two mentioned before

I find it so intriguing that there are so many ways of accomplishing the same things in mathematics 🐙

[bitter hamlet]

You obviously haven't seen Malbolge

[dusty swan]

https://twitter.com/BenCSRobinson/status/1801263453526471076
https://twitter.com/BenCSRobinson/status/1801263456298905788
https://twitter.com/BenCSRobinson/status/1801263458148638881

Ben Robinson (@BenCSRobinson) on X

This is a bit of a day for me. In a matter of hours https://t.co/p1e6VAQf2A will launch their final sale for Eaglemoss ships. When they’re gone that will be it. There’s all sorts of Star Trek stuff in the offing for me, but the Eaglemoss ships will be done. I started work…

Twitter · Jun 13, 2024, 2:40 PM

Ben Robinson (@BenCSRobinson) on X

... on this project 15 or 16 years ago. I always had a good feeling about it, but I didn’t dream it would be so long or that we would do SO MANY ships. I think we did over 400. That’s quite a thing. It’s been a real privilege and I’m taking a moment to think about it.

Twitter · Jun 13, 2024, 2:40 PM

Ben Robinson (@BenCSRobinson) on X

It’s nice to think that it’s made people happy and earned me a little place in Trek’s history. There are some really exciting things on the horizon for me and lots of them involve Star Trek so I’m not sad exactly, but, well, it’s the end of an era.

Twitter · Jun 13, 2024, 2:40 PM

[wary fjord]

ik malbolge

at least it has a design philosophy

[bitter hamlet]

I personally like C++. But I mostly do game design, so of course I like it.

I work in Python and C++.

[wary fjord]

i just don't understand how you can enjoy it

there are literally no safety guarantees

you can achieve ub with

u = (u++);

header files are stupid and outdated

why does the compiler not error if you don't return something from a function???

msvc fucking sucks but

[bitter hamlet]

I am just used to code being annoying.

[rocky hornet]

The C++ fandom I have seen tells you that you, from the beginning, need to choose all features of C++ you want to use and then you pretend all the other ones do not exist

[wary fjord]

yeah

honestly i think the issue is like

fundemental

c is literally half a century hold

and c++ is only slightly younger than that

so both of these languages originate from a time when compilers were a lot stupider and shifted more of the responsibility on the programmer

[half salmon]

as someone who only programs when i need to make a game, i feel like there are a lot of weird-ass programming languages out there that make no sense now but were invented for some very specific purpose
so only the people using it for that purpose will like it, and everyone else will tell me it's nuts

[wary fjord]

i mean c and c++ are not

very specific languages

[wary fjord]

also like i forgot to mention this but c++ also has an issue where its not very modular

ig most oop languages are like this but

like including a bunch of other libraries is very rare and even weird

which results in a lot of boilerplate

it results in this whole system where you usually import maybe a few giant bundles of shit like boost

or using what is already provided by the framework you're using or whatnot

which just results in a whoooole lot of reinventing the wheel

in rust, if i want a specific data structure, i can search on cargo for it and its super easy

[wary fjord]

https://lunarwatcher.github.io/posts/2024/04/19/how-to-fix-stack-overflow-and-why-its-probably-not-going-to-happen.html

[minor mortar]

ok so I've been reading this book I got yesterday, this is the first page

[wary fjord]

house of leaves?

[minor mortar]

Yup

[rocky hornet]

new cool kongtent https://www.youtube.com/watch?v=UIqhpxul_og

the 3d printer prints nylon with little copper particles in it. when you blast it with a pulse laser the copper particles get together and make neat copper trays where the laser blasted

[dusty swan]

https://twitter.com/jacobrintamaki/status/1802469536907903159

Jacob Rintamaki (@jacobrintamaki) on X

Free alpha for semiconductor people, this is one of the grad textbooks we use (free to download, 2024): https://t.co/nPwxwv8nhf

Twitter · Jun 16, 2024, 10:33 PM

[rocky hornet]

semiconductor fabrication!!!!!!!!!!!!!!!!!!!!!!!!!

[rocky hornet]

Science says the things I want to hear https://andymatuschak.org/prompts/Karpicke2011.pdf

Blessed be flashcards 🦑

[half salmon]

i actually remember hearing a study strategy that lines up with that idea
the thought was that when you're writing down notes during a lecture, your attention is split between writing and listening, so you're only gaining half the benefit (if that) from each source
so the idea is to not take notes during the lecture, and then when class is over, immediately write down as much as you can remember about it, no references to guide you. then later, pull open the textbook and your recall notes, and fill in any missing information in the latter with information from the former
i never did this because i never had the time between classes and adhd kills my memory game anyways
but it sounded much more appealing in theory than traditional studying, which was also impossible due to the aforementioned adhd
basically adhd is a lose-lose in school
anyways, the article made me think of that again

[rocky hornet]

The testing effect (this where we actively try to recall the information) has been known to be great for recalling information for a long time
https://en.wikipedia.org/wiki/Testing_effect

What is super interesting about this paper, which is the thing I want to hear, is that it is claimed studying based on the testing effect (in this case, by making notes by recalling the material after reading it rather than by making them while reading) that this recalling method provides greater comprehension and fluidity in the subject than just reading or than more effortful methods, rather than just making you remember the facta without actually knowing what it means

This is great news for me in particular, as I have been doing all my studying in the past while by making flashcards on Anki 🐙

[rocky hornet]

So, I also have ADHD and I have managed to make a thing like this work, it involves the aforementioned flashcards on anki.

What I am doing is different than what the study did and what you mentioned, in that I am making my flashcards while I study (not a way in hell I would be able to sit and make them after studying lol I would procrastinate that to death) rather than making them from memory after I study, which would be more akin to the paper. I have found this to strike a really weird and sweet spot, where I am now paying more attention to the text so I can make the damn flashcards, I also have to think about how to turn what I am reading on the textbook into a good card (the card can't be too long, too verbose, too weirdly written or I will forget it etc etc etc), which makes me actively think about the content and break it into simpler easier to understand and remember parts, in a way, I feel less bored reading the text as there is now this active component to it.

This is different from what is done in the paper, but I am still using the testing effect, as anki will show me the card I made and I have to actively recall (as the nerds call it) the answer. Anki also makes use of the spacing effect, which is a bonus (essentially it has been discovered you remember things better if you break your study time into multiple spaced sessions rather than doing it all at once).

It has thus far been great, I went from sucking in all my classes to being amongst the top student in several of them. I am also using it to learn more about math on my free time and it has allowed me to keep the knowledge of several concepts sharp for months, if I try solving exercises on a topic I haven't practiced in months I can still do it, while before I would forget it all not even 3 weeks after. It has been great, I definitely recommend anki

[half salmon]

oh hey that's awesome

i just graduated high school like, yesterday, but if i end up going to college i'll keep that in mind

[bitter hamlet]

Did you get anywhere on your Quantum Mechanics research?

[dusty swan]

https://frame.work/gb/en/blog/introducing-a-new-risc-v-mainboard-from-deepcomputing

👀

https://twitter.com/FrameworkPuter/status/1803073022372532303

Framework (@FrameworkPuter) on X

In case you're wondering what it looks like, here is an early peek at prototype board bring-up on Debian.

Twitter · Jun 18, 2024, 2:31 PM

[half salmon]

not really 😔 it's still on my to-do list i just got busy and this month has been hellish

[bitter hamlet]

Smh /lh

[half salmon]

i have a bad habit of starting projects and then immediately failing to finish them until months later when i pick them up again
this is normal, i expect to learn basic quantum mechanics in approximately 5 years /j

[bitter hamlet]

Smh again.

[trim vault]

Framework is very cool but the stuff is a bit expensive

not saying it's unjustified or anything

but it's a high bar of entry

[wary fjord]

holy shit i hate c++ how did someone come up with something so bad

why does find return an iterator??? in what world do i need an iterator???

why is nothing lazy???

[rocky hornet]

Quoth strostrooupe: "I need object orientation in my C!!!!"

[wary fjord]

c++ devs really went god what if we completely fucked over this thing that literally every other programming language has done flawlessly

just absolutely butchered it

and then made it super complicated to use

why the fuck even bother with iterators if they're literally just pointers

but with an end

except they don't even prevent you from going past the end

[rocky hornet]

bamger

[rocky hornet]

wait this is actually stupid

What

[wary fjord]

YEA LOL

[rocky hornet]

why wouldn't they do that if they bothered to make them bounded

[wary fjord]

instead of doing like

[rocky hornet]

Fortran had it right all along

[wary fjord]

good fucking luck trying to implement this

but in c++

you have to do

for (auto it = items.begin(); it != items.end(); ++it) {
}

they sugared it to

for (auto x : items) {
  std::cout << x; // Print value of each element 'x' of 'items'.
}

in c++11

but its still just fucking bad

[rocky hornet]

my up and coming object oriented programming class will most likely use java 🐙

hope it is better maybe perhaps

[wary fjord]

unironically i hate java

its better than this

java generics may not even be generic but its fucking better than templates

[rocky hornet]

tell me more about the templates

[wary fjord]

holy shit they're so bad

so u know java generics

and lik

generics in every language

in c++, generics are like that except Bad

they're basically just expanded at compile time

so if you have

template <typename T>
class Vector {
  T* head;
  size_t cap;
  size_t len;
}

and you create a Vector<int>, it just replaces T* with int* and etc

which isn't super uncommon to do (rust does it too) but bc of c++

it has a bunch of dumb restrictions

people hate to call it just macros but its basically a macro

just with some typechecking

like normally you separate your actual cpp source files and header files

YOU CAN'T DO THAT WITH TEMPLATES LOL (kind of)

IT ALL HAS TO BE IN ONE FILE

[rocky hornet]

I was gonna say that but didn't because I thought I would come off as a dumb philistine lol

It reminded me a bit of C's "generics" which are actually just macros

[wary fjord]

yeah its just htat but lik

built into the compiler

as i said its not super uncommon for this to be done, rust does it but its actually Good in rust

also the thing about iterators is that bc they're basically just glorified pointers they lack a lot of like

shit that iterators are used for in other languages

u dont have like adapters or things like

iterator.map, iterator.filter, etc

they are basically just pointers with a range

i made a circular buffer for this thing and guess what

i can't actually represent it using an iterator

[wary fjord]

actually thats kind of a lie

but its just done

Poorly

https://en.cppreference.com/w/cpp/algorithm/transform

[fervent flume]

Oh yeah, I got this book a while back https://opencircuitsbook.com/

Looks neat

[dusty swan]

how is it?

I've been eyeing it for a while

[fervent flume]

I like it quite a bit, you can see the first chapter over here https://nostarch.com/open-circuits

[main osprey]

I am now this much closer to gaming

[dull gale]

gaming soon™️

[main osprey]

Turns out the processor I got isnt compatible with the motherboard I was planning on getting, so I have to return it and get a compatible one

Need a 7000 series when I got a 5000 series

It was a really good deal too...

[main osprey]

That is, it was presented as a good deal

But in retrospect I was buying it for what itd initially be

[main osprey]

I have gotten the one I needed now so

Gaming can commence

[main osprey]

My horde grows

[rocky hornet]

no fun allowed https://spectrum.ieee.org/high-assay-low-enriched-uranium

Centrifuges arranged very painstakingly into cascades are the standard means of enriching uranium to bomb-grade material, and they require scarce and costly resources, expertise, and materials to operate. In fact, the difficulty of building and operating such cascades on an industrial scale has for decades served as an effective barrier to would-be builders of nuclear weapons. very funnily we have capable centrifuges in brazil which we developed and built ourselves

There was allegedly a secret nuclear weapons developed program in the 70's and now the centrifuges now make the fuel for our two power plants and for our nuclear submarine

Once we struck a deal with Iran and turkey in which we would sell them fully enriched energy grade uranium to iran and turkey would dispose of it

The united states of america did not like this plan 🐙

[rocky hornet]

new attempt new attempt
https://spectrum.ieee.org/jeff-hawkins

highlight

Deep networks essentially generate a single model of the world, processing data step by step from simple features to complex objects, Numenta researchers have argued. In contrast, the company’s “thousand brains theory of intelligence” proposes that the brain’s many cortical columns generate multiple maps of the world, as if each human brain was actually thousands of brains working in parallel simultaneously.```

[rocky hornet]

Back on this: personally I think we should look into producing mixed oxide fuel from spent fuel. Very conveniently, France does that, we should strike a deal with them so they teach us how to good

[half salmon]

ah yes, it's the terrorist bombs we need to worry about, and not the ones basically every major country has stashed away

[dull gale]

I mean I would argue that a major country has much more of a reason not to launch a nuclear warhead

if a terrorist group were to fissile out, they could just use it as a last resort, which is kinda shitty

[half salmon]

yeah exactly

[polar minnow]

https://www.youtube.com/watch?v=-llumS2rA8I

[rocky hornet]

moon rock moon rock moon rock moon rock moon rock moon rock moon rock mo https://www.nature.com/articles/d41586-024-02101-5

[normal fog]

moon rock moon rock!

[trim vault]

moon rock moon rock

[dusk lintel]

https://www.youtube.com/watch?v=-llumS2rA8I

[bitter hamlet]

https://youtu.be/JheGL6uSF-4

Another interesting Wikipedia video.

[rocky hornet]

Yeah the Fantakuchen incident

[rocky hornet]

a short video on lambda calculus and how it is turing complete and also how to make the things you know and love in programming languages with ti https://www.youtube.com/watch?v=ViPNHMSUcog

pretty cool innit?

[ancient inlet]

ok, nerdy question time. how do fiction movies/books come up with fake languages? yknow how stuff like star wars, dune, or lord of the rings have languages for non human species or other cultures. but how do the people behind this stuff make those languages?

[dusk lintel]

that's called a conlang

and you make a conlang by being a huge fucking nerd about linguistics

(that is not necessary but like, some conlangs are clearly very nerdy)

jrr tolkien was nuts about his languages

[bitter hamlet]

Very long story, it is a long and complex process.

But for Star Wars, it is just making up a bunch of words with no meaning. They aren't real conlangs, as they have no true corpus or grammar.

[rocky hornet]

if you want to make your own fake language there are a handful of books so you can learn how to make your own fake language. No previous linguistics knowledge required

[rocky hornet]

Quanta magazine on tilling
https://www.quantamagazine.org/what-can-tiling-patterns-teach-us-20240703/

Article largely about quasicrystals and their existence

Tiling (pure mathematics detached from the real world) ended up being useful at predicting and explaining a real thing that happens (quasicrystals)

Pretty cool innit?

[trim vault]

they also ended up being useful in bathrooms

[rocky hornet]

cool thing https://www.nature.com/articles/d41586-024-02146-6

[worthy prairie]

I built a guy and made him do a funny pose

[limpid arrow]

I should be active here.

[ancient inlet]

is it true that one of jupiters moons, europa, might contain a water ocean under its surface?

[dull gale]

yes it is believed that may be so

not necessarily confirmed though, but given how the ice volcanos and tidal forces from Jupiter lead to it possibly being a thing

also #1181590313203146874 maybe

[rocky hornet]

https://www.quantamagazine.org/sensational-proof-delivers-new-insights-into-prime-numbers-20240715/

Hey I saw this guy in a numberphile video

[rocky hornet]

he was involved with this

He was in a numberphile video talking about his research which won him the fields medal

[bitter hamlet]

Which video?

Can you link?

[rocky hornet]

Sure

His research that won the fields medal: https://youtu.be/1LoSV1sjZFI

The interview he gavw after winning: https://youtu.be/eupAXdWPvX8

He also has one talking about the twin prime conjecture

[bitter hamlet]

Thanks!

[rocky hornet]

I have been thinking about the Banach-Tarski paradox

It's a consequence of the axiom of choice and I find this most interesting

It reminds me a bit of a fragment from Rudolf Carnap I read in which he says that the predictions of mathematics do not necessarily hold true for the empirical world and are also subject empirical verification

It exemplifies that very well as math made a prediction (there is a way of splitting a sphere and then re assembling it to get two spheres of same volume as the original) and this prediction doesn't necessarily hold for the physical world

Pretty cool isn't it

[minor mortar]

https://youtu.be/cZqDk8hNpjQ?si=4F304FnUZdIw3w3X

listened to this while reading House of Leaves

in my bed, with a lamp on, and my door closed was just the perfect storm of anxiety

Cause this is my view

for context my bedroom is a lil under 3m by 2.5m

[sour tide]

https://media.discordapp.net/attachments/543171911530709004/987284093978955836/150B888B-C736-4219-A303-DBAB3A8A736A.jpg?ex=669d7a36&is=669c28b6&hm=9ce82aa59e0aceb7adcaea8f0744fbacfc6628fdac3d1acb2f1ef0c9f4aff775&

If any cartography/history nerds want to try and help me find the date of this map, it would be greatly appreciated

We have managed to narrow it down between the summer of 1881 and the autumn of 1885

But I feel like it can be more specific

[rocky hornet]

Ayy germany still has prussia in this map

Crazy

[thorn quiver]

I don't know the history very well but the detail I notice is unified Italy, Ottomans have Northern Greece still

Germany has Alsace-Lorraine so definitely post Franco-Prussian War

[rocky hornet]

Awaken, cool thing community
https://www.quantamagazine.org/the-physics-of-cold-water-may-have-jump-started-complex-life-20240724/

Summarized: they think the fluid dynamics of cold sea water made larger organisms more fit

[rocky hornet]

cool cool cool https://www.youtube.com/watch?v=qT8NyyRgLDQ

[dusk lintel]

Look how LITTLE this thing is

[rocky hornet]

brand new happenings on the home made semiconductor fabrication fandom: https://www.youtube.com/watch?v=RuVS7MsQk4Y

in this video: the construction of a photolitography machine

[rigid flame]

does anyone here get this joke?

[dull gale]

I understand much about 3d printers, what i dont understand is pokemon

[ember hearth]

Had this fellow arrive, it's very cool. Love my Warcraft

[bitter hamlet]

Oooh, cool.

Is it brass?

[dull gale]

that looks cool

especially like the base for it

[sour tide]

That looks pretty neat

[mint quail]

Oooh, thats awesome! Is this supposed to be any specific dwarf?

[bitter hamlet]

We aren't supposed to @ping RT.

[mint quail]

It says for no reason

Getting excited about a cool wow statue and asking a question about it is a reason

[fallen hollow]

How do y’all tell if it’s ping on reply

[bitter hamlet]

It has an @, near the name.

[fallen hollow]

Oh

[fallen hollow]

Lemme see

Oh yeah

It does

Neato

[ember hearth]

Just a general Dwarf I think!

Been a bit since my Wow lore haah

[mint quail]

Ah, I see. I keep thinking I should be recognising that hammer. But I tried searching for it online and couldn't find any details.

[limpid arrow]

Hey nerd forum. So non-reactive surfaces are one material for said use(?), how do they change the colour for identification purposes or other uses?

[fallen hollow]

Finally reading lotr and the hobbit

I also got the samarillion because it matches with the other books but I plan on reading it as well

Honestly very excited

I’ve seen the movies of lotr

And the animated hobbit movie

Cus I know the hobbit movie trilogy are viewed as one of the worst retelling of Tolkien’s hobbit in existence

I’m already amazed at the world building

I open the hobbit to see a full cipher for dwarvish

[fallen hollow]

That’s so detailed

And it even has notes of where to find the lore explanations for why some things are like that in the books

Like it had a note as to why dwarvish is the defacto language saying it’s explained in lord of the rings page whatever

Already in love with it

[bitter hamlet]

Yeah, they really stretched them out. 3 long films for a pretty short book.

[fallen hollow]

Also goblins aren’t a thing how they’re presented in the movies

[bitter hamlet]

Also very heavy amounts of CGI, compared to LotR, which only used CGI when it had to.

[fallen hollow]

From my knowledge

[fallen hollow]

That’s dumb

Was the balrog in the lotr movies cgi?

[bitter hamlet]

Like, they used CGI to make the Hobbits look small.

[bitter hamlet]

Believe so. That would be hard to do with practical effects.

But things like the Hobbits being small was all practical effects.

[fallen hollow]

Also if a balrog is a corrupted naia or whatever does that mean that suraman would’ve eventually become a balrog

[bitter hamlet]

If he wants to.

[fallen hollow]

Yeah I feel like cgi is often times detailed enough to look real but you can just tell it’s cgi

[bitter hamlet]

Like this

[fallen hollow]

Like it’s hard to explain but there’s just some amount of uncannyness

[fallen hollow]

Interesting

[bitter hamlet]

But in the Hobbit it was this

And yes, that is Ian McKellen having a breakdown from it.

[fallen hollow]

Oh Jesus Christ

That is so much

The shire was already built like just use it

[bitter hamlet]

It was not good for his mental health. But at least he talked about how they were nice to him and comforted him and gave him a break when he got overly stressed.

But still ultimately said it was a miserable experience.

[fallen hollow]

I’d be overstressed if I went from getting to feel like I am Gandalf to feeling like a street magician too

[bitter hamlet]

Also, more light fact, he is gay and actually was a major gay rights activist in the late 20th century.

[fallen hollow]

Holy based

Now I love Gandalf even more

Gandalf is gay

[bitter hamlet]

Ian McKellen at a LGBT Rally in 2010.

[fallen hollow]

Holy shit that’s awesome

Gandalf is my favorite gay rights activist

[bitter hamlet]

https://youtube.com/shorts/ZWrKZnXaLew

Only video I can find of his struggles with the green screen.

Like, I already didn't like how Green Screened it was. But this makes me dislike it even more.

[fallen hollow]

Christ

That sucks eggs

[dull gale]

hmmm what if I buy a cpu cooler for the price of the rest of the pc

[fallen hollow]

temps so low youd think your computers dead

[dull gale]

I doubt it, i think its just extreme price gouging for a branded product

[fallen hollow]

Fair

[rocky hornet]

hello math fandom https://www.quantamagazine.org/groups-underpin-modern-math-heres-how-they-work-20240906/

new quanta kino

[worthy prairie]

pop quiz!
who is this man?
a. Slime Lord
b. Aqua Sorcerer
c. Frog Master
d. Green Wizard

[fallen hollow]

its pepo

[worthy prairie]

pepor

[rocky hornet]

Yesterday while doing my math homework in which I had to prove that |N| = |N × N| I found a cool bijective function from NN to N

The function is:
f(x,y) = {[(x+y - 2)(x + y -1)]/2} + y

My idea to find this was based on the diagonal argument used to prove that |N| = |NN|. Hard to explain in wordes but after that I had to find it's inverse

To find it's inverse, I realized that a full diagonal of the diagonal argument AND the diagonals that came before them formed triangular numbers and also that triangular numbers are just Tz = [z(z+1)]/2
You may recognize this as the formula for summing the terms of an arithmetic progression that takes steps of 1.

After that, I got that 0 = z² + z - 2Tk
This follows from the formula above. It's a quadratic equation and 2Tk is just a number, so I thought about just using the quadratic formula getting:
[- 1 ± √(8z +1)]/2
Through trial and error (very mathematical I know), I found out that if I take the absolute value of the floor of the negative root I'd get the "index" of the closest greater triangular number for any natural z

The same happens if I take the positive root, but I get the index of the closest smallest triangular number instead

I will call those formulas
+T(x) and -T(x) to make my life easier.
Let K(x) be the function that takes a natural number and returns the triangular number of that index

The inverse function is
g(x) = (x - K(+T(x)), K(-T(x))- x)

After finding this out, I went to look it up and I discovered that this is pretty much the exact same function and it's inverse that Cantor found all the way back in XIX

Really cool stuff. The joy o'mathematic

Also the function and it's inverse could work as a Hash function for storing things in a 2D array and getting back a single number as a key and giving the key and getting back a position in the array, if that's a thing you care about 🐙

It wouldn't be a good hash function as it has all of the undesirable characteristics a hash function could have but it would be a hash function nonetheless 🦑

[rocky hornet]

cool video on photomultipliers by Huygens Optics https://www.youtube.com/watch?v=5V8VCFkAd0A

this channel is very cool, he ocasionally makes lenses. I recall he was a Zeiss emplyee for a while

[rocky hornet]

cool shit cool shit cool shit cool shit https://www.nature.com/articles/d41586-024-03127-5

cool stuff if thee will

[paper patio]

pals

[polar minnow]

I'm in precalc. Finding roots of polynomials. I know quadratic method, factoring, and synthetic division. Descartes rules of signs and findings all possible answers. Besides this information what else is there to help find roots. I was talking to someone and they mentioned there was other ways.

[rocky hornet]

There is the binot-ruffini algorithm for some special polynomials

Even tho it's called an algorithm, you do it by hand

hold on, it seems that it is just a special case of synthetic division

[polar minnow]

Interesting I'll look it up

This looks too good to be true (but it is)

[polar minnow]

https://math.vanderbilt.edu/schectex/courses/cubic/

This ties back to finding roots

There is a general formula to find roots. Everyone knows Quadratic formula, then there's Cubic and Quartic formulas as well

However no Quintic (5) formula

[fallen hollow]

Miku headphones

[thorn quiver]

Iirc the cubic and quartic formulae are not nearly as simple

[rocky hornet]

Computer algebra system these days find roots of polynomials by factoring them. Many a complicated and fast polynomial factoring algorithms have been developed

[thorn quiver]

fair, although the math that computers use is definitely not always math you want to do by hand

[rocky hornet]

yup

[rocky hornet]

new content home made semiconductor fabrication fandom https://www.youtube.com/watch?v=1dFj-tGn8DI

[alpine folio]

Funny spinning tops :>
(Greatest Raphael & Savior Valkery)
I’m excited to finally get the V-gear

[rocky hornet]

on calculus made easy the author introduces us to this by telling us to neglect infinitesimals raised to higher values https://en.wikipedia.org/wiki/Transcendental_law_of_homogeneity

Leibniz's calculus is really cool. I want to learn more about it

[bitter hamlet]

Ngangikurrunggurr language

Longest language name I have come across so far.

It is an Australian Aboriginal language.

[rocky hornet]

Tell me moer

pls

Do the Australian aboriginal languages have a fancy family name or are they just called that?

OR, are there many Australian aboriginal families

I recall that there were many family languages of indigenous Brazilians languages. These days most of the indigenous people speak a language related to Tupi-Guarani

[bitter hamlet]

There are multiple families. But most are Pama-Nyungan

The yellow is Pama-Nyungan.

[rocky hornet]

o

Are they noticeably related to each other or are they completely distinct

[bitter hamlet]

There is a notable sprachbund amongst the families.

They share features due to areal sharing of features.

Fun fact, Mbabaram has the same word for dog as English. No, it is not a loan word. It has been traced back to the proto-language via consistent sound changes, and has shown to be a cognate with other related languages.

Descends from *Gudaga.

@rocky hornet

Ngan'gikurunggurr is currently considered an isolate, btw. But it is theorized to maybe be in the hypothetical Southern Daly family.

Ngan'gikurunggurr only has 31 lexical verbs.

Which is combined with a large collection of converbs to make more complex verbal statements.

[rocky hornet]

That's pretty cool

Are the languages agglutinative like german and finish?

[bitter hamlet]

Pama-Nyungan are typical agglutinating yeah.

Not sure about the other families.

[rocky hornet]

intriguing

[bitter hamlet]

Dyirbal is a fascinating language.

Their noun class system is as follows:

I – most animate objects, men
II – women, water, fire, violence, and exceptional animals[10]
III – edible fruit and vegetables
IV – miscellaneous (includes things not classifiable in the first three)

[dusk lintel]

The four genders

[bitter hamlet]

You also had to speak a different language around cross-cousins of the opposite sex, and your in-laws.

And couldn't speak directly to them or look at them.

[bitter hamlet]

I mean, it is essentially a grammatical gender system, yeah. if I understand it all correctly.

[bitter hamlet]

The language is called Dyalŋuy, and it has the same grammar as Dyirbal, but no shared vocabulary.

It also has way less vocabulary, sot you need to use a lot of semantic tricks and be clever to communicate your ideas properly.

[bitter hamlet]

@rocky hornet @dusk lintel

[rocky hornet]

I remember hearing about some bantu african languages that had a special grammatical gender for plants

[bitter hamlet]

A lot of Bantu languages have a huge amount of noun classes.

[rocky hornet]

as part o'my scientific methodology class I have been tasked with writing a systematic review of this https://aws.amazon.com/what-is/retrieval-augmented-generation/ for a professor who wanted a systematic review of this

cool stuff

I was tasked with a review of this for the retrieval of data from technical manuals. the same professor tasked another student with this for legal documents

[rocky hornet]

Reading the stanford encyclopedia of philosophy page on constructive mathematics. There is a silly result of not having the law of the excluded middle:

if f is a continuous function and f(a) < 0 and f(b) > then there exists c such that f(c) = 0

They don't hold this as true because there is no constructive way of proving it (that is, even though it's obvious, the theorem doesn't actually help you discover which c is f(c) = 0.

The constructively equivalent claim is

if f is a continuous function and f(a) < 0 and f(b) > 0 then it is possible to approximate a value of f that is 0

Super silly 🦑

[dusk lintel]

https://www.youtube.com/watch?v=Yp4ilFOtoeg

new math dropped

[rocky hornet]

yeah the mersene prime 65

Oh they found another one

It's another mersene prime

2^(136279841) − 1

Here he is

It was found by GIMPS, which also hath found all the last biggest mersenne primes

[rocky hornet]

helly nerdy fandom

today I bring you a pokemon game video https://www.youtube.com/watch?v=jNMWkD5VsZ8

he found a sequence of inputs that is guaranteed to reach the end of the game in every one of the 4 billion possible platinum game seeds

a very interesting follow up would be developing a program that, when given a pokemon platinum seed, returns the optimal sequence of inputs for that seed.
To make things easier, optimality could be defined by time, so the sequence of keys that is guaranteed to beat the game fastest on that seed🐙

[sour tide]

Strange coincidence that I see this message now, since I just watched a video about the same topic a few hours ago

[dusty swan]

Happy Halloween

[sour tide]

I’m choosing to count history as a nerdy thing
Here’s an image of the 26 volumes, containing over half a million signatures, of The Great Petition, signed in 1899

[polar minnow]

Is there a website to track prices, inflation, and the like for the US economy

[rocky hornet]

I recall hearing about something like that

I will look it up

The bureau of labor stuff has a lot of stuff https://www.bls.gov/charts/consumer-price-index/consumer-price-index-average-price-data.htm

This is a chart of some seemingly random goods over time. But the data is downloadable

Now it is shower time so I will keep looking latee

oh there is a show table button

Since they have a table for this, they must have a table for a lot of other stuff

https://www.bls.gov/cpi/

https://www.bls.gov/charts/consumer-price-index/consumer-price-index-by-category-line-chart.htm

https://www.bls.gov/guide/geography/inflation.htm

Statista also has a more direct inflation chart https://www.statista.com/statistics/273418/unadjusted-monthly-inflation-rate-in-the-us/

Our World in Data, the world economic forum, the UN and the IMF probably have theirs too. I will look them up later

[rocky hornet]

This one is the most interesting to me thus far because it tracks the average price of basic goods like bread and milk directly

[rocky hornet]

https://www.quantamagazine.org/it-might-be-possible-to-detect-gravitons-after-all-20241030/
Cool stuff

I will be real here Chat, I don't want the graviton to exist. The space literally curving around is much cooler than another stinky discrete particle

[bitter hamlet]

I feel space curving also is way more backed by evidence than it being a particle.

[half salmon]

i mean i always thought space curving was more of a model than anything
cause it's not as if spacetime is an actual physical object that can curve
but gravity being a particle doesn't really make sense either

[bitter hamlet]

No, spacetime is a manifold that is literally curving. From everything I read on it.

It isn't some "mere model" or such.

It is just a model to depict it as a 2D surface being curved

As it is actually 4-D curvature. Which is far more complex.

[half salmon]

but how can you curve it if it's infinite in all directions

[rocky hornet]

It curves locally per region

Also technically every mass makes space a thousand gigabillion light years away curve too, but the curvature becomes negligible really fast

[rocky hornet]

We have evidence to think space time is literally curving due to gravitational lensing and time dilation 🐙

[thorn quiver]

when thinking of stuff like this it is just easier to think of gravity as a force as in the Newtonian model, usually

while technically incorrect it works well enough and helps visualize its effects better, imo

[fallen hollow]

It’s very fun to hear “oh yeah my computer is a core i7 16 gig ddr5 1tb ssd 6 tb mdd with an rtx 3060 ti” and know exactly what they’re talking about

Most people would think I’m crazy if i said that

[half salmon]

that's a beefy computer bro

idk half those things but i recognize "1tb ssd" "6tb mdd" and "rtx 3060 ti"

[bitter hamlet]

It doesn't work in a lot of circumstances, though. Like, it doesn't explain relativistic procession of planetary orbits.

[dull gale]

bro didnt even specify what generation i7 intel chip they have, let alone anything that truly matters like how much RGB one has or the exact mobo brand

[fallen hollow]

True

[dull gale]

core i7 is the CPU

[fallen hollow]

You’d be correct

[dull gale]

if i had to guess itd be like my older pc with a 10th gen 10700 or 11th gen 11700

with some variant of K, F, or S

if a prebuilt likely a F, if a custom built just a K, KF, or regular version

[fallen hollow]

It’s a regular

I’m building a pc for a friend

[dull gale]

oh nice

im actually making a pc for my sister here in a week

[fallen hollow]

I actually settled on doing a ryzen 7 8 core

[dull gale]

something along the lines of a Raedon 6600, intel 12400f, 1tb ssd, 16 gb ddr4 ram

[fallen hollow]

Nothing too impressive but something that will work well enough

[dull gale]

exactly, a budget build of like 550 dollar so my sister can have a pc before pc parts get uber expensive

will be the second PC ive built and the 4th ive helped figure out parts for

[fallen hollow]

Pc parts are like shockingly cheap nowadays

[fallen hollow]

Cool

[fallen hollow]

My pc cost 1600 and had worse parts than my friends that costs about 1200

[dull gale]

yea kinda, itll be a good pc for her

[fallen hollow]

(This isn’t counting monitor and such)

[dull gale]

we discussed it and with certain political events in the US on the horizon we wanted to get her something before parts get really expensive due to tariffs and whatall

[fallen hollow]

Yeah that’s fair

[dull gale]

my current PC cost about 2300 dollar, the two I helped pick out parts were 2100 and 600ish

[thorn quiver]

That is somewhat of an edge case/not something that always needs to be accounted for

Better way to explain what I mean, when teaching gravity to someone, it is best not to start with relativity’s version even if that one is the correct one

[dusty swan]

https://twitter.com/GitHubEducation/status/1852057284702335094

GitHub Education (@GitHubEducation) on X

🏴‍☠️ Ahoy, young coders! Set sail on the High Seas with @HackClub and @GitHub! Build yer projects, earn Doubloons, and trade ‘em for treasures like Macbooks, 3D printers, and more! Join the adventure ‘til January 31st. All hands on deck!
🔗 https://t.co/mjW5sBl4hy

Twitter · Oct 31, 2024, 6:37 PM

[dusk lintel]

https://www.youtube.com/watch?v=jn92eWhGG14&t=0s

this trilogy is finally complete

it's so fuckin good

classic bobbybroccoli bad science video

[half salmon]

bobbybroccoli is an absolute legend

[paper patio]

true

[dusty swan]

https://youtu.be/l60hjFvj64s

[sour tide]

Super moon tonight

Pretty neat

[languid sequoia]

I found a bunch of old magic the gathering cards. Like before 2008. (Because of the white borders) I know nothing about this game lol. All I've been able to do is organize by color and type.

[rocky hornet]

I have not survived abstract algebra

I forgot to prove the pair was a monoid on the test (I forgor to find the identity element of the set)

I don't know how to prove that two groups are isomorphic

Woe. Hopefully the next topic in the damn math class will be less mind shattering

[worthy prairie]

color scheme ideas, anyone?

[dusk lintel]

Rainbow

[worthy prairie]

no no the pride gundam already exists

[rocky hornet]

https://www.nature.com/immersive/d41586-024-03745-z/index.html cool article on the challenges faced by the NIF nuclear fusion research

[fallen hollow]

The amount of people that don’t know what’s going on inside of their computer distresses me

Is it considered nerdy to know about computers?

Yes

Is it important to know?

Yes

Your computer is like a car

[paper patio]

i like to fuck it

[fallen hollow]

It needs maintenance it needs upgrades it needs help

Knowing how to take care of a computer is important

[fallen hollow]

Iggy it doesn’t even have a hole

[paper patio]

thats never stopped me before

[fallen hollow]

Okay then

[sour tide]

The wires have to go somewhere

[worthy prairie]

usb ports

[mossy moth]

prob not gonna buy the rest of the comics on this run but damn am i happy

not buying them due to import costs, if i could I'd buy them all

also for some reason i got a white cover which is for like cons and shi

i did not ask for this but i do not mind

[rocky hornet]

I found a book on the ricci flow in the college library

[quaint bone]

Built this guy today, here’s the box and him next to some of my Warhammer 40K models

[dusk lintel]

All hail the orb of randomisation

[mossy moth]

let ze orb dictate our actions

[bitter hamlet]

I prefer an infinity-sided die.

[dusk lintel]

The fun thing about the d120 is that it can take the role of any dice in a standard tabletop set

The unfun thing is that if you show up to play DND with just a d120 they won't be happy :P

[thorn quiver]

As a DM, I personally would love this

[dusk lintel]

Imagine rolling fireballs with this tho

[thorn quiver]

I am partial to rolling all the D6s at once for fireball

[dusk lintel]

https://www.youtube.com/watch?v=3akBMSJ37Uk

I like how some of the dice lab dice are really useful unique dice and then some are clearly "dice to upset your dnd table"

[dull gale]

lol

Yeah funny shaped dice are funny to whip out

[dusk lintel]

I like the full set of skew dice for playing call of cthulhu

[rocky hornet]

I have been thinking about the formal definition of a limit, to better articulate my ideas I wrote them down and I will share them here since it's just a matter of copy and pasting some stuff. I think I finally understood how you are supposed to actually prove that something is the limit of something else using it. Here I will tell you all about it: (warning: massive text wall incoming)

but before that, a quick introduction for those that are not familiar with propositional logic: A proposition is an expression that is either true or false. You can create logic expressions by combining propositions with logic connectives. Complex expressions, like propositions, also are either true or false. A well formulated formula is a logical expression that is written "correctly". of the logic connectives, the important one for our purposes here is the conditional, expressed by the symbol →.

take the expression p → q. p and q are propositions, and → is the logical connective which in this case is the conditional. In a conditional, p is called the antecedent and q the consequent. The expression may be read "if p, then q". What is important to understand is that the conditional only has a logic value of false if p is true, but q is false. The conditional is true for all other cases.

A tautology is a logical expression that is always true. p → p is an example of tautology. An argument takes some jargon to define. An argument is something of the form:
P1 ^ P2 ^ ... ^ Pn → Q
where ^ denotes the and logical connective and P1..Pn and Q are well formuled formulas. the Ps are called hypothesis and Q is the conclusion. an argument is said to be valid if the following conditions are met:

1. P1..Pn are all assumed as true
2. The expression is a tautology
3. it must be so due to the internal formal structure of the argument, not due to any incidental knowledge we have of the Ps and Q.

I will not get into the process of demonstrating that an argument is valid, as that is too long and not the point of this.

the point of this is the formal definition of limit given by Cauchy & Weierstrass. It goes as follows:

the limit of x to a of f(x) is L if:

for every number e > 0, there exists a number d > 0 such that:

if 0 < |x - a| < d then |f(x) - L| < e

this definition is fairly straightforward to grasp. Never had any troubles understanding it. in short: for every number e, no matter how small it is, it is possible to find a number d, and if the distance between x and a is smaller than d then the distance between f(x) and L will be smaller than e. failry simple. but this was NOT what I didn't understand. Rather, what I did not understand was: But how, exactly, do you prove that something is the limit of something else using this definition?

the textbook gave a total of 3 examples, which did not explain what they were doing. but now I understood and I will tell you all about it:

Let's go back to the definition, the full definition is a statement of predicate logic due to the use of quantifiers "for every" and "there exists". I have not talked about predicate logic but it is not important here. lets look at the most important part:

if 0 < |x - a| < d then |f(x) - L| < e

After staring at this, I realized it is a statement in propositional logic. it is a conditional statement with two propositions of the form: P → Q

but not only that, it is also an argument with a single hypothesis. and an argument in propositional logic is said to be valid if it is a tautology. P and Q are two well formed formulas, namely:
0 < |x - a| < d and |f(x) - L| < e.

You may notice, however, that those are two different things. if they are different things, how can the argument: P → Q ever be a tautology, given that it is possible for P to be true and Q false?

What I have finally understood is that you prove that L is the limit if you can find a d in such manner that lets you re-arrange P to be equal to Q. Q → Q is a tautology and therefore a valid argument. the formal definition of a limit is an argument in predicate logic. It's core is an argument in propositional logic and you must find a way to make it tautological to prove that something is the limit of something else

My textbook said that the process of proving something is the limit had in general two steps:

1. conjecture a value for d
2. prove that this value works

I understood the first step perfectly, but the second one I didn't understand from the examples. but now I have finally understood how you prove that the value works, and you do that if you can find a value for d which lets you algebraically turn

0 < |x - a| < d into |f(x) - L| < e.

following is a simple example:

let f(x) = 4x - 5 and lets prove that the limit of f with x to 3 is 7.

1. on the first step: let's conjecture a value for d
   0 < |x - 3| < d → |4x - 5 - 7| < e ⇒
   0 < |x - 3| < d → |4x - 12| < e ⇒
   0 < |x - 3| < d → 4|x - 3| < e
   this suggests that we should pick d to be e/4

2. lets prove that this works: let's consider solely the left side of the equation:
   0 < |x - 3| < d, recall that d = e/4
   0 < |x - 3| < e/4, lets multiply both sides by 4
   0 < 4|x - 3| < e

recall from step 1 that we fond |f(x) - L| in this case to be equal to exactly 4|x - 3|. we have rearranged our antecedent in the conditional to be the same as the consequent, and therefore it is now Tautological and the argument is valid. We have therefore proven that 7 is the limit of f(x) when x approaches 3

Such are the extent of my thoughters on limits 🐙

I have also thought a bit about about a process to prove limits in non-elementary functions of one variable but I'm not sharing them since they are largely speculative

[dusk lintel]

A series I call "drawing lines on my dice to make different shapes

Red: icosahedron, d20
Yellow: dodecahedron, D12
Blue: cube, d6
Green: d30

Get a d120 it's great

Also the cube and anything smaller are really hard to visualise on a 2d image

also, a qualitative assessment of which catalan solids can be used as dice

[main osprey]

I am already running out of room

[mossy moth]

make them fly

[torpid gust]

Uh, I would like to share a pic, but i joined too recently to post images.

However, I designed a 64-bit, 8x8 matrix calculator from scratch. I used a circuit simulator to do it, and I kinda pushed it to its limits with the wire connections, lol.

It's a bit rough around the edges, but it was a cool project. You can even """program""" it

Also I have a bunch of VTuber plushies

[torpid gust]

Oh! Fantastic! Here it is:

[mossy moth]

so pretty

i understand jack about it but veri pretty

[sour tide]

Maybe I can find the correct kind of nerd here
Could anyone familiar with typography identify the font being used in these credits

[marble igloo]

Schwarzette and mkii spotted 🔥

[cursive glen]

freehanded heraldry

may his enemies break themselves upon such a shield.

[dusk lintel]

https://www.youtube.com/watch?v=nGtVej1Qx5Y

moon pi moon pi

[solar plover]

ok uh

I collect these

lemme take some collection pics

couple of buses I have lying around

ongoing repair

my room with collection shelving

this is just a small fraction of what I have, most of it’s in storage

apologies for the blurry photos and/or mess

very little room for stuff right now, once I make more room everything will be neatly organized on shelves and that

[solar plover]

I do not know why I have the Kleenex box, I didn’t even notice it when I took the photo lmao

the popcorners box just holds even more chinafakes

if anyone’s curious about a specific item I have (or just these things in general) or wants to see a specific item in action feel free to LMK

I will record a little video

[dusk lintel]

https://www.youtube.com/watch?v=w5QSVhgrqVE&t=2s

so this is fucking mental

the original video is just a silly experiment in maths and powerpoint where the creator tries to accurately draw flags in powerpoint

then he got hung up on some things and asked people for suggestions and uh

now there's a powerpoint construction community

[rocky hornet]

Since PowerPoint has been proven to be Turing complete, I am guessing you can in fact draw every flag in power point. Even if the drawing in question was a program, running entirely through PowerPoint slides, that spits out an image of a flag 🐙

[raven plaza]

Genuinely quite interesting, thank you for sharing. I'll be looking out for part 2

but also what a wild ride

[dusk lintel]

It's nuts lmao

One of the comments joked that it's only a matter of time until someone works out how to square the circle in PowerPoint

[bitter hamlet]

Annoying when non-mathematicians or mathematicians who don't know what they are talking about are like. "Ummm. Infinity isn't actually a number. It's a concept or a limit" and just. Completely ignore things like Set Theory or systems using different axioms.

They think that just because their field doesn't use it as anything other than a limit, that that's what it is.

"infinity isn't a number" people when you show them ℵ(n)
(It's not present in their field)

[rocky hornet]

I'm a fan of aleph 1 myself

The bigger cardinalities just don't feel right. What does it mean for a set to have greater cardinality than the real numbers? That's just a tad bit silly 🐙 what's up with the power set of the real numbers? Very unintuitive. Those stuffs you just accept and move on

Notice how I cheekly presumed the continuum hypothesis as true in order to imply that the cardinality of the real numbers is aleph 1, that is because I'm a continuum hypothesis believer. No way that there is a set with cardinality strictly in between that of the real numbers and natural numbers, that's would of bee bizarre.
I call this vibe mathematics

But more as infinity as a number: in non standard analysis infinities and infinitesimals are just numbers

They are just there, which I find most joyful

Non standard analysis is pretty cool and it was proven by Robson that it's fully equivalent to real analysis but I want to become gooder and better at real analysis before learning non standard analysis

Favorite part of nom standard analysis is the standard part function for sure.
The standard part function maps an infinitesimal or infinity to the closest real number. For infinitesimals that just happens to be 0 while for infinities the answer is "who knows lol"

In non standard analysis the standard part function is used instead of limits to define the derivative and integral. Pretty cool right?

But further on mathematics: I'm still bad at proof making writing and following. Here are a few things I started doing to git gud:
When the book is proving something, I read the proof a few times over.
After this, I try to explain to myself what was done to prove it
After this, I try to write the proof down from memory on my notes

While I feel like this gives me more comprehension on individual and specific proofs, I feel like this isn't helping me at becoming good at actually proving things. I think in this summer vacation (1 week from now!!!) I will read many of those books that are specifically about proofs, how to do them and how to git gud at them. This will most certainly be a bop for my hobby mathematics career 🐙

Stay entuned for more news mathfandom

[silent wasp]

honestly, i think it's worth just skipping to an intro analysis/algebra book and learning proofs that way

i recommend either dummit and foote or abbott depending on which you prefer

(if d&f ends up being too leisurely for your liking, try jacobson 1. if it ends up being too fast for your liking, try pinter)

Something cool I learned today, u can define a smooth manifold as a Hausdorff, second countable locally $\R$-ringed space that admits an open cover such that each open is isomorphic (as a locally ringed space) to a subspace of $\R^n$ with the sheaf of smooth functions

$n$ can depend on the open

[silent wasp]

R is mathbb{R} here

[silent wasp]

nvm i just read up a little, uve already done abstract alg? in that case id say even more not to just read a book on proofs, it's a bit of a waste of time at your level. working out and understanding the proofs in books is great and u should be doing that, but i think you'll get better much faster by just grinding exercises in books on whatever topics you're interested in

a general book on proofs will be kind of surface level compared to specialized techniques you'll learn in books on different topics

you really can't learn math without doing math

[silent wasp]

You can replace R with C and smooth with holomorphic to get complex manifolds

I wonder if/how you could add additional constraints that recover projective varieties a la Chow's theorem

[rocky hornet]

Nope, I have done neither abstract algebra or analysis!!! I'm just a guy that studies math on my free time but my major is actually computer science

I'd say I don't know enough to learn either of those topics yet properly 🐙

[silent wasp]

I think you only need high school math

Like for Abbott or Pinter say

[rocky hornet]

Funnily, high school math is a thing I'm weak at since my math education in my country was ass. Currently I'm studying basic mathematics by serge lang and precalculus by james stewart and those cover the normal high school curriculum. I like Serge Lang's book because it has a focus on proofs, while stewart's has a lot of computation exercises for me to practice

But thanks for the book recommendations, I'm always looking for more textbooks