« first day (2421 days earlier)      last day (2507 days later) » 

5:00 PM
There are well defined orbitals yes. And if we square those orbitals we get the probability of finding the electron.
 
@JohnRennie Are all my statements (in the previous message)correct?
 
So if we call the orbital $\psi(r, \theta, \phi)$, which is usual, then $\psi^2(r, \theta, \phi)$ gives us the probability of finding the electron.
 
ok
 
So the electron is spread out over the space near the proton.
It doesn't have any well defined position.
The usual analogy is that it's like a fuzzy cloud.
 
@JohnRennie Ok. Are shells a part of this model??
 
5:04 PM
The word electron shell usually just means the same as orbital. People often use these terms rather loosely.
So a shell isn't like a shell in the sense of being a well defined 2D surface round the proton.
 
and then there are also subshells
 
@JohnRennie OH. So subshells are sub orbitals right?
@JohnRennie I wanted to hear that.
 
@Secret again this is loose terminology. The word shell tends to mean the 2 in 2s or the 3 in 3s etc.
And subshell tends to mean the $s$ in $2s$ or $p$ in $2p$. The term subshell is misleading.
 
yup, that's how it is taught in chemistry classes
 
@JohnRennie How? Why?
 
5:06 PM
@Secret poor teaching in my view.
 
@JohnRennie Why?
 
@Abcd why what? Why do people use the term shell in a misleading way? I don't know.
Probably because they are chemists :-)
 
@JohnRennie In reality "shells" has no relation with 2 and 3 right?
 
@Abcd I think you should forget you ever heard the term shell used to describe atoms.
Or subshell
 
That would be good.
 
5:09 PM
It strikes me as dangerously misleading.
What we get is a set of wavefunctions.
 
@JohnRennie is there any diagram of the modern model of the atom.
 
Which we label $1s$ etc for convenience.
@Abcd Loads!!
 
@JohnRennie Unfortunately, shells was the term used during description of the Bohr's model too. That was one of the prime reasons why I got confused.
 
@Abcd the teaching of quantum mechanics at an elementary level frequently verges on the criminal
 
@JohnRennie I want to see full atom instead of it's individual orbitals.
 
5:11 PM
That will be so heavily cluttered picture that is not illuminating
 
@Abcd Well a hydrogen atom only has one electron, and that electron can only occupy one orbital.
 
@JohnRennie So send the pic of any other atom please.
 
@Abcd for atoms with more than one electron you have to add up all the orbitals occupied by electrons. But they all overlap, so the result is basically just a fuzzy blob.
In fact I did exactly that calculation as part of a final year project (in 1983!!) and honestly the final results are really boring.
Polyelectronic atoms just look like spherical fuzzy blobs.
 
@JohnRennie Okay
 
There's a lot of subtle issues in what we've discussed.
 
5:15 PM
oh
 
For example people find it hard to understand that electons do not have a position.
It simply has no meaning to ask what the position of an electron in an atom is.
Likewise electrons in an atom do not have a momentum.
They have an average position and an average momentum, but that's all.
 
@JohnRennie I think my teachers(in school) do not have their basic concepts clear.
@JohnRennie ok
 
@Abcd QM is hard! And I doubt many school teachers really understand it.
 
@DanielSank Have you seen this heresy?
0
Q: Complex-valued current density?

Nico SchlömerI'm reading in several places (e.g., here), that the current density is supposed to be in the form $\mathbf{j}=j(r, z) \exp(i\omega t) \,\mathbf{e}_\varphi, [...]$ This implies that the current density has complex values, while I had been under the impression that it, as an observable quant...

 
@JohnRennie That's sad.
 
5:18 PM
@Abcd That isn't meant as a criticism of the teachers, because if they really understood QM they'd be physicists not teachers.
 
@Abcd it's a natural consequence of QM really being that hard
 
@JohnRennie Thanks a lot btw!!!! Yesterday, I was really confused.
@EmilioPisanty yes.
 
@Abcd now you're just as confused, but at least you know what you're confused about :-)
 
@JohnRennie lol. ok
 
And just when you think you understand quantum mechanics you start learning quantum field theory and it's back to square one :-)
 
5:21 PM
oh.
 
@JohnRennie nah, QFT is more of the same
just way more technical
I find things like remote entanglement creation way more puzzling
 
@EmilioPisanty actually I think the basic ideas in QFT are pretty straightforward, but it's really hard to find any books that explain the basic ideas.
2
Anyway, I'm in the opening chapters of an 847 page book (!!!) and if I wish to finish it this lifetime I need to get back to it.
@BernardoMeurer: ping me if you want any more info on the Win32 stuff. I'll check in before the end of the evening.
 
@JohnRennie Weinberg?
That seems to be the most comprehensive book on QFT so far
bookS
I also like his idiosyncratic style in whatever little I've read from his GR book
A couple of years ago, he also wrote a book on quantum mechanics. I'm not sure how that is, but probably in the same vein
 
5:41 PM
@Avantgarde I think Weinberg might be the worst possible choice to learn QFT. His notation looks nothing like that of anyone else, and his approach is pretty different from the standard lore (yet no less technical!). It's a very good book to look up stuff or to get a fresh perspective on QFT, but I wouldn't recommend it to anyone seeking "basic" QFT.
 
@ACuriousMind Of course. That is the main drawback of Weinberg's QFT
The fresh perspective is what is needed at times. Dirac's quantum mechanics book, for instance, is a pleasure to read
 
O wow, community bot had autodeleted the question. O well, this question cannot be fixed until I can figure out what kind of experimental setup will allow positions of electron to become entangled
It is easy to come up with devices that entangles discrete observables like polarisations, which path information and spins though
 
@ACuriousMind What's your go-to reference for basic QFT?
Zee's is another book that is quite unconventional in its approach. Again, can't be used to learn QFT from scratch, but very fun read
 
@JohnRennie Thanks! Will do!
 
@Avantgarde The script from the lecture where I learnt it.
 
5:55 PM
I DID IT
I PICKED UP A GIRL WITH A QUANTUM PHYSICS PICKUP UP LINE
IT WORKS
 
@ACuriousMind Ah, Weigand's notes. I have come across them. Thanks for your opinion.
 
@Bernardo what did you even say
i can't make a mathematical pickup line even if you shot me on the head
 
@BalarkaSen Are you a high energy barrier on a semiconductor circuit?
 
...
 
6:05 PM
-_-
 
Guys, any of you know any book which discusses Einstein-Cartan theory in detail?
 
@BalarkaSen Because if I was an electron I'd tunnel through you
babe
 
Jesus, and she didn't run away?
 
Anonymous
6:09 PM
Either the girl is too dumb or too intelligent. XD
 
I don't have the best repository on pickup lines anyway
 
You just need to deliver it at the right moment :P
 
Maybe she felt it was too "cute" of you to try that kinda "line". Like "Awww"...
 
I feel sorry for her
lol just joking
 
(CALCULUS ALSO WORKS)
 
6:14 PM
@NaveenBalaji Sorry, nope. Maybe ask as a question?
 
Nevertheless,
yesterday, by The Dark Side
Anyone willing to talk some classical mechanics?
cc @ACuriousMind ??
:P
 
@Avantgarde either there would be a proper answer or an avalanche of "that's not important" attitude...
 
Anonymous
@NaveenBalaji This article explains how to ask resource-recommendation questions on the main site.
 
@NaveenBalaji There must be a way to ask a question about books/references. I don't know how though, sorry.
 
@Blue Thanks
@Avantgarde Thanks
Btw do you happen to know any books on f(R) gravity?
 
6:38 PM
0
Q: What migration pathes do we want on the site?

peterhVote up the post containing site X, if you want a migration path to site X. Vote down, if you won't.

 
@Avantgarde My professor just texted me that the book:
Introduction to gravitation by Venze.D.Sabbata has a chapter dedicated to introduce this E-C theory
 
@NaveenBalaji I don't. sorry. Well yeah, asking your prof is the first thing to do. Hope that helps.
 
Fun fact: I can actually ask a legitimate question while trolling people at the same time. However I only use such superposition questions for egocentric chat users encountered by other chat users
(This is what is currently happening in the maths chat. If the troll actually give me a satisfactory answer, that's a nice bonus to my research)
Update: He passed my test
 
@DavidZ I fear all of the answers will be downvoted.
 
Eh, maybe. It's not likely to matter anyway.
 
6:50 PM
@EmilioPisanty The sad part is that I don't blame OP for being confused.
The use of complex signals to model real ones has the highest ratio of importance to goodness of explanation of all things in physics.
 
in Mathematics, 55 secs ago, by user107952
Since I am the most rigorous, I consider it my life mission to teach people rigor. I will tell you all a secret very, very few humans know. The argument "I am the most rigorous human. H is a human. Therefore, I am more rigorous than H." is invalid. You need the additional premise, "H is not me." Consider yourself all honored to learn this secret from the most rigorous human.
that's ego incarnate
 
@DanielSank oh, no question is OK
 
right?
i am lmaoing right now
 
but the use of $e^{i\omega t}$ is unpardonably wrong
as you know
 
barlerka: Now it should be obvious to you what that set theory integral question is directed to...
 
6:54 PM
loooool what is that
 
Anonymous
@Secret That's just another troll....
 
Anonymous
:P
 
in Mathematics, 29 mins ago, by Secret
Prove using set theory that the following is true:
in Mathematics, 28 mins ago, by Secret
$$\int_0^{\infty} e^{-x^2}dx=\frac{\sqrt{\pi}}{2}$$
and then I thought akiva and co, knew me well enoguh to not fell into this trap I set up for the ego troll
I was wrong, and they get a bit annoyed along with astyx...
I do, however came up with a legitmate question hoepfully that at least a silver of what that troll claimed in true and thus help me further my research
in Mathematics, 13 mins ago, by Secret
@user107952 we knew that that is impossible for rings because of the 0x=0 axiom, but it seems for more general structures the question remains open. Given that you said you are rigorous and careful, perhaps you might be able to help me to find a proof or counterexample that I otherwise don't know
however...
in Mathematics, 12 mins ago, by user107952
@Secret, I am a rigorous proof verifier, not a proof maker. I ask very clever questions, as my math stack exchange questions reveal, but I am bad at doing proofs. Although, if P=Np is true, a rigorous proof verifier can be converted to a proof maker.
I think either I am unlucky he is not a proof maker, or he think I am counter trolling him and thus dodge the question
 
@DanielSank what is the highest?
 
7:55 PM
Why are $^nL_k^{n_1,n_2,n_3,n_4} = - i x_1^{n_1} x_2^{n_2} x_3^{n_3} x_4^{n_4} \partial_k, n = n_1 + n_2 + n_3 + n_4$ the generators of transformations in GR on functions $f = f(x_1,x_2,x_3,x_4)$?
 
@0celouvskyopoulo7 I don't understand the question.
@JohnRennie I've been trying to deal with an update issue on my Windows machine, and thus far have been rather stuck. I wonder if you can offer advice.
The facts are these:
1. The machine starts running the automatic updater and never stops. The updater process hogs all the CPU resources and continues indefinitely.
2. The Machine is not yet patched against the ransomware virus.
3. It's running Windows 8.
My goal is to patch it to fix both the CPU-spinning due to the updater service and the ransomware vulnerability.
I am unsure how to do either of these things. The updater stall is a known issue but I haven't found any information at all about how to fix it on Windows 8. I imagine I need to download a particular patch and apply it, but I haven't found anything.
I figure that I should turn off the wifi so there's no chance of getting the ransomware virus, download the updater patch and the ransomware patch on another machine, apply the updater patch to the Windows machine, and then apply the ransomware patch to the Windows machine.
Can you help find the right patches?
 
8:16 PM
@DanielSank you say complex signals are one of the highest.
what is the highest?
 
@DanielSankYou have a Windows machine?
Disgusting.
 
8:35 PM
@DanielSank What do you mean "the ransomware virus"?
Windows 8 is (was) the worst Windows ever. I suggest downgrade to Win 7 as soon as possible (or at least upgrade to 10)
@DanielSank and Windows 8 is no longer supported by Microsoft (no updates, support, etc.)
 
I got 10 myself a few days ago
 
@Mostafa You mean Windows XP?
 
It runs fantastic
 
@JaimeGallego No. Win 8
8.1 is still supported tho
 
8:45 PM
@JaimeGallego This clearly says you have to first upgrade to 8.1
@BalarkaSen I don't trust Microsoft enough to upgrade to 10. And don't think it's worth the effort.
 
@Mostafa I thought MS was reopening support just for security updates for this specific malware?
 
@SevenSidedDie What malware? WannaCry?
 
@Mostafa Aye.
Not that I verified that fact at all. It's just something I recall reading in the news after the first wave/week.
 
Yeah they even released a patch for Win XP for that
That was the only update I felt is necessary to install in years
 
@Mostafa Ah, I'm reading about it now. The usual Microsoft corporate BS:
Confusing versions galore. I had the experience myself when comparing OEM and retail versions of W10.
 
9:04 PM
@BalarkaSen Using the free upgrade offer?
 
do you wish to report this error to microsoft?
do you really think we will solve your issue?
dead chat
 
@0celouvskyopoulo7 False.
@Mostafa That... sounds like terrible advice.
 
@Mostafa Nah.
It's actually a new laptop. They installed Microsoft 10 in it.
 
@DanielSank "The use of complex signals to model real ones has the highest ratio of importance to goodness of explanation of all things in physics."
did you not say that?
 
9:19 PM
Windows is not even an OS
 
Guys, I am in need of some advice
 
sure
 
@JaimeGallego No, chocolate shampoo does not taste like chocolate
Trust me, I've TRIED
 
I'm writing my last philosophy essay about Ayer's Language, Truth and Logic.
The thing is
 
What wonderfully clear pictures
@BernardoMeurer what does that even mean
 
9:23 PM
@JaimeGallego yeah? what's the thing?
 
@0celouvskyopoulo7 Some photoshopping is all that's needed to fix it.
 
@BalarkaSen It's supposed to show...something. Not sure what, exactly.
The description is vague.
 
with some deep green and ocean pink, mixed in with corrugation effects it'd look right as rain
 
@0celouvskyopoulo7 Depending on your definition of OS, the actual OS under Windows is some variety of DOS or mutated POSIX, and “Windows” itself is just an API layer and window manager. (It's a very technical argument against it being an OS, which doesn't really touch what most people use “OS” to mean in practical terms.)
 
The last section of the essay has to be a "critical reflection" of what I've read on the book, but I don't really know what to talk about.
 
9:26 PM
double bonus if you copy-paste a rubber duck in it
 
@JaimeGallego say it was a good book
 
@SevenSidedDie What? Windows is not based on DOS?
 
That isn't enough for filling five pages.
 
@SevenSidedDie All modern windows are built on the NT kernel, whatever it is called.
 
Windows is NT, isn't it?
 
9:26 PM
@JaimeGallego Criticize the Marxian theology of modernist socialism.
 
@SevenSidedDie You talking BS man
 
@JaimeGallego what kind of fucking essay has a 5 page conclusion????
 
And Even then, windows is like the least POSIX compatible thing in the universe :P
 
Say anything that's on your mind. That's what philosophy is, after all
 
@0celouvskyopoulo7 I was just mocking Windows with no real point, lol
 
9:27 PM
But many professionals seems to have accepted an expanded notion of "OS" that covers the kernel and the standard UI and libraries.
 
@BernardoMeurer people at work are very impressed with your python skills
 
@BernardoMeurer It's so highly mutated that I'm being very nice to Windows by even pretending that it's POSIX compliant. ;)
 
@0celouvskyopoulo7 Well, the conclusion might be that you would not conclude anything much.
And you have to justify that for five pages.
 
I have the nicest transmission x-ray software in the lab now
 
@dmckee Plebs, an OS is just the kernel
The tools are the tools
@0celouvskyopoulo7 Tell them to hire me, I need a job
 
9:28 PM
@BernardoMeurer We have no monies
 
The upshot is, just write some random shit that doesn't make sense
use complicated adverbs
 
Trump cut funding
 
@BernardoMeurer Well, that's how the antique Operating Systems text that I read understood these things, but it doesn't seem to be a universal usage any more.
 
@SevenSidedDie Why do you claim Windows has any POSIX in it? I know nothing of that
@dmckee Yes, Liberals ruined it
 
How has the general funding scene been like after Trump?
 
9:29 PM
idk, I was just making shit up
 
but we are funded through DoE and DHS
 
@0celouvskyopoulo7 I really, really need a job
 
DHS isn't going to get cut
DoE...they might be screwed
 
@BernardoMeurer This is at least a decade out of date recollection, but I recall that there's a bunch of badly-implemented POSIX stuff in the NT kernel (you're right, NT not DOS) specifically for (edit: pretending to) meeting the specs of some kind of business deal with IBM. MS didn't want it in there and did it badly sorta on purpose.
 
9:30 PM
May 17 at 21:31, by Jaime Gallego
I don't understand my Philosophy teacher. He gives us "the best notes that a pupil wrote last year" and they're written like a stream of consciousness. Garbage in, garbage out, I guess.
 
@JaimeGallego I like that kind of stuff
 
stream of consciousness. Nice choice of words
 
@SevenSidedDie Hmm, I really did not know that. The only thing alike that that I know is how PowerShell aliases commonplace tools (curl, etc) to Windows ones that are noncompatible and pretty much entirely different
 
@Avantgarde that's the standard phrase...
@BernardoMeurer what are your skills?
 
It's common among the literary world
@JaimeGallego Wait, let me give you some material you could write from
 
9:32 PM
Oh I didn't know
 
Joyce, I knew it
 
Open up a random page, copy-paste.
lol
 
@0celouvskyopoulo7 I have a firm grasp of C and Python. I know some C++. I have a lot of experience with Linux and POSIX tools. I'm a quick learner and I have a very cute butt
 
@BernardoMeurer AFAIK it's exactly like that nonsense in PowerShell, except buried deep in the kernel. MS's usual nonsense.
 
9:33 PM
@SevenSidedDie Jesus, it's like if I asked my mom to make an OS ::rolls eyes::
 
@BernardoMeurer And of course they offer their own native alternatives to the unreliable POSIX calls.
 
@BernardoMeurer but can you do basic physics and chemistry?
 
From what I've heard the WIN32API isn't all bad. It makes life a lot easier, the problem is the licensing, and the OS they run on
 
@SevenSidedDie I thought I read recently that Microsoft had announced that the POSIX compatibility layer had been brought into full compliance.
 
@0celouvskyopoulo7 Define basic
 
9:34 PM
@BernardoMeurer Solve $H\psi=i\hbar\psi_t$
 
@dmckee Maybe, now that you mentioned I do think I remember something about that
@0celouvskyopoulo7 Nope
 
@dmckee Oh really! That'd be newsworthy. … For an admittedly very narrow audience.
 
@0celouvskyopoulo7 Doesn't that mean Bernardo needs to be a US citizen for the clearance?
 
@JaimeGallego Use a larger font size. Use wider margins.
 
@JaimeGallego No, and no. We don't do classified work (yet), and non-U.S. citizens can get clearances for some things.
 
9:36 PM
@BernardoMeurer That's what I've heard too. Though that in practice Win32 is somewhat hobbled because MS likes to have their undocumented interfaces be slightly better than what the 3rd party developers get to use. (Not that they're alone in that, with Apple doing the same.)
 
@SevenSidedDie This seems to be a re-write of the old layer.
Seems to be more complicated than just a 'compatibility layer', though.
 
@dmckee Neat. I knew MS recently had a come-to-Jesus moment regarding the fact of open source being here to stay and tromping them in some markets, but I hadn't been actively paying attention.
 
A bit Rube-Goldberg, in fact.
 
@BernardoMeurer We do need someone to drill 85 micron holes in foil
and to fill those holes with powder
 
@0celouvskyopoulo7 YES
THATS MY KIND OF JOB
 
9:38 PM
Though I am sure it is welcome to anyone who needs to bridge those worlds on the back-end.
 
@SevenSidedDie To be honest I just hate everything
 
except for my sisters
damn weirdo
 
True
Even POSIX is kind of a mess
@0celouvskyopoulo7 Michelle invited me to go with her, Ron, and Nuit to see you in August. Also to meet Ron's mom, lol
 
@0celouvskyopoulo7 What do you do exactly? build nukes?
 
@BernardoMeurer True! But it's at least a standardised mess. ^^
 
9:42 PM
@SevenSidedDie Well, but it still puzzles me sometime, for example, strptime supposedly is in POSIX 2008 (IIRC), which means it should be implemented by libc on time.h. But it only works if you enable GNU extensions on the preprocessor!
 
@Mostafa I'm not stupid enough to tell you
 
6 mins ago, by 0celouvskyopoulo7
@JaimeGallego No, and no. We don't do classified work (yet), and non-U.S. citizens can get clearances for some things.
 
I like how my phone says it's not raining while I'm being rained on
 
@BernardoMeurer I'm not familiar enough with it to generate such a criticism, but that does certainly seem backwards to me.
 
Same thing with asprintf()
@SevenSidedDie What do you do for a living?
 
9:46 PM
@BernardoMeurer Financial bookkeepping, of all the odd things. But my background has a shallow amount of all kinds of stuff. (CompSci turned out to be interesting but lead to an industry I didn't want to actively work in.)
 
@SevenSidedDie Ah, I see, but you graduated CS?
 
@BernardoMeurer Failed out of that when I learned that I don't mix work and pleasure well! I graduated in Cognitive Science instead, and kept my compsci informal. I'm mostly a hack when it comes to coding, but I'm a jack-of-many-trades hack.
 
@Mostafa I work in nuclear security
 
@0celouvskyopoulo7 Yes, I said that, especially "the highest".
 
@SevenSidedDie Ah, cool, have you looked into Rust recently?
 
9:48 PM
@DanielSank magic
It said "one of the highest"
Did you hack SE to change that?
 
@BernardoMeurer I haven't but I keep hearing about it enough that I feel like I should. What's your elevator pitch for it / what sold you on it?
 
@0celouvskyopoulo7 Obviously.
I used mathjax to do it.
 
@SevenSidedDie It's a fast, compiled language that enforces safety at every step of the way. It's C for the 21st century.
 
@SevenSidedDie It's what C ought to be.
Done.
Imagine C, but with:
 
@BernardoMeurer @DanielSank That is a pretty compelling pitch.
 
9:50 PM
1. Less bullshit in the build system, i.e. you don't have to #IFNDEF all over the goddamned place.
2. Memory access safety.
 
Oh, yeah, no makefiles
My eyes water even saying that
I am crying
Because no makefiles
 
3. Actual, legitimate dependency management. You don't just #INCLUDE header files. You have real-life namespaces etc. like a proper language.
 
4. Using Rust makes you hate C. That alone is a great reason to try it.
5. Rust has a brilliant notion of lifecycles that statically protect you against improper memory access across e.g. threads.
6. Rust has traits. Let that sink it. It's a systems language with a modern OOP feature.
 
4. Is just not true
I still love C
 
9:53 PM
It gives you the good part of OOP without pushing into inheritance nightmares.
 
HMM. How is it for setting up a build environment? The last time I tried to set up for playing with a new language, it was a special kind of hell trying. (Haskell apparently needs Haskell installed to install Haskell.)
 
Traits are DA BEST
 
@BernardoMeurer Ok fine. That one was an indulgence on my part because I don't like C.
 
@SevenSidedDie cargo init foobar
JUST THAT
 
@SevenSidedDie It takes like two seconds.
 
9:53 PM
@Mostafa Teacher specified fixed standards. He has the indecency of making us write in 12pt Arial.
 
DONE
IT'S AMAZING
 
@SevenSidedDie I got haskell working in a few minutes...
 
(Feel free to keep selling me and I'll check back. Have to run to pick of the kidlet.)
 
RUST HAS MOTHEREFFING SUMTYPES
SUM TYPES BITCHES
 
@BernardoMeurer wat. that is so good.
 
9:54 PM
IT'S DA BEST
 
What's sumtypes?
 
@DanielSank It's a type that can be typed as foo OR bar
i.e. a type that is the boolean sum of two others
say you have two different error types
 
ear pricks did someone say types?
 
and you want to return a unified error from your function
you declare a sumtype of those two
 
@BernardoMeurer So a union?
 
9:55 PM
@DanielSank Not sure you can say that in type theory, dunno.
 
@JaimeGallego He's not gonna find out if you do it the right way/*clean*
 
 #[derive(Debug)]
 pub enum SyncError {
     IO(io::Error),
     Prefix(StripPrefixError),
 }

 impl From<io::Error> for SyncError {
     fn from(error: io::Error) -> Self {
         SyncError::IO(error)
     }
 }

 impl From<StripPrefixError> for SyncError {
     fn from(error: StripPrefixError) -> Self {
         SyncError::Prefix(error)
     }
 }

 impl fmt::Display for SyncError {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         match *self {
             SyncError::IO(ref e) => write!(f, "An IO error occurred while syncing:   {}", e),
Small sumtype example with traits
 
@DanielSank It's logical disjunction via the Curry-Howard correspondence.
 
@BalarkaSen I have absolutely no idea what that means.
 
9:57 PM
Types have a one-to-one correspondence with logical expressions. It's "or" under that correspondence.
Sort of like union, but with types, yeah
 
You study types?
 
Anyways, I have to get going with that essay.
 
@DanielSank He knows everything
 
I know a bit about their mathematics, but I am a noob at the computer science aspect of them.
 
He's a creep
 
9:58 PM
See you later folks
 
@BalarkaSen ok, cool.
There are two aspects of computer science that I really want to learn more about:
1. Type classes
2. Serialization/deserialization
i.e. how to go from a chunk of binary to data to a strongly typed object, and back.
 
@DanielSank You forgot operating systems
 
^ Don't care.
 
I will teach you all about those
 
@DanielSank I see.
 
9:59 PM
Hm, ok, you can train me.
 
I will force feed you to understand pagination
 

« first day (2421 days earlier)      last day (2507 days later) »