我是马克·扎克伯格 -- I Am Mark Zuckerberg

这篇文章介绍了一位与Facebook创始人马克·扎克伯格同名的印第安纳州破产律师马克·S·扎克伯格。他经常被误认为是科技富豪,但实际上专注于为当地人提供破产法律服务。文章以幽默口吻强调这位律师与科技界扎克伯格的区别,并突出其专业领域是帮助人们解决财务问题而非社交媒体。

Opencloud – 用Go语言编写的Nextcloud替代方案 -- Opencloud – An alternative to Nextcloud written in Go

这是OpenCloud服务器的主代码仓库,包含用Go语言编写的后端服务代码库。

"Boring公司因向检修孔倾倒钻井液被罚近50万美元" -- Boring Company fined nearly $500K after it dumped drilling fluids into manholes

马斯克的隧道公司Boring因向拉斯维加斯下水道排放钻探废液被罚款50万美元。当地水务部门称,该公司不仅拒绝停止排放,还假装配合检查后继续偷排,导致污水处理设施受损。这些含化学物质的废液已造成多名工人皮肤灼伤。

小报体:点击诱饵标题编程语言 -- Tabloid: The Clickbait Headline Programming Language

Tabloid是一种模仿点击诱饵新闻标题风格的图灵完备编程语言。它用夸张的标题式语法编写程序,如"SHOCKING DEVELOPMENT"表示条件判断,"YOU WON'T WANT TO MISS"用于输出。所有输出会自动大写并加感叹号,旨在用娱乐化的方式编写代码。该语言由微软程序员开发,已在GitHub开源。

法官驳回免除Flock录像适用《公共记录法》的请求 -- Judge denies request to exempt Flock footage from Public Records Act

法院驳回了关于Flock Safety摄像头数据应豁免于公共记录法的请求,裁定该数据不属于豁免范围。

法官裁定教育部党派性离职邮件违反第一修正案 -- Judge says Education Dept partisan out-of-office emails violated First Amendment

法官裁定美国教育部自动回复邮件中的党派内容违反宪法第一修正案。

铁甲——经过形式验证、具备实时能力的类Unix操作系统内核 -- Ironclad – formally verified, real-time capable, Unix-like OS kernel

Ironclad是一款基于SPARK和Ada语言开发的开源操作系统内核,具有形式化验证特性,支持实时任务和POSIX兼容接口。它采用GPLv3许可证,完全由自由软件构成,不含专有固件,提供强制访问控制和硬实时调度功能,适用于通用和嵌入式场景。

最大货运帆船完成首次跨大西洋航行 -- Largest cargo sailboat completes first Atlantic crossing

全球最大货运帆船完成首次跨大西洋航行,创造了历史性时刻。这标志着可持续航运技术取得重要突破。

《Avería:平均字体(2011)》 -- Avería: The Average Font (2011)

一位非专业字体设计师通过编程创意,将电脑中所有字体叠加平均,利用ImageMagick和PHP工具生成新字体Avería。他先以低透明度叠加字母图像,后通过基线对齐优化,最终创造出这种独特的"平均字体"。

美国空中交通管制员因政府停摆影响开始辞职 -- US Air Traffic Controllers Start Resigning as Shutdown Bites

由于政府停摆导致压力过大,空中交通管制员正因不堪重负而每天辞职。全国空中交通管制员协会主席尼克·丹尼尔斯表示,目前管制员短缺400人,情况比2019年停摆时更糟。许多无薪工作的管制员因无力支付账单而请病假,甚至考虑兼职谋生。交通部长虽不鼓励他们从事副业,但现实困境已严重影响工作安全。