感谢学院,很荣幸能参加这次CNCC2019。这次CNCC的召开地点是苏州,所以也算是顺便回一次江南了。 从大会特邀报告中可以看出,这次CNCC很大程度偏重与人工智能、互联网等技术的实际应用,也就是所谓的“智能+”。其余还有对数据库查询的优化、对新型网络协议的思考,此外,还有对人工智能本身的思考(强弱 […]
作者:KAAAsS
CCST-CTF 2019 部分 Writeup
终于咱也入了CTF坑23333 不多说,先上wp。 Misc 刘翔 比较明显的栅栏密码,看第一个f到l,所以6个一组。 刘翔跨栏可还行。 爆破一下? 发现有密码,无脑先修复一下,发现没用。拖进aapr,然后惊喜的发现我裂开了(指默认暴力和字典都不行)。之后打开发现说明密码为5位数字, 然后就完事儿了 […]
Arch Linux (Manjaro) 配置与常用软件安装指南
前言 以前就有听说Manjaro大大简化了Arch繁琐的安装,而且排名也相当不错,但一直没有尝试。正好@某昨在群里提到,于是我就心血来潮的装了个试试。Manjaro是我第三次尝试(之前是Ubuntu和短暂的Deepin)将Linux作为一个独立系统(而非WSL、虚拟机)用于日常使用。经过一段时间的使 […]
每周歌词(84) – 我们的LIVE 与你的LIFE
我还无法想像,那你我都成为大人 即使擦肩而过也无法认出彼此的未来 毕竟我们现在还形影不离啊 可叶间落光下,我虽试着将你呼唤 字眼却不经意间随风飘逝 那一瞬悲若泉涌 伴随眼前景色,满眶摇曳 那眼前景色摇曳,满眶 BGM 《SENTIMENTAL StepS》是LoveLive!企划偶像团体μ̵ […]
用了一段时间Agda的感想
最近闲下来的时候其实一直有在玩Agda。其实之前也知道Agda,但是由于Coq的相关资料更多,而且那时候我在Windows平台上无法安装Agda(old-times库的问题),于是拖到近来PLFA这本书的中文翻译动工才开始跟着看。 我的第一感觉就是,Agda真的很好入门。Agda的语法和Haskel […]
每周歌词(83) – 献给京阿尼
我尽力而活 我永不言弃 都是为你 口中的一句赞许 我 为什么 在哭泣呢 自己的真心 又该如何回应? 总有些话语 难以成词 于是只能不断积累 化为心绪 我亦愈发的 想要与你相会 《Sincerely》是TV动画《紫罗兰永恒花园》的OP,由TRUE演唱,唐泽美帆作词,堀江晶太(KEMU)作曲。 2019 […]
每周歌词(82)
在这无窗的沙漠之中 我一直将谁等待 从横陈的空空的烟灰缸和啤酒罐间 展示的内心世界 如同 从这人生的难以企及的高高的塔上 垂下的一束名为心的发缕 终于有人攀缘而上 而那人,就是你啊 《ラプンツェル》是うP主ナブナ于2016年7月6日投稿至Niconico的Vocaloid作品,由初音Miku(Dar […]
每周歌词(81)
不由得的委屈求全 一点点磨灭着希望 别丢失 别消失 别停止 我不能 放弃 将我自己 Hey Mr.Music 停滞时间 Hey Mr.Music 施展魔法 带我见证如同初恋般甜美的梦 Keep on movin’ 《Mr.Music》是NiconicoうP主れるりり(当社比P)于2011 […]
每周歌词(80)
歌词及翻译来自萌娘百科 失ってしまった代償はとてつもなく大きすぎて 取り戻そうと必死に手を伸ばしてもがくけれど まるで風のようにすり抜けて届きそうで届かない 失去的代价实在是太大 拼命伸手挣扎想要找回来 却如风般穿过 看似可得 但触碰不到 孤独と絶望に胸を締め付られ心が壊れそうになるけれど 思い出に […]
每周歌词(79)
翻译:暮光之镜(网易云音乐) 一次又一次 「我今天也要翻滚了」 少女这么说道 在将笑意表现在话中的同时 「已经好了吗?已经好了喔。你也差不多累了吧」 现在休息吧 《ローリンガール(Rolling Girl)》是P主wowaka(现実逃避P)创作的Vocaloid歌曲,由初音未来演唱,于2010年2月 […]
Comments