Massassi Forums Logo

This is the static archive of the Massassi Forums. The forums are closed indefinitely. Thanks for all the memories!

You can also download Super Old Archived Message Boards from when Massassi first started.

"View" counts are as of the day the forums were archived, and will no longer increase.

☖ Forums → Discussion Forum → Computer Science and Math and Stuff
1234567891011121314151617181920212223242526272829303132333435
Computer Science and Math and Stuff
2018-03-14, 8:04 PM #561
Also like racists, many constructivists harbor their "aesthetic" preferences because, long ago in the past, they had a bad experience with a member of the class of pathological objects, and the experience stuck with them strongly enough to make them categorically set out to banish such pathological objects from their lives. Academics, on the other hand, live a rather sheltered existence, and simply don't understand what it's like to live on the street, and naively flaunt their political correctness in situations where it has no merit.

Can you just imagine living in world with out scary bla... er, I mean scary sets?
2018-03-14, 8:05 PM #562
Or people will just think you're racist.
2018-03-14, 8:07 PM #563
But I mean let's be honest, who wouldn't want to live in a world without scary sets? I mean I know it would be socially impractical to implement in practice, and we'd tear down large swaths of society in the process (maybe even starting a war), but it certainly makes for a nice day dream!

I hope I've all made you a lot more racist today! :P (kidding)
2018-03-14, 8:08 PM #564
Originally posted by Reid:
Or people will just think you're racist.


Wait, this is what I'm saying? :confused: Of course they will think that!
2018-03-14, 8:23 PM #565
You're forgetting that I carry the homozygous (A;A) allele for the rs53576 gene. I am genetically incapable of caring if people think I'm racist (or anything else they think about me).
2018-03-14, 8:28 PM #566
Originally posted by Reverend Jones:
In other words, I allow myself to have racist outbursts, because I hope that you will step up to the plate and help teach me why racism is actually a good thing. But in order to do that, you have to listen long enough to my philosophical justifications for being racist before chiding me for holding them in the first place.


In case you were replying to this: the obvious answer is that you simply aren't racist enough yourself to help me! So I'll just have to mosey on over to stormchan... er, constructivist circles, where my hateful ideas have greater currency.
2018-03-14, 8:41 PM #567
Originally posted by Reverend Jones:
Wait, this is what I'm saying? :confused: Of course they will think that!


Sorry, I'm not reading too closely.
2018-03-14, 8:42 PM #568
That's good! I hope to God you aren't wasting time on this drivel. Though I found the analogy slightly amusing. I think I'm done blabbing now, lol (sorry again for the noise).
2018-03-15, 11:48 AM #569
Originally posted by Jon`C:
C++ has a lot of footguns, most of which are mandated by the standard.

E.g. this blog post that popped up on HN last week: http://ithare.com/c-thoughts-on-dealing-with-signedunsigned-mismatch/

I’ve certainly pined for a C++ variant that removed at least some of the complexity - things like implicit casts for integral types, and integer promotion. But only because that portion of the complexity is expressly unsafe, and originates in C.

I actually use most of the things that make C++ a genuinely complicated language to learn and implement. And I want even more complexity! I just want C++ to be complicated in a good way, not complicated the way it currently is, a minefield of undefined behaviour.


Looks like the guy posted again and it's on HN. This article is about a variant of C++!

http://ithare.com/a-usable-c-dialect-that-is-safe-against-memory-corruption/

Edit: well, it's actually republishing something from 2017 though...
2018-03-20, 4:39 AM #570
If you're ever in mood for a "fun" problem, try showing:

1/m+1/n=1/2+1/e

Where e is the amount of edges, m is the amount of edges per face, and n is the amount of edges per vertex of a solid homeomorphic to a 2-dimensional sphere.
2018-03-20, 3:07 PM #571
Teaching gets so much better when you get better at teaching. And when your students are very good, and you can actually teach them some powerful concepts.

The past few weeks have been good since I cowboyed my teaching curriculum and started bringing in concepts the way I think will help learn em good.
2018-03-20, 3:08 PM #572
Oh, and my section performed best on the exam. So shiggy other grad students.
2018-03-26, 10:26 AM #573
https://news.ycombinator.com/item?id=16676614
2018-03-26, 10:56 AM #574
Originally posted by Reverend Jones:
You're forgetting that I carry the homozygous (A;A) allele for the rs53576 gene. I am genetically incapable of caring if people think I'm racist (or anything else they think about me).


haha homo
Epstein didn't kill himself.
2018-03-26, 10:56 AM #575
I might join in, yeah. Given my work is bound to be category-heavy and I like Baez.
2018-03-27, 11:13 PM #576
It's kind of weird how an infinite direct product of groups works. You don't get a nice basis. In fact, the basis you get is as large as the space itself. I showed myself tonight that an uncountable product of Z_2 has some weird subgroups, like the subset containing all elements with uncountably many 1s and finitely many 0s, and finitely many 1s and uncountably many zeros is a subgroup. As well, the same holds with countable in place of finite. Their join is a subgroup, which has the direct sum of Z_2 as an intersection, but weirdly doesnt even span the whole group.

Moreover, if you do cardinal arithmetic, you get there must be aleph 2 many missing basis elements with uncountably many 1s and 0s. I have no idea what they look like, but the group theory results hold so i dunno. Maybe Ill tex it up and share tomorrow.
2018-03-27, 11:32 PM #577
That actually sounds sort of like something I'd be interested in. Maybe not enough to try to convince myself you didn't make any mistakes, but probably enough to motivate me to read more about rings as understood in our undergraduate course, which started to talk about stuff like Noetherian rings and and other properties involving infinity we never got into. I don't know about the motivation for groups, but in the case of rings, it was from number theory.
2018-03-28, 10:44 PM #578
[https://i.imgur.com/JuEA2Nk.png]

Note that this is just a virtual extension of the difference in generating sets between direct sums and direct products of groups; the direct product must have a ****load more, and it's not intuitive to me at all what those elements "look like", so to speak. Because even in the case where you have an aleph_0 indexing set, you basically generate something isomorphic to the real numbers, wherein transcendentals (the "aleph_1/aleph_1" split numbers) are the giant black hole of things you can't say much about.

I guess the cool thing is that the weirdness of transcendental numbers generalizes sort of to any cardinal.
2018-03-28, 10:51 PM #579
I found a counter-example.
2018-03-28, 10:54 PM #580
Note well that there's a natural bijection between the countable direct product of Z_2 and real numbers in [0,1) (and thus R itself) via mapping each coordinate to its corresponding digit in its binary expansion.
2018-03-28, 10:55 PM #581
Originally posted by Jon`C:
I found a counter-example.


Did you really?
2018-03-28, 11:12 PM #582
Originally posted by Reid:
Did you really?


ya
2018-03-28, 11:15 PM #583
your proof is invalid because you incorrectly assumed the existence of my favorite index set of aleph n.
2018-03-29, 9:33 AM #584
I fell asleep just after I posted that and literally had a dream that I checked your reply and you left like a two-page reply about some really obscure detail I was missing.
2018-03-29, 9:38 AM #585
Originally posted by Jon`C:
your proof is invalid because you incorrectly assumed the existence of my favorite index set of aleph n.


If you don't have a favorite though, can't I select one vacuously?
2018-03-29, 9:41 AM #586
I have a dream
2018-03-29, 9:46 AM #587
Can someone collate all of the semi evidence based criticisms of JP in this thread so that I can just send them to the idiots who keep bringing him up at school so I can insist we can't talk until they read them, so they will stop talking to me since they won't.
Epstein didn't kill himself.
2018-03-29, 9:53 AM #588
I have a dream that one day, mathematicians will adopt 21st century conventions for structuring their proofs around the formal abstractions of the proof under consideration rather than the informal language left over from the days of pre-symbolic reasoning.
2018-03-29, 9:55 AM #589
Originally posted by Spook:
Can someone collate all of the semi evidence based criticisms of JP in this thread so that I can just send them to the idiots who keep bringing him up at school so I can insist we can't talk until they read them, so they will stop talking to me since they won't.


Wrong thread?

Although I guess this is the evidence based thread.
2018-03-29, 9:58 AM #590
Originally posted by Spook:
the idiots who keep bringing him up at school so I can insist we can't talk until they read them, so they will stop talking to me since they won't.


Also, I'm sorry to hear that!
2018-03-29, 9:59 AM #591
Originally posted by Reverend Jones:
Wrong thread?


Never mind, I read your post more carefully and this is definitely the right thread. Heh. :v:
2018-03-29, 10:11 AM #592
Originally posted by Jon`C:
your proof is invalid because you incorrectly assumed the existence of my favorite index set of aleph n.


Dammit, I should have read this more carefully. Although I'm still not quite entirely sure this was simply a joke.
2018-03-29, 10:18 AM #593
Originally posted by Reverend Jones:
Never mind, I read your post more carefully and this is definitely the right thread. Heh. :v:


Wait a minute, no it's not, that discussion was in the inauguration thread. Oy vey.
2018-03-29, 10:21 AM #594
Have we already reached peak peterson?
former entrepreneur
2018-03-29, 10:27 AM #595
Since I can't seem to keep these threads straight, maybe it's time we just converted them all to a single twitter feed and replace thread titles with hashtags.

Either that, or ban all the members who contribute to the monolithic distribution of posts.
2018-03-29, 10:29 AM #596
Ban members who post twice in a row
2018-03-29, 10:48 AM #597
Originally posted by Spook:
Can someone collate all of the semi evidence based criticisms of JP in this thread so that I can just send them to the idiots who keep bringing him up at school so I can insist we can't talk until they read them, so they will stop talking to me since they won't.


Sure, I'll try in the JP thread.
2018-03-29, 10:48 AM #598
Well, the threads have names, and the names of each thread are loosely related to their content. So if you're confused you can start from there.
former entrepreneur
2018-03-29, 10:52 AM #599
Or just make evey post in a new thread and let the moderators merge them.
2018-03-29, 11:06 AM #600
NO THREADS
former entrepreneur
1234567891011121314151617181920212223242526272829303132333435

↑ Up to the top!