前言 以前就有听说Manjaro大大简化了Arch繁琐的安装，而且排名也相当不错，但一直没有尝试。正好@某昨在群里提到，于是我就心血来潮的装了个试试。Manjaro是我第三次尝试（之前是Ubuntu和短暂的Deepin）将Linux作为一个独立系统（而非WSL、虚拟机）用于日常使用。经过一段时间的使 […]
作者:KAAAsS
每周歌词(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月 […]
每周歌词(78) – 三周年
翻译：樱落域 明明无法触碰却看到了啊 应该怎么办呀咿啊咿啊 靠近遥远的你的我明白了啊 啊啊 斗转星移 我们一直都在重复循环着 思绪描绘出了轨道 就为追逐着你 啊啊 马上就想见到你 在命中一直重复循环著 在这旋转轨道上 你也是不在我身边呢 除此之外想不到呢 《惑星ループ（行星环）》是Vocaloid职 […]
每周歌词(77)
翻译：王小贱ycz（网易云音乐） You may know …Dream 你也许知道……在梦中 Stepin’ in the clouds just with the thunder chords 伴着雷鸣和弦，踩着云端的舞步 You may know …Drea […]
Comments