« first day (2581 days earlier)      last day (2363 days later) » 

6:00 AM
seems like it worked
ubuntu
 
@JohnRennie flavour?
On my Christian chat you're calling it flavour of Linux
 
@enumaris sudo service ssh start
 
but the command I issued seems to have worked...
 
@BernardoMeurer "Christian chat" wtf?
 
and I think I remember on ubuntu 16.04 it's systemctl not service anymore
 
6:02 AM
@BernardoMeurer does that make me an Arch enemy?
 
@DanielSank It's a meme
@JohnRennie No, you don't run Ubuntu
 
@enumaris well try typing sudo service ssh restart and see what happens ...
 
@BernardoMeurer wat
 
Why would a Christian chat be shocking?
 
@JohnRennie Is Ubuntu not on systemd ?
 
6:03 AM
@0celo7 Because I have never previously encountered any reason to believe that this chatroom were religious.
 
also seems to work..?
 
You miss a lot of stuff.
 
I don't get any error message
I'd have to get my laptop to see if I actually started ssh or not
 
@DanielSank It's just something you say when someone commits heresy
 
are you a software engineer?
 
6:06 AM
Me?
 
yeah
 
I'm a child
I'm a CS major
 
Ah
makes sense heh
 
@BernardoMeurer is a very good programmer.
He wrote his own OS.
 
wow
 
6:09 AM
...but I think it didn't have a working file system.
 
It doesn't, it also doesn't have a proper allocator... yet
Soon
 
@BernardoMeurer I will let you run it on my machine
 
does it have a GUI
 
on a separate hard drive and I have to disconnect the others
 
@enumaris it doesn't even have a shell
lol
@0celo7 It doesn't support UEFI (I think?)
 
6:11 AM
u mean like a command line?
 
Yeah
it's just a kernel
 
how do u input commands and stuff then? o.o
 
then wtf does it do
 
You don't
it boots
 
o
 
6:11 AM
And demos some stuff
Like memory allocation
 
boots on what
 
your calculator?
 
I also tested on an old machine
No, but good idea!
I'd need to rewrite the bootloader for ARM
 
I have an old MacBook pro ~2008
 
6:12 AM
so is most of it like...
getting all the different hardware of the computer to work together...
 
@enumaris It's a tour-de-force
It's not meant to be usable
 
I dunno what actually a OS is supposed to do behind the scenes
 
it's meant to say "Look, I know x86 and C well enough that I can write a basic kernel."
 
like how much is included in the OS and how much is...like...hardwired or hardcoded into the hardware?
 
Except it's written in Rust :P
 
6:13 AM
I dunno what that means
 
lol
 
I would like to explain, but I'm half busy
 
is it compatible with multiple types of hardware?
 
I can't teach CArch right now
Yes, if you write a bootloader for the respective architecture
 
6:14 AM
uhhhhh
 
I only wrote it for x86_64
 
lol, maybe when u have time u can tell me what that means lol
 
@enumaris Ask me again tomorrow after 1800 PST
 
alright XD
 
I can give you a tour of how computer works, what a kernel is and what it does
 
6:16 AM
sounds interesting
 
We'll learn about how RAM works, what's pagination, syscalls, and so on
 
of those words, I know RAM
lol
 
And honestly this stuff is hard
 
I only learned enough CS to code some physics
that's about it
 
It took me and one of the engineers at @DanielSank's lab a good 20 minutes to figure out pagination code, lol
 
6:18 AM
and then I learned some machine learning stuff by myself in my free time
20 minutes doesn't sound too bad..
 
On that note, @DanielSank, god bless Kunal's soul, he saved me so much time that afternoon
@enumaris 20 minutes for a CS student who focuses on low-level and a hard-core engineer to figure out something trivial is bad :P
 
ah..
 
@BernardoMeurer Kunal is awesome.
 
20 minutes is bad?
are computer people geniuses
 
Yeah, he is, I really like him
@0celo7 It'd be like you and your advisor spending 20 minutes trying to show something is a manifold
 
6:20 AM
@BernardoMeurer Hard core with a PhD, no less.
 
Something not insane
@DanielSank Yep
 
...that depends entirely on what the something is
 
It definitely took me more than 20 minutes to understand what a manifold is
 
@0celo7 Hey so, why are you so mean to me?
 
What?
I don't even talk to you. How can I be mean?
 
6:22 AM
the silent treatment is kinda mean
 
@0celo7 Lately, your comments toward me have been somewhat acerbic. Are you under stress?
 
@enumaris I think it took most people more than 20 minutes to understand what a manifold is
@DanielSank He has an ulcer
 
Ah.
 
@DanielSank Apologies if you feel addressed by me. I'll try to avoid that in the future.
@BernardoMeurer No I don't.
 
@0celo7 You just don't know it yet
 
6:23 AM
19 mins ago, by 0celo7
You miss a lot of stuff.
How on earth is that not obviously addressed to me?
 
oh
 
::Shrug:: I have a bad memory.
 
I've been reading DanielSank's username as DanielSan...I thought...a karate kid fan...
uhhh....
almost...done...
 
> PROOF. S be conformally developed over Q. S being simply connected, any
point has one image on Q (Theorem 4)
1940s topology is awful
 
@DanielSank Am I weird to much prefer "Dr. Bar" to "Foo Bar; PhD" ?
 
6:33 AM
what on Earth is going on
 
The second one sounds more cocky somehow
@0celo7 That's not a proof
No way
 
well there's more
but I can't tell if he's saying it's surjective, injective, or something else
Lol I think he's just saying it's a function
Old math is so weird
 
I read a homework assignment I wrote which was a review of ADM GR...it kinda made my eyes bleed
 
TouchID really doesn't work for me
 
@BernardoMeurer why
 
6:37 AM
I don't know
 
is it your phone or you
 
It just doesn't read my fingers
 
get someone else to try it
 
Probably me
 
maybe the lack of alcohol is causing your fingers to disintegrate
@enumaris why
 
6:37 AM
the formulas were too long
lol
 
yeah they can get bad
 
@0celo7 Not unlikely
 
I have to do the ADM formalism from scratch in the seminar I'm helping to organize
not looking forward to rederiving all this crap
 
lol
why do u do so much pure math and physics as an engineer?
all just personal interest?
 
I'm not an engineer
 
6:39 AM
You're an engineer major tho?
 
no
 
-.-
so u lied?
 
no.
@BernardoMeurer don't tell him
 
uh...
 
@enumaris there's only one possibility left
(assuming I'm not insane)
 
6:41 AM
lol
I remembered wrong?
I do recall you saying you were an engineer of some sort, or that you were an engineering major of some sort...
 
past tense
 
@enumaris He's a physicist
 
@BernardoMeurer Nah, that makes sense to me.
 
@BernardoMeurer those are fighting words
 
6:42 AM
@0celo7 Is a set theorist
 
set theorist...
 
I'm not a degenerate type of philosopher
take that back
 
@0celo7 That is an unreasonable assumption.
 
@DanielSank Excuse you.
 
u should develop Wheeler's superspace into a more formal formalism...and then get to the real dynamical variables by removing the Hamiltonian constraint
sounds like a fun project
go go gadget physicist
 
6:47 AM
I don't know anything about that part
 
@0celo7 My bad, I was joking
@enumaris He's actually just an algebrist
 
@BernardoMeurer is a poor troll
 
so what was an algebra again
x+4=17 something like that right
data transfer finish...finallyyyy
hmmm so it's taking me about as much time to load the training arrays into memory as it does to actually train on them...almost the same amount of time...which means...I can do a lot better if I go for a parallelized version...probably...
 

« first day (2581 days earlier)      last day (2363 days later) »