The h Bar

enumaris

06:00

seems like it worked

ubuntu

Bernardo Meurer

@JohnRennie flavour?

On my Christian chat you're calling it flavour of Linux

John Rennie

@enumaris sudo service ssh start

enumaris

but the command I issued seems to have worked...

DanielSank

@BernardoMeurer "Christian chat" wtf?

enumaris

and I think I remember on ubuntu 16.04 it's systemctl not service anymore

John Rennie

06:02

@BernardoMeurer does that make me an Arch enemy?

Bernardo Meurer

@DanielSank It's a meme

@JohnRennie No, you don't run Ubuntu

John Rennie

@enumaris well try typing sudo service ssh restart and see what happens ...

DanielSank

@BernardoMeurer wat

0celo7

Why would a Christian chat be shocking?

Bernardo Meurer

@JohnRennie Is Ubuntu not on systemd ?

DanielSank

06:03

@0celo7 Because I have never previously encountered any reason to believe that this chatroom were religious.

enumaris

also seems to work..?

0celo7

You miss a lot of stuff.

enumaris

I don't get any error message

I'd have to get my laptop to see if I actually started ssh or not

Bernardo Meurer

@DanielSank It's just something you say when someone commits heresy

enumaris

are you a software engineer?

Bernardo Meurer

06:06

Me?

enumaris

yeah

Bernardo Meurer

I'm a child

I'm a CS major

enumaris

Ah

makes sense heh

DanielSank

@BernardoMeurer is a very good programmer.

He wrote his own OS.

enumaris

wow

DanielSank

06:09

...but I think it didn't have a working file system.

Bernardo Meurer

It doesn't, it also doesn't have a proper allocator... yet

Soon

0celo7

@BernardoMeurer I will let you run it on my machine

enumaris

does it have a GUI

0celo7

on a separate hard drive and I have to disconnect the others

Bernardo Meurer

@enumaris it doesn't even have a shell

lol

@0celo7 It doesn't support UEFI (I think?)

enumaris

06:11

u mean like a command line?

Bernardo Meurer

Yeah

it's just a kernel

enumaris

how do u input commands and stuff then? o.o

0celo7

then wtf does it do

Bernardo Meurer

You don't

it boots

enumaris

o

Bernardo Meurer

06:11

And demos some stuff

Like memory allocation

0celo7

boots on what

Bernardo Meurer

A VM

0celo7

your calculator?

Bernardo Meurer

I also tested on an old machine

No, but good idea!

I'd need to rewrite the bootloader for ARM

0celo7

I have an old MacBook pro ~2008

enumaris

06:12

so is most of it like...

getting all the different hardware of the computer to work together...

Bernardo Meurer

@enumaris It's a tour-de-force

It's not meant to be usable

enumaris

I dunno what actually a OS is supposed to do behind the scenes

Bernardo Meurer

it's meant to say "Look, I know x86 and C well enough that I can write a basic kernel."

enumaris

like how much is included in the OS and how much is...like...hardwired or hardcoded into the hardware?

Bernardo Meurer

Except it's written in Rust :P

enumaris

06:13

I dunno what that means

Bernardo Meurer

:/

enumaris

lol

Bernardo Meurer

I would like to explain, but I'm half busy

enumaris

is it compatible with multiple types of hardware?

Bernardo Meurer

I can't teach CArch right now

Yes, if you write a bootloader for the respective architecture

enumaris

06:14

uhhhhh

Bernardo Meurer

I only wrote it for x86_64

enumaris

lol, maybe when u have time u can tell me what that means lol

Bernardo Meurer

@enumaris Ask me again tomorrow after 1800 PST

enumaris

alright XD

Bernardo Meurer

I can give you a tour of how computer works, what a kernel is and what it does

enumaris

06:16

sounds interesting

Bernardo Meurer

We'll learn about how RAM works, what's pagination, syscalls, and so on

enumaris

of those words, I know RAM

lol

Bernardo Meurer

And honestly this stuff is hard

enumaris

I only learned enough CS to code some physics

that's about it

Bernardo Meurer

It took me and one of the engineers at @DanielSank's lab a good 20 minutes to figure out pagination code, lol

enumaris

06:18

and then I learned some machine learning stuff by myself in my free time

20 minutes doesn't sound too bad..

Bernardo Meurer

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

enumaris

ah..

DanielSank

@BernardoMeurer Kunal is awesome.

0celo7

20 minutes is bad?

are computer people geniuses

Bernardo Meurer

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

DanielSank

06:20

@BernardoMeurer Hard core with a PhD, no less.

Bernardo Meurer

Something not insane

@DanielSank Yep

0celo7

...that depends entirely on what the something is

enumaris

It definitely took me more than 20 minutes to understand what a manifold is

DanielSank

@0celo7 Hey so, why are you so mean to me?

0celo7

What?

I don't even talk to you. How can I be mean?

enumaris

06:22

the silent treatment is kinda mean

DanielSank

@0celo7 Lately, your comments toward me have been somewhat acerbic. Are you under stress?

Bernardo Meurer

@enumaris I think it took most people more than 20 minutes to understand what a manifold is

@DanielSank He has an ulcer

DanielSank

Ah.

0celo7

@DanielSank Apologies if you feel addressed by me. I'll try to avoid that in the future.

@BernardoMeurer No I don't.

Bernardo Meurer

@0celo7 You just don't know it yet

DanielSank

06:23

19 mins ago, by 0celo7

You miss a lot of stuff.

How on earth is that not obviously addressed to me?

enumaris

oh

0celo7

::Shrug:: I have a bad memory.

enumaris

I've been reading DanielSank's username as DanielSan...I thought...a karate kid fan...

uhhh....

almost...done...

0celo7

> PROOF. S be conformally developed over Q. S being simply connected, any
point has one image on Q (Theorem 4)

1940s topology is awful

Bernardo Meurer

@DanielSank Am I weird to much prefer "Dr. Bar" to "Foo Bar; PhD" ?

0celo7

06:33

what on Earth is going on

Bernardo Meurer

The second one sounds more cocky somehow

@0celo7 That's not a proof

No way

0celo7

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

enumaris

I read a homework assignment I wrote which was a review of ADM GR...it kinda made my eyes bleed

Bernardo Meurer

TouchID really doesn't work for me

0celo7

@BernardoMeurer why

Bernardo Meurer

06:37

I don't know

0celo7

is it your phone or you

Bernardo Meurer

It just doesn't read my fingers

0celo7

get someone else to try it

Bernardo Meurer

Probably me

0celo7

maybe the lack of alcohol is causing your fingers to disintegrate

@enumaris why

enumaris

06:37

the formulas were too long

lol

0celo7

yeah they can get bad

Bernardo Meurer

@0celo7 Not unlikely

0celo7

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

enumaris

lol

why do u do so much pure math and physics as an engineer?

all just personal interest?

0celo7

I'm not an engineer

enumaris

06:39

You're an engineer major tho?

0celo7

no

enumaris

-.-

so u lied?

0celo7

no.

@BernardoMeurer don't tell him

enumaris

uh...

0celo7

@enumaris there's only one possibility left

(assuming I'm not insane)

enumaris

06:41

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...

0celo7

past tense

Bernardo Meurer

@enumaris He's a physicist

DanielSank

@BernardoMeurer Nah, that makes sense to me.

Bernardo Meurer

Jk

0celo7

@BernardoMeurer those are fighting words

Bernardo Meurer

06:42

@0celo7 Is a set theorist

enumaris

set theorist...

0celo7

I'm not a degenerate type of philosopher

take that back

DanielSank

@0celo7 That is an unreasonable assumption.

0celo7

@DanielSank Excuse you.

enumaris

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

0celo7

06:47

I don't know anything about that part

Bernardo Meurer

@0celo7 My bad, I was joking

@enumaris He's actually just an algebrist

0celo7

@BernardoMeurer is a poor troll

enumaris

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...

Transcript for