主要分享这些主题：区块链与加密货币, AI，以及其他互联网相关的话题。
The RSS's url is : https://blog.lyric.im/lyric/feed/atom
Please copy to your reader or subscribe it with :
1970-01-01 08:00:00
Framework Laptop 和 Macbook Air M2 比较：价格、外观设计、屏幕、重量、CPU、内存、电池续航、键盘、扩展能力和操作系统。
1970-01-01 08:00:00
Email在海外具有重要地位，Gmail是最强的邮箱服务商，具有最强的反垃圾和稳健的服务。QQ邮箱是国内用量最大且质量稳健的邮箱，网易系和新浪邮箱质量不及QQ邮箱。微软系邮箱质量拉垮，icloud邮箱服务不推荐。匿名收信服务和Proton Mail稳定可靠，Proton Mail对待隐私态度实在.
1970-01-01 08:00:00
Mixin Safe 是 Mixin Network 在去年就公告要进行升级的资产管理框架，旨在增强在 Mixin 上的资产安全性。本文对此框架的安全性进行了分析
1970-01-01 08:00:00
这个星期，ETH 的创始人 Vitalik Buterin 的 X 帐号（前生叫 Twitter）被黑客 SIM 劫持（SIM Swap）攻击了。黑客窃取他的 X 帐号访问权后，使用他的身份发布钓鱼信息，窃取了其他人的资产。SIM 劫持是一种还挺普遍的攻击手法。最近些年 SIM 劫持的数量和危害是在上升的...易得手。
1970-01-01 08:00:00
移民虽然是一个重大决策，但是不同人对相同的事情是有不同看法的，尤其是对生活成本的「价值」的解释，完全因人而异。作者分享了一个查询全世界各地生活成本的网站，但发现其中还是有不少问题。接下来，作者将根据亲身经历解释一些问题（涉及的内容可以参考文章的目录）。
1970-01-01 08:00:00
最近半年感觉自己明显变强了（不是因为变秃了）。主要是因为 AI，效率提高了两三倍吧。现在的情况是，可能 50% 的代码都是 AI 写的；50% 的文案都是 AI 写的。100% 的插图都是 AI 画的。
1970-01-01 08:00:00
游戏是自由的。游戏具备与生俱来的乐趣。游戏与现实必须互相隔离，因为它是对现实的逃避。游戏是人类社会发展的起源和动力，很多社会活动都发展自游戏。而 Game-Fi 从一开始就处于「反游戏」的位置上，他们不是游戏的革命者。
1970-01-01 08:00:00
两个事件驱动了这篇文章的内容。第一个事件是人工智能供应商Meta发布了Llama 2，该模型在AI领域表现出色。第二个事件是llama.cpp对CLBlast的支持。作者分享了在Ubuntu 22.04下使用llama.cpp + llama2的经验，并提供了下载Llama2模型的链接。
1970-01-01 08:00:00
在这篇文章中，我将讨论如何润日，日本的劝退点，适应日本生活的技巧以及一些生活相关的建议。对这个话题感兴趣的读者应该是有润日计划的人。
1970-01-01 08:00:00
Quail 是一个意外的产物，起初只是想写 Newsletter，但现在已经成为了一个Newsletter 服务。在开发过程中，我花了 10 个周末完成了 Quail 的网站和文档站，目前已经有1380 位用户注册或订阅，共发布了88篇文章，被 27000 多人访问和 8000 多人阅读。特别感谢oran...助和建议
1970-01-01 08:00:00
ChatGPT 爆发的那几个月，独立开发者们纷纷开始搞AI相关的开发。Pando 团队也加入其中，并做了一些项目。作者讲述了其中的故事，并且分享了关于 AI 产品研发的经验和教训。
1970-01-01 08:00:00
前段时间一直在做「面向 AI 的编程」——其实就是调用 OpenAI 和开源的 LLM。写本文的动机是总结在这段时间里涉及到的各类「技巧」。 我觉得随着时间的发展，未来很多「技巧」会失去价值。但在当下，如果你和我一样，需要在程序代码里嘱咐 LLM 做点什么事情，那么这篇文章应该可以给你一些帮助。
1970-01-01 08:00:00
最近政府对加密货币的监管压力变得更大，而且各国对LLM技术和其相关技术的监管也更加严格。现在有人问我认为某项技术是否具有颠覆性，我会借鉴类似GFW质量体系认证的说法，衍生出“全球政府监管认证分”：如果技术被多个政府视为潜在威胁，那么它就可能
1970-01-01 08:00:00
传统的创新者喜欢说「fake it till you make it」,而在Web3时代，往往是「fake it till you make a token and sell them all」。但区块链象征的自由精神不应该消失，创新者应该
1970-01-01 08:00:00
🐾如何将宠物（以猫为例）移民到日本的过程。本文提供了详细的说明，包括获取疫苗和血液检测、等待180天以及在旅行前完成文件工作。我建议提前一年开始该过程，并强调遵守所有要求的重要性，以避免被拒绝入境日本。成功完成该过程的宠物将获得在日本的居
1970-01-01 08:00:00
Quail.ink 是一个即将推出的 Newsletter 平台，它专注于隐私、透明度和自由。我之前运营了一个小公众号，因为市场上缺乏令人满意的选择，所以创建了 Quail.ink。该平台旨在提供流畅的发布和内容管理体验，并将完全支持自主托
1970-01-01 08:00:00
PAL9000 是一个开源的 Golang 写的通用 Bot 程序。基于它可以很容易搭建一套支持各个渠道的机器人，在 Discord，Telegram 和微信公众号里使用它
1970-01-01 08:00:00
这篇文章不是一份真正的指南，如果能清楚地明白这一代 AI 的能力的上下界，有助于社畜避免被淘汰🤖💼。这篇文章确实也是一份指南，如果你把它转发给你的老板看的话👨💼。
1970-01-01 08:00:00
因为工作和疫情的关系，在东京呆了一年。虽然语言不足了解媒体的一手信息，而且只呆了一年，但毕竟每天都在日本，贵在真实，可以跟大家简单分享一下见闻和感受。本文非常不严谨，很多指标忽略了来自公开渠道的信息，如有看法肤浅的地方，主要归咎于我的个人见解局限。
1970-01-01 08:00:00
奇点主义者预想的未来：以自动售货机为例，说明AI可以根据购物者的消费习惯和需求，进行进货调整，增加经济效益。这一切将通过智能合约来执行，而人的工作则变成了修理机器。由此提到乔布斯所坚持的对这一未来的反抗精神
1970-01-01 08:00:00
Lambda演算是一个形式定义系统，用于研究函数定义、实现和递归，也是函数语言的计算模型。它由变量、符号和括号组成，可以进行函数抽象和应用。Lambda演算具有与图灵机相同的运算能力，并被认为是实现世界万物的基础。Lambda演算的表达式记号法允许省略最外层括号，并使用函数抽象来定义函数。
1970-01-01 08:00:00
在 SICP 1,3 节的时候有提到判断素数的方法。朴素的素数判定，地球的同学都知道的，如果数 n 除 1 以外的最小因数是他自己，那么n就是素数。但这个方法很慢，它的阶是O(n)。下面 SICP 给出了费马小定理...