看看就好的频道
https://www.youtube.com/watch?v=0Mqi8XFxT7E Tiny Desk Concert 居然有韩国版了。这期节目是 Say Sue Me,一支 indie rock 乐队。
YouTube
Fujii Kaze: Tiny Desk Concerts JAPAN
Suraya Mohamed | April 12, 2024In the corner of a busy office at the NHK Broadcasting Center in Shibuya, Tokyo, a staffer rearranged books, vinyl records and...
Forwarded from 椒盐豆豉剪报
技术站 It’s Foss 号召大家勿将其链接分享到长毛象
原因是 fediverse 上各站生成链接预览会不可控地无意中 DDOS 网站。文中还提到多个独立博客站面临同样的问题,并有多个 open issues,但目前都被 de-prioritize 了。
(确实任何东西都会带来意想不到的问题……此外也算是又一在大服务商架设静态博客而非服务器自建站的好处吧🤔不用担心各种来源劳什子 DDOS)
#tech #长毛象 #indieblog
原因是 fediverse 上各站生成链接预览会不可控地无意中 DDOS 网站。文中还提到多个独立博客站面临同样的问题,并有多个 open issues,但目前都被 de-prioritize 了。
(确实任何东西都会带来意想不到的问题……此外也算是又一在大服务商架设静态博客而非服务器自建站的好处吧🤔不用担心各种来源劳什子 DDOS)
#tech #长毛象 #indieblog
It's FOSS News
Please Don’t Share Our Links on Mastodon: Here’s Why!
We need to talk about this problem. Should Mastodon step up?
https://danilafe.com/blog/bergamot/
一个有点意思的项目。包含了三个部分:
1. 一个类似 prolog 的语言用来定义 typing rules;
2. 一个 web widget,在里面输入一个 expression,会给出它的 type judgment 和 proof tree;
3. 渲染的 LaTeX 内容也是一组渲染规则驱动的,渲染规则同样由这个类 prolog 语言来定义。
不足是 object language 的语法是固定的,很有限。
一个有点意思的项目。包含了三个部分:
1. 一个类似 prolog 的语言用来定义 typing rules;
2. 一个 web widget,在里面输入一个 expression,会给出它的 type judgment 和 proof tree;
3. 渲染的 LaTeX 内容也是一组渲染规则驱动的,渲染规则同样由这个类 prolog 语言来定义。
不足是 object language 的语法是固定的,很有限。
Danilafe
Bergamot: Exploring Programming Language Inference Rules
In this post, I show off Bergamot, a tiny logic programming language and an idea for teaching inference rules.
Forwarded from 风向旗参考快讯
苹果公司、Proton Mail 和 Wire 帮助西班牙警方识别活动人士
据法庭文件显示,作为对加泰罗尼亚独立运动参与者调查的一部分,西班牙警方从私密消息应用 Wire 和加密邮箱 Proton Mail 获取了信息,这帮当局识别了一名匿名活动人士。今年早些时候,西班牙国民警卫队通过瑞士警方向总部位于瑞士的 Wire 和 Proton 发出了法律请求。国民警卫队要求提供与两家公司各自平台上的账户相关的任何识别信息。Wire 提供了用于注册帐户的 Proton Mail 电子邮件地址,然后 Proton 又提供了该电子邮件的恢复电子邮件,这是一个 iCloud 电子邮件地址。法庭文件显示,国民警卫队在获得 iCloud 电子邮件地址后,便向苹果公司索取信息,而苹果公司则提供了全名、两个家庭住址和一个关联的 Gmail 帐户。
—— TechCrunch
据法庭文件显示,作为对加泰罗尼亚独立运动参与者调查的一部分,西班牙警方从私密消息应用 Wire 和加密邮箱 Proton Mail 获取了信息,这帮当局识别了一名匿名活动人士。今年早些时候,西班牙国民警卫队通过瑞士警方向总部位于瑞士的 Wire 和 Proton 发出了法律请求。国民警卫队要求提供与两家公司各自平台上的账户相关的任何识别信息。Wire 提供了用于注册帐户的 Proton Mail 电子邮件地址,然后 Proton 又提供了该电子邮件的恢复电子邮件,这是一个 iCloud 电子邮件地址。法庭文件显示,国民警卫队在获得 iCloud 电子邮件地址后,便向苹果公司索取信息,而苹果公司则提供了全名、两个家庭住址和一个关联的 Gmail 帐户。
—— TechCrunch
https://gbracha.blogspot.com/2020/05/bits-of-history-words-of-advice.html
一篇讨论 Smalltalk 为什么失败的文章。文章本体和评论区质量都很不错,对 Smalltalk 和非主流编程史感兴趣的朋友可以读读。
一篇讨论 Smalltalk 为什么失败的文章。文章本体和评论区质量都很不错,对 Smalltalk 和非主流编程史感兴趣的朋友可以读读。
Blogspot
Bits of History, Words of Advice
"Why do you jackasses use these inferior linguistic vehicles when we have something here that’s so precious, so elegant, which gives me so ...
看看就好的频道
https://gbracha.blogspot.com/2020/05/bits-of-history-words-of-advice.html 一篇讨论 Smalltalk 为什么失败的文章。文章本体和评论区质量都很不错,对 Smalltalk 和非主流编程史感兴趣的朋友可以读读。
https://wirfs-brock.com/allen/posts/914
来自 Allen Wirfs-Brock 的补充和回应。
熟悉 JS 标准的可能知道他是 ES5 到 ES6 时代的标准编辑,但在此之前他已经是 Smalltalk 社区的老将了。
来自 Allen Wirfs-Brock 的补充和回应。
熟悉 JS 标准的可能知道他是 ES5 到 ES6 时代的标准编辑,但在此之前他已经是 Smalltalk 社区的老将了。
Wirfs-Brock
The Rise and Fall of Commercial Smalltalk
Relics
Gilad Bracha recently posted an article "Bits of History, Words of Advice" that talks about the incredible influence of Smalltalk but bemoans the fact that:
...today Smalltalk is relegated to a small niche of true believers. Whenever…
Gilad Bracha recently posted an article "Bits of History, Words of Advice" that talks about the incredible influence of Smalltalk but bemoans the fact that:
...today Smalltalk is relegated to a small niche of true believers. Whenever…