Conversation
hyeyoo

Hyeonggon Yoo

Edited 1 year ago
a foolish mistake: can't open my phone's card wallet because of the strap I bought yesterday...

Should've realized that I can't have both :(
1
0
2
ljs

Reply to @hyeyoo
@hyeyoo sometimes in life bro, you have to choose
2
0
2
hyeyoo

Hyeonggon Yoo

Reply to @ljs
@ljs yeah and one thing I have to choose soon is academia vs. industry
2
0
2
ljs

Reply to @hyeyoo
@hyeyoo you have plenty of time don't worry :>)
0
0
2
hyeyoo

Hyeonggon Yoo

Reply to @ljs
@ljs I don't like nor am good at making a choice tbh
1
0
2
ljs

Reply to @hyeyoo
@hyeyoo nor me bro
0
0
2
ptesarik@fosstodon.org

Petr Tesarik

Reply to @hyeyoo

@hyeyoo @ljs Interestingly, @huawei Dresden Research Center can offer both. Just in case you can't make up your mind when you have to…

1
0
2
hyeyoo

Hyeonggon Yoo

Reply to @ptesarik@fosstodon.org
@ptesarik @ljs @huawei

Oh, it wasn't something I was aware of. thank you for letting me know!

But doesn't it require prior research experience?
1
0
1
ptesarik@fosstodon.org

Petr Tesarik

Reply to @hyeyoo

@hyeyoo @huawei @ljs To be honest, I don't know the specifics. The core team has researched formal verification methods for ages. Another person joined from academics and then went back.

There are also interns from the technical university in Dresden. They certainly did no research before, so I assume it's also OK to join as a graduate with no prior research experience.

0
0
1
About social.kernel.org

Terms of service

  1. Please do not use this service in violation of the Linux Kernel Code of Conduct. Doing so will result in your account suspension with the referral of the matter to the CoC committee.

  2. "Repeating"/"boosting" someone else's status on this platform will be treated as endorsement and will fall under rule #1.

  3. You are encouraged to use this platform to promote your work on the Linux Kernel, but there is no restriction on permitted topics (with the exception of anything covered by #1 above).

  4. There is no requirement to post in English, but it should be considered the primary language of communication on this platform.

Privacy notice

The admins of this service have access to all posted statuses. They aren't looking, but if it's something they shouldn't know about, then you should not post it on this platform.

Please see the Linux Foundation Privacy Policy, which applies to this platform as well.

Getting your own account

If you would like an account on this instance, please check that the following applies to you:

  • You are listed in MAINTAINERS or CREDITS

  • OR: You have a kernel.org account or email address

  • OR: You have a long and established history of involvement with the Linux Kernel

If the above is true and you agree with the Terms of Service and Privacy Notice listed above, please use these instructions to request an account: