img-16277959531535df3bd39e35e400ac14bcbc2dd073109


2021-8-1

2021年8月1日 星期日 天气 晴 心情 舒适

转眼就到了8月份,今天是8月的第一天,所以我想来开个好头。

宅在家的日子慵懒且自在,正值奥运会期间,不是体育迷的我也观看了好多赛事,说是关心国家大事,实则为不想学习找理由。

今天可算是来了,计划学习一个下午,就可以奖励自己晚上玩得开心,值。


2021-8-2

2021年8月2日 星期一 天气 晴 心情 紧张

今天我也来啦,表扬!

这两天算是有一点点进展吧,但是好不容易找到的开源的那个工具,环境不太好配,正头疼。本来以为SCADE开源且靠谱,结果导师说这个是商用的,要几百万。。。

晚上开组会重新缕了下研究的思路。经历了上次手机开会做笔记失败之后,这次机智的我用手机录了音,明天整理一下,以后搞不明白了可以听听。导师说可以换个工具试试,希望如我所愿。 :pray: (butterfly显示不出表情吗)


2021-8-4

2021年8月4日 星期三 天气 晴 心情 无聊

昨天没有来,因为昨天是组会后的休息日。本来说是每天都来看看,每天进步一点点,但由于昨天心情不太好,是摆烂的一天,看剧都能看无聊,就早睡了。

今天的任务不算多,那就先把组会的事情梳理一下吧。(●’◡’●)


2021-8-5

2021年8月5日 星期四 天气 阴转雷雨 心情 无聊

今天的天气终于不再是晴了,然而雷雨前的气压闷得让人感到焦躁。

在家的作息,由于我妈的监督,的确比在学校规律一些了。具体来说,睡得早起得不晚。也有一部分是由于晚上没有室友们快乐聊天,所以一般无聊了就睡。平常在学校一点多才睡的我,昨天居然12点就困了。今天还看了全红婵妹妹跳水,震撼得目瞪口呆,天降紫微星不过如此了。

处在疫情风险地区,不知道什么时候能回学校。在家悠闲自在,在学校没有被push的时候还是蛮好玩的。

要是家在学校旁边就好了/(ㄒoㄒ)/~~

对了,今天买的一箱冰淇淋到啦,快乐吃冰🤭


2021-8-6

2021年8月6日 星期五 天气 ⛅ 心情 闲散

作为一个湖南人,吃了辣条居然肚子疼,实在不应该。

肯定不是我的问题。

又到了周五,在学校的时候,周五意味着快乐周末。周一组会,周二写作业,周三摸鱼,周四吃大餐,周五迎接周末,周末快乐。到头来一周只有周一在正经应付组会。

但是在家,周五意味着离组会还剩三天。这么一想,在家学习的时间相比在学校还挺多的,因为一无聊就只好坐电脑前面了。比如现在,起床之后等午饭的时间是无聊的,所以我来了。


2021-8-7

2021年8月7日 星期六 天气 ⛅ 心晴 慵懒

Hello大家好,今天是慵懒的一天。

前天下载好了opam,满心欢喜地觉得离Lustre V6更近了一步,结果昨天倒腾了一天都不行。

为什么Windows和Linux在安装工具配置环境这块总有些地方让人无语凝噎/(ㄒoㄒ)/~~

所谓鹬蚌相争,渔翁也不得利。又一次欣赏到了秦始皇统一天下后统一各项标准的高明👍。


2021-8-8

2021年8月8日 星期日 天气 ⛅ 心情 迷茫

今天是组会的前一天,我还是没有装好Lustre V6。

今天也是北京奥运会开幕的13周年纪念日(如果我没记错的话),也是2020东京奥运会的闭幕日。到目前为止,中国的金牌数还是第一。虽然已经做好美国赶超的心理准备,但在金牌榜第一挂了这么久我也心满意足了。

又想起了我的老乡谌利军(蹭蹭),最后一举破釜沉舟扭转乾坤拿到了奥运冠军,希望这能改善他的家庭条件。看着那么多地方企业给冠军们送房,我也有点自私地希望益阳的企业能看到他,他值得。


2021-8-9

2021年8月9日 星期一 天气 ⛅ 心情 无趣

今天八点多就醒了,可能是因为七点多半梦半醒间听到我妈进来跟我说九点多了还不起床。我虽然没睡醒,但还是有意识她在骗我的,因为我八点半的闹钟还没响。

大人是不是都热衷于开这种无趣的玩笑。😶

要开组会了,一周的时间安装软件都以失败告终。没有正反馈的忙碌就特别让人扫兴。

今天试试虚拟机。

💡今日达成成就:

  • 安装虚拟机
  • 安装Lustre V6

2021-8-10

2021年8月10日 星期二 天气 小雨转阴 心情 安逸

今天是开完组会的休息日,正所谓劳逸结合,希望能保持这个优良传统。

今天早上下过了雨,所以起床后很凉爽,一天都没有打开空调,就窝在沙发上看了一下午校园青春偶像剧。

好像已经好多年没看过这类剧了,上一次上瘾还是看最好的我们的时候,耿耿于怀。兜兜转转,又回到了八月长安。

不过这都要归因于张新成,演技好容貌佳,声音温柔唱歌好听……看一部剧迷一阵子,嘻嘻🤭

今天能不能运动成功呢?


2021-8-11

2021年8月11日 星期三 天气 阴 心情 舒适

延续昨天留下的问题,昨天晚上做运动有进展哦!只是做的都是些拉伸运动,帕姐的运动还是让我先适应几天再说吧。

已经回家两周了,过了阵闲适安逸的日子,这周好像得出去走动走动。 得加快点研究进度了。

💡今天达成成就:

  • 安装docker
  • 安装z3
  • 安装kind2

2021-8-12

2021年8月12日 星期四 天气 小雨 心情 舒适

今天大脑自动执行了奖励机制,由于昨天进展良好,所以今天心安理得看剧去了。

昨天睡前看了点神奇的历史小故事,那种历史长河里带来的神秘感像几十亿光年外的星星一样闪烁。

有时候会突然冒出一些好玩的想法,比如,如果我穿越了的话,我具有哪些穿越者的优势。结果一想想,我历史不好,也没法预言将来会发生的大事件,加上文采也就这样,啥都不想做,说不定别人说话都听不懂。这要是投在一个富贵人家,还可以学学琴棋书画到处游山玩水感受各地风土人情,要是投在一个穷苦人家,真的可以分分钟想原地自杀,哈哈哈哈

💡今日达成成就:

  • 在虚拟机上安装了个占内存又没用的工具集

2021-8-13

2021年8月13日 星期五 天气 小雨 心情 舒适

今天周五!

不过宅在家不管周几都已经无所谓了,除了周一。一周过得真快,回家前想的在家待两三周,到现在也快三周了,但是学校不建议我们返校哇。

其实回家的日子大多都是宅家的,特别是疫情期间,更是过上了肥宅生活,大门都不出。要是没有科研任务就更美好了☀。

💡今日成就:

  • 看了两篇与Lustre V6有关的论文:

    [1] 兰林,马权,侯荣彬,蒋维,杨斐.Lustre语言可信代码生成器研究进展[J].仪器仪表用户,2020,27(05):68-72.

    [2] 康跃馨,甘元科,王生原.同步数据流语言可信编译器Vélus与L2C的比较[J].软件学报,2019,30(07):2003-2017.


2021-8-14

2021年8月14日 星期六 天气 雨 心情 舒适

今天是一年一度的七夕节,在古时候是女孩们向织女乞求智巧的日子,在现在是商家们促进消费的几个情人节中的一个。

节日的意义不在于节日本身,而在于陪你度过的人赋予的仪式感。仪式感不是形式,是特别的庆祝方式。

仪式感是个好东西,希望大家都能赋予和享受。

💡今日成就:

  • 研究了Lustre V6工具使用

2021-8-15

2021年8月15日 星期日 天气 小雨 心情 无聊

今天有点犯困,是由昨天晚上的一只蝙蝠引起。

在我接近梦乡的时候,听到什么东西从空调管道掉了进来,随之一两声咕咕,吓得我立马开灯戴眼镜。只见一只蝙蝠在我上空盘旋,我瞪大眼睛立马哭着叫妈。打开窗户怎么都飞不出去,老往空调管道那块撞,可能是想原路返回吧,反而引进来几只蚊子。于是我就被蚊子咬了好几个大包气得睡不着,三点多还在战斗,后来开了空调盖上被子就迷迷糊糊睡着了。

至于那只蝙蝠,飞不出卧室就飞去了客厅,找不着了。现在估计在哪个角落睡大觉吧,晚上又要出来了。。😴

💡今日成就:

  • 用Lustre V6跑出来一个Lustre程序

2021-8-16

2021年8月16日 星期一 天气 多云 心情 舒适

今天出门啦!

是我回家后的第三次出门,去吃了酒席,见到了好多亲戚,又是被妈妈催着叫人的一天。他们人都很好,我可以在见面的时候预测到他们下一句要说什么,因为每年见到他们都说我又长高了。但是他们对大人的打招呼方式又不一样,可能一直把我当小孩子看待吧,不过这样也不错。

由于组会改到了明天,所以今天又心安理得窝沙发上了,但是我还是来啦,努力抓住Blog的每一个小绿格子,当然在我主页是小橙格子。

💡今日成就:

  • 学会了用vi新建和编辑文件算不算?
  • 捣鼓了一晚上kind2,还没搞明白怎么跑程序😔

2021-8-17

2021年8月17日 星期二 天气 阴 心情 无趣

今天天气有点闷热,乌云压得外面灰蒙蒙的,是雷雨前的宁静。

今天也是一周一度的组会日,我给自己定的目标并不高,以致摸鱼时间很多。

俗话说:思想上松一尺,行动上松一丈。一旦我觉得这样做也行,那我的快乐多巴胺就会分泌,突然就轻松了。

俗话又说:三人行,必有我师焉。我们实验室的三人摸鱼小组在关键时刻真帮我解决了困扰三天的大问题,真好!

💡今日成就:

  • 总算能用kind2跑程序了

2021-8-18

2021年8月18日 星期三 天气 ⛅ 心情 舒适

今天是818,虽然不知道是什么日子,但感觉挺顺口的。

昨天开完了组会,终于抽空走动了下亲戚。现在写博客的时间是23:00,我刚洗漱完上床,是难得的快乐独处时间。

这次出门特意带了电脑,是为了打卡我的小橙格子;但没带电脑充电器,是为了只打卡我的小橙格子。所以这几天,我决定给自己放空一下。不过闲暇时间也可以问问师兄师姐下一步怎么走的问题。

💡今日成就:

  • 成功出门进行社交

2021-8-19

2021年8月19日 星期四 天气 晴 心情 无聊

今天是出门的第二天,7点就起床了,也许创造了这一年来的早起新记录。

(6月份第一天是个通宵,不算早起)~~~~(不对,好像去迪士尼是六点半起的嘞!)

今天也是没有给自己安排事情的一天,所以这一天以看了三期脱口秀大会度过。双胞胎姐妹太可啦!好喜欢!

晚上22:45才打开电脑,说明比昨天早上床15min。打卡完就睡啦,晚安~

💡今日成就:

  • 老司机开车上路,我还是挺会开车的嘛

2021-8-20

2021年8月20日 星期五 天气 晴 心情 无聊

又是一天的23:00,我来到了这里。

今天的大半天都是在路上和等上路,值得一提的是,终于回家啦。回家之前去看望了外公外婆,他们给我做了一大桌子菜!饭后闲暇就看着我用ipad弹钢琴写字画画,好像感觉很有意思,乐呵呵的。

好啦,收心,明天要开始学习咯。

💡今日成就:

  • 顺利回家

2021-8-21

2021年8月21日 星期六 天气 晴 心情 舒适

今天是周末,赖了个小床。

说实话,对未来的研究陷入了迷茫,不知从何着手,进而导致学习的动力丧失。

还是多问多听吧。

💡今日成就:

  • 整理组会内容
  • 开始运动

2021-8-22

2021年8月22日 星期日 天气 晴 心情 无趣

今天是组会的前一天,可是这周还没有什么进展,苦恼😔


2021-8-23

2021年8月23日 星期一 天气 ⛅ 心情 摆烂

今天是暑期学校的第一天,听国外的教授们讲授了形式化方法的基础知识和Lustre语言。

💡今日成就:

  • 开组会

2021-8-24

2021年8月24日 星期二 天气 小雨转阴 心情 舒适

今天好像没什么值得记录的事情,本来是打算去问问大师兄相关研究成果,还是被看剧耽搁了。


2021-8-25

2021年8月25日 星期三 天气 阴 心情 舒适

项目又来任务了,时间有点紧张,这周日要完成,希望明天能好好学习。

周六回上海,买完机票就去做了核酸检测。原本在家已经呆腻了,但想到过两天就要走了有点舍不得,纠结。


2021-8-26

2021年8月26日 星期四 天气 阴 心情 舒适

假期在家的最后几天都弥足珍贵。

💡今日成就:

  • 学习撰写软件测试规范

2021-8-27

2021年8月27日 星期五 天气 阴 心情 舒适

今天本来可以快乐宅家,但还是需要为昨天的摸鱼负责。

返校前的最后一天啦,好好和妈妈度过吧!

💡今日成就:

  • 完成测试规范的撰写

2021-8-28

2021年8月28日 星期六 天气 晴 心情 复杂

今天回上海了,待惯了家里20几度的天气,出机场的闷热潮湿有点猝不及防。

头发又炸了。

💡今日成就:

  • 返校

2021-8-30

2021年8月30日 星期一 天气 晴 心情 复杂

今天是2021级研究生新生开学报到的日子,校园里新添了好多天真的面孔。

没想到我和小胡才是今天最天真的人,凌晨五点睡不着一时兴起决定去做头发,然后斥了巨资办了卡。

明天会更好。

💡今日成就:

  • 斥巨资做头发