Forwarded from 椒盐豆豉剪报
技术站 It’s Foss 号召大家勿将其链接分享到长毛象

原因是 fediverse 上各站生成链接预览会不可控地无意中 DDOS 网站。文中还提到多个独立博客站面临同样的问题,并有多个 open issues,但目前都被 de-prioritize 了。

(确实任何东西都会带来意想不到的问题……此外也算是又一在大服务商架设静态博客而非服务器自建站的好处吧🤔不用担心各种来源劳什子 DDOS)

#tech #长毛象 #indieblog
https://danilafe.com/blog/bergamot/

一个有点意思的项目。包含了三个部分:
1. 一个类似 prolog 的语言用来定义 typing rules;
2. 一个 web widget,在里面输入一个 expression,会给出它的 type judgment 和 proof tree;
3. 渲染的 LaTeX 内容也是一组渲染规则驱动的,渲染规则同样由这个类 prolog 语言来定义。
不足是 object language 的语法是固定的,很有限。
Forwarded from 风向旗参考快讯
苹果公司、Proton Mail 和 Wire 帮助西班牙警方识别活动人士

据法庭文件显示,作为对加泰罗尼亚独立运动参与者调查的一部分,西班牙警方从私密消息应用 Wire 和加密邮箱 Proton Mail 获取了信息,这帮当局识别了一名匿名活动人士。今年早些时候,西班牙国民警卫队通过瑞士警方向总部位于瑞士的 WireProton 发出了法律请求。国民警卫队要求提供与两家公司各自平台上的账户相关的任何识别信息。Wire 提供了用于注册帐户的 Proton Mail 电子邮件地址,然后 Proton 又提供了该电子邮件的恢复电子邮件,这是一个 iCloud 电子邮件地址。法庭文件显示,国民警卫队在获得 iCloud 电子邮件地址后,便向苹果公司索取信息,而苹果公司则提供了全名、两个家庭住址和一个关联的 Gmail 帐户。

—— TechCrunch
2024/05/16 14:51:40
Back to Top
HTML Embed Code: