《编程语言基础：Agda 描述》已经翻译完成。

硅星人Pro:

“现在反而大家都在炒作了，最后能提高一两个点就可以发篇文章——是因为方法好吗？不是，而是因为用更快的计算机在算。”
……
前几天，马毅在新开设没多久的 Twitter 账号上，发表了一个会让很多追赶深度学习时髦的人不舒服的观点：如果一个学者只读过去五六年里发表的文章的话，这辈子能够产生真正突破性想法的可能性几乎为零。与其这样做学问，还不如去赌城玩角子机赢钱的概率大。
……
“一个人得有多么自大，以为自己花半年想到的想法，在过去70年里那些比你更聪明，更会动脑筋，（计算）资源比你更少的人没有想到？现在被大家认为世界上最聪明的这样一群人，实际上反而变得最没有常识了，这是一个非常不幸的事情，”马毅表示。

说的很好啊，之前看到过一些马毅的 White-Box 系列论文，还蛮有趣的，虽然不是很能看得懂，但是比起无聊的黑盒 AI，还是这种内容让人心安。

看到纽约时报报道说 Google 大范围撤回了他们的刚刚推出的 AI 概览，真是件好事。我之前就抱怨过 AI 概览非常的占据搜索空间，而且让网页显示的速度变慢。纽约时报提到说撤回的一个原因是 hallucination，这个也是我不太理解的一点，明明现在没有什么好的方法可以解决大语言模型的 hallucination，但是像 Google 这样的公司还是在着急的把它们集成在自己的产品中，不怕有风险吗？

从来没有看过台版的电子书，刚刚下载了村上春树的《刺杀骑士团长》来看。发现虽然是电子书横排，但是翻页方式却是从右向左，有点奇怪。

最近和别人聊天说的最多的词就是「走一步算一步」……

关于战俘待遇的日内瓦公约:

战俘每日劳动时间，包括往返路程之时间，不应过度，绝不得超过拘留国本国普通工人在该区从事同样工作者所许可之时间。战俘在每日工作之中间，必须给与不少于一小时之休息。若拘留国工人之休息时间较长，则战俘之休息亦应与之相同。每周应另给与连续二十四小时之休息时间。以星期日或其本国所遵行之休息日为宜，此外工作满一年之战俘应给予连续八日之休息，在此期间工资应予照付。

职工带薪年休假条例:

职工累计工作已满1年不满10年的，年休假5天；已满10年不满20年的，年休假10天；已满20年的，年休假15天。

这个待遇比战俘还不如……

算了，依旧不想写标题，调整了一下用户的名字也不是不行。

虽然我在写这些碎碎念的时候一般不写标题，但是似乎在一些阅读器上的内容显示会有点丑，有点纠结，要不要写个时间之类的作为标题。

Vox:

On Friday, Vox reported that employees at tech giant OpenAI who wanted to leave the company were confronted with expansive and highly restrictive exit documents.

很难想象，OpenAI 已经被叫做 Tech Giant 了。

Rest of World:

Jason Liu, a former journalist who runs the popular podcast May I Ask, posted recordings from the protest scene, where people chanted slogans like “Defend democracy.” As a new platform, Liu told Rest of World, Threads is able to amplify the voices of ordinary users. “There is so much misinformation and fake accounts in Taiwan,” he said. “Everyone is looking for something real. Threads is proving to be doing just that.”

我觉得这个话说的就很奇怪，刘致昕作为一个长期关注假新闻和信息操控的记者，居然会给一个由 Facebook 建立，纯粹算法驱动的社交媒体唱赞歌。我完全无法理解这点。

X has never become mainstream in Taiwan. During the last major protest, the 2014 Sunflower Movement, student activists communicated through a mix of Facebook, local forums, and YouTube livestreams, participants told Rest of World. 

But the youth have now found those platforms to be obsolete and too conservative. “It feels like we are starting fresh [on Threads],” Huang Tzu-ning, a 26-year-old education worker, told Rest of World. Huang, who began posting on the day of Taiwan’s presidential election, has been interacting with high school and university students about how to participate in politics. “Facebook no longer has these young groups.” 

这点更加的奇怪，Twitter 上的关于台湾政治的讨论，一直以「倾绿」著称，而且还是深绿，很多还都是「侧翼」的支持者。

我遇见一个非常奇怪的坑，我有一个 WordPress 的网站，网站的语言设置的是中文，平常用 MarsEdit 或者 WordPress iOS 发布文章。
今天我突然发现所有用 MarsEdit 发布的文章都是正确的 utf-8 编码，然而用官方 app 发布的文章全是 cp1252。但是我检查了数据库的设置，默认使用 utf-8，不知道哪里出错。
最后的解决方案是我手工把受影响的文章转换了编码，感觉是 wordprss 语言是中文的锅，我把语言改成了英文，马上编码格式正确了。

「Slug」这个词在计算机科学中含义的词源

Cabel Sasser:

I tried Copilot, and, credit where credit is due, this is a legendary autocomplete suggestion

Lol.

用 Anki 的最重要的一点就是必须要自己制卡，不然没有任何意义。

Rest of World:

Many of these older Venezuelans have turned to online gig work — and in particular “clickwork,” a type of cloudwork in which people earn pennies by labeling and annotating data to train AI systems. In 2021, Julian Posada, an assistant professor at Yale University and a member of the law school’s Information Society Project, published data analysis from web traffic aggregator websites, focusing on platforms that crowdsource data work. Posada identified that after the U.S., Venezuela hosts the largest number of data workers in the world.

支撑着这些「高科技」的 AI 行业的人，其实都是来自像委内瑞来这样地方的边缘群体。

David Owen, The New Yorker:

Nowadays, producing and saving images is so easy that few people bother with paper prints, photo albums, or even cameras. They hold up their phone and click away, hoping to end up with something decent, which they then post on Facebook or Instagram or whatever. But a digital camera roll containing thousands of unsorted, unedited, contextless images is not an intelligible narrative of a life. Turning the pages of a physical book is a different experience from swiping a finger across a screen, and, if you don’t store your memories on paper, you allow your past to be held hostage by a potentially obsolete digital format or by Google’s unpredictable commitment to the cloud.

#TIL
CC 的全称是 Carbon Copy。

绝了，真的要好好吐槽一下 WordPress 的 iOS 应用，居然莫名其妙的会用 cp1252 编码中文……

Los Angeles Times:

People are increasingly choosing to watch YouTube on their connected TVs rather than on laptops and mobile devices, treating it more and more like a regular television destination.

《Clarkson’s Farm》做的真不错，看起来又有趣，又有温情，还有很多对于人和自然的反思。

The New York Review:

In 2019 its Chief Executive Officer, Dara Khosrowshahi, argued that, like Amazon, it was burning through investor cash to establish market dominance; profits would follow in time. This February it announced its first ever year in the black.

原来 Uber 今年起才开始盈利。

Google 最近给搜索结果的高亮加了一个动画，这个动画有点烦人，时不时就会卡一下……

从 AttributedString 转换到 NSAttributedString，居然会丢失样式……

重现用 UIKit 实现了一遍 Form 组件，发现有着和 SwiftUI 一样的 Bug，经过一番搜索终于找到了解决方法，只要禁用 delaysContentTouches 就行了。解决方法看这个回答。

顺便这个问题好像在 SwiftUI 里是无解的。

虽然 Elon Musk 和 PayPal Mafia 这些年的右翼倾向对于关心的人来说已经不是什么新奇的事了，但是如果不太清楚这方面的例子纽约时报的这篇报道是个很好的梳理。

marcus_holmes:

Long analogy short, this is where I think AI for coding is now. It gets things wrong enough that I have to manually check everything it does and correct it, to the point where I might as well just do it myself in the first place. This might not always be the case, but that’s where I feel it is right now.

和我的感受一样，这也是为什么我不用 AI 代码补全工具。

有点尴尬，之前去诊所开的药以为是用鼻子吸入，结果是嘴巴吸入……

肚子饿一口气吃了一盒冰淇淋，乳糖不耐受马上就开始袭击我……