📰 FreshRSS

1. A real-world case of property-based verification
2. Stamp It! All Programs Must Report Their Version
3. Experimenting with AI subagents
4. 体验下微软开源的Markdown转换工具Markitdown
5. Harness Engineering 又来颠覆了——你们开发不写文档、没有研发流程？
6. Run OpenClaw AI Agent on a Synology Disk
7. 愿君多修葺，此物最相思：从我的故事谈「数字遗产」保护
8. Flare – 在一个应用中，聚合 RSS、X、微博、Mastodon、Bluesky、Misskey 和 Nostr：所有账户，一条时间线
9. 关于我的 GitHub 账号 @lyc8503 被无故 suspend 的说明及进展更新
10. 【OpenWRT】查找定位校园网内异常的DHCP广播来源
11. I Got My Lost Phone Back in Japan
12. 2026-04-05 打工人日报