2025-04-13

24 篇热帖

1. A Reddit bot drove me insane (posthuman.blog)

I stumbled across a Reddit bot posting emotional rants about how bots are ruining Reddit; just to sell AI-generated books through affiliate links. A perfectly dystopian grift for the dead internet.

2. Air pollution fell substantially as Paris restricted car traffic (www.washingtonpost.com)

Air pollution fell substantially as the city restricted car traffic and made way for parks and bike lanes.

4. Experimental release of GrapheneOS for Pixel 9a (grapheneos.social)

Our initial highly experimental release for the Pixel 9a is now available for both CLI and web install via https://staging.grapheneos.org/.

We've tested both install methods and did basic testing of functionality including Wi-Fi, camera, audio, etc. Feedback is needed from users now.

5. Silicon Valley crosswalk buttons apparently hacked to imitate Musk, Zuck voices (www.paloaltoonline.com)

Crosswalk buttons along the mid-Peninsula appear to have been hacked, so that when pressed, voices professing to be Mark Zuckerberg or Elon Musk begin speaking.

6. Whenever – typed and DST-safe datetimes for Python (github.com)

⏰ Modern datetime library for Python. Contribute to ariebovenberg/whenever development by creating an account on GitHub.

7. The dark side of the Moomins (www.newstatesman.com)

Tove Jansson’s beloved stories, which turn 80 this year, are not cute: they are angry tales of apocalypse and breakdown.

8. BPS is a GPS alternative that nobody's heard of (www.jeffgeerling.com)

I came to the NAB (National Association of Broadcasters) show this year with my Dad to learn more about time in broadcast and live production. I was expecting to learn more about grandmaster clocks, AV sync, timing in protocols like Dante, Livewire, AES67, and more—and I have. But then on the first day here I found this odd little corner of the building with a completely empty booth:

When you see an oscilloscope that costs 3x the value of your car on a trade show floor... well, let's just say my interest was piqued.

9. I ditched my laptop for a pocketable mini PC and a pair of AR glasses (www.tomsguide.com)

By combining the Khadas Mind mini PC, the Xreal One AR glasses and a massive power bank I can now work from anywhere privately with ease.

10. WebTUI – A CSS Library That Brings the Beauty of Terminal UIs to the Browser (webtui.ironclad.sh)

Modular CSS Library that brings the beauty of Terminal UIs to the browser

11. Why Fennel? (fennel-lang.org)

Fennel:基于Lua的编程语言

Lua的优点

Lua是一种强大且被低估的编程语言,具有极小的概念和实现足迹(参考实现约1.9万行C代码,编译为278kb)。它速度极快,并专门设计为嵌入其他程序中,使用户能够重编程。Lua的概念简单性接近Forsh和Scheme,相比JavaScript或Python更简洁,这使其成为对抗将程序视为黑盒的技术趋势的有效工具。

为什么需要Fennel?

尽管Lua优秀,但它存在一些容易出错或不清晰的缺陷。Fennel运行在Lua运行时上,其运行时语义是Lua的子集,但作为Lua的替代记法,旨在避免常见陷阱。Fennel专注于提供更优的语法,而不实现虚拟机、标准库或调试工具,因此所有Lua库和工具均可用于Fennel。

Fennel的主要特性

语法改进

  • 采用Lisp风格的括号前缀语法,简化语法并减少边缘情况。
  • 移除语句概念,所有内容均为表达式。
  • 消除运算符优先级,避免歧义。
  • 函数总是在尾部位置返回,无提前返回。

变量处理

  • 防止意外使用全局变量,仅在必要时允许。
  • 默认局部变量不可重新赋值;使用var声明可重新赋值变量,使代码更清晰。

表和循环

  • 表记法更新:方括号[]用于顺序表(类似数组),花括号{}用于键值表(类似字典)。
  • 循环区分:for用于数字范围循环,each用于迭代器循环。

函数

  • 提供两种函数:fn(无参数数量检查,用于性能)和lambda(带参数数量检查,增强安全性)。

其他特性

  • 支持数据结构解构和模式匹配,使声明式编程更便捷。
  • 包含宏系统,允许扩展语法,但较少在实践中使用。

总结

Fennel通过改进Lua的语法和特性,如变量管理、数据结构记法和函数参数检查,同时保留Lua的运行时优点,提供了一个更安全、更清晰的编程选择。其设计原则详见Fennel的价值观

12. Why is there a “small house” in IBM's Code page 437? (blog.glyphdrawing.club)

There's a small house in the moddle of IBM's Code Page 437. Why?

13. YAML: The Norway Problem (2022) (www.bram.us)

Earlier this week, Haroen Viaene posted this tweet about YAML: worst part of yaml: https://yaml.org/type/bool.html — Haroen Viaene (@haroenv) January 10, 2022 The linked-to page contains the documentation on what defines a boolean in YAML, and details that it can be parsed using this regex: y|Y|yes|Yes|YES|n|N|no|No|NO |true|True|TRUE|false|False|FALSE |on|On|ON|off|Off|OFF The reason to why this is problematic … Continue reading "YAML: The Norway Problem"

14. Anubis Works (xeiaso.net)

Anubis Works 内容概述

该网页内容是网站管理者设置的一种名为 Anubis 的反爬虫保护机制说明。

核心目的与背景

  • 防护对象:旨在抵御 AI 公司的大规模网页抓取行为,这种抓取会导致网站资源不可用(宕机)。
  • 设计初衷:Anubis 是一种折中方案,通过增加大规模爬取的成本来保护网站,但对正常用户的个别访问影响微乎其微。

技术原理

  • 工作量证明:系统采用类似 Hashcash工作量证明 方案。用户访问时需要完成一个计算挑战。
  • 成本控制:对于普通用户的单次访问,计算负载可忽略;但对于试图进行海量抓取的爬虫,累计成本将变得非常高昂,从而起到阻碍作用。

定位与未来计划

  • 临时性方案:目前 Anubis 被定义为一个临时解决方案,为管理者争取时间。
  • 长期目标:未来计划通过浏览器指纹识别等技术(例如字体渲染差异)来更精准地区分自动化程序与真实用户,从而可能免除合法用户面对挑战页面。

使用须知

  • 环境要求:Anubis 依赖现代 JavaScript 功能。如果用户使用了 JShelter 等会禁用 JavaScript 功能的浏览器插件,将导致该保护机制无法正常工作,因此需要为当前网站禁用此类插件。
15. Skywork-OR1: new SOTA 32B thinking model with open weight (github.com)

Unleashing the Power of Reinforcement Learning for Math and Code Reasoners - SkyworkAI/Skywork-OR1

18. Zod v4 Beta (v4.zod.dev)

Zod 4 release notes and new features including performance improvements and breaking changes

19. How to not build a two stage model rocket (knowone08.gitbook.io)

When engineering meets ambition… and occasionally, the ground

20. ArkType: Ergonomic TS validator 100x faster than Zod (arktype.io)

TypeScript's 1:1 validator, optimized from editor to runtime

24. Compute's Gazette Magazine Returns After 35 Yrs, Will Focus on Retro Computing (www.computesgazette.com)

Explore the golden age of home computing with Compute!'s Gazette. Dive into archives of classic articles, game listings, and programming tutorials from the legendary magazine. Relive the 8-bit era and discover the roots of modern technology.