Lancern's Treasure Chest

08:24 · Oct 27, 2023 · Fri

李克强10月26日突发心脏病，经全力抢救无效，于10月27日0时10分在上海逝世，享年68岁。官方讣告未拟好，仅公布逝世消息。他今年8月30日还参访了敦煌莫高窟。
（中央电视台）

08:13 · Oct 26, 2023 · Thu

Wait, what's a bookmarklet? https://thehistoryoftheweb.com/postscript/wait-whats-a-bookmarklet/

The History of the Web

Wait, what's a bookmarklet? - The History of the Web

How this one small browser quirk turned into a tool used by countless people for decades.

16:43 · Oct 25, 2023 · Wed

🍎 Apple Event - Scary Fast

Apple 将于北京时间 10 月 31 日上午 8 时召开发布会。

邀请函动画效果由 Apple Logo 直接切换成 Finder，主题是「快得吓人」，可能预示 Mac 产品线的更新。

https://www.apple.com.cn/apple-events/

08:08 · Oct 25, 2023 · Wed

Equality, Dependent Types, and Typechecking

Comments

via amw-zero@users.lobste.rs (amw-zero)

lobste.rs

Equality, Dependent Types, and Typechecking

4 comments

19:42 · Oct 24, 2023 · Tue

开始了

10:53 · Oct 24, 2023 · Tue

祝各位程序员订户 1024 快乐 🎉

08:07 · Oct 24, 2023 · Tue

Why Japan has blue traffic lights instead of green https://www.rd.com/article/heres-japan-blue-traffic-lights/

Reader's Digest

This Is Why Japan Has Blue Traffic Lights Instead of Green

Blue traffic lights is what happens when you have one word for two colors.

08:03 · Oct 24, 2023 · Tue

Cascade: CPU Fuzzing via Intricate Program Generation https://comsec.ethz.ch/research/hardware-design-security/cascade-cpu-fuzzing-via-intricate-program-generation/

17:36 · Oct 23, 2023 · Mon

#macos How does macOS manage virtual cores on Apple silicon?

https://eclecticlight.co/2023/10/23/how-does-macos-manage-virtual-cores-on-apple-silicon/

The Eclectic Light Company

How does macOS manage virtual cores on Apple silicon?

Code run in a lightweight Virtual Machine can’t take advantage of the Efficiency cores of the host Apple silicon Mac. How then does Sonoma handle its threads?

macos

13:54 · Oct 23, 2023 · Mon

Using Prolog as the AST https://marcellerusu.com/using_prolog_as_the_ast.html

13:52 · Oct 23, 2023 · Mon

https://lwn.net/Articles/946041/

lwn.net

GCC features to help harden the kernel

Hardening the Linux kernel is an endless task, with work required on
multiple fronts. Sometimes, that work is not done in the kernel itself;
other tools, including compilers, can have a significant role to play.
At the 2023 GNU Tools
Cauldron, Qing Zhao…

08:22 · Oct 23, 2023 · Mon

Don’t use the [[likely]] or [[unlikely]] attributes

Comments

via raymii@users.lobste.rs (raymii)

lobste.rs

Don’t use the [[likely]] or [[unlikely]] attributes

11 comments

19:38 · Oct 22, 2023 · Sun

乐高好看

12:05 · Oct 22, 2023 · Sun

https://lancern.xyz/wp-content/uploads/2023/10/Cpp20Modules.pdf

随着 C++20 modules 的普及，制作了一份 cheatsheet 以供学习。

00:14 · Oct 21, 2023 · Sat

https://codeforces.com/blog/entry/121538
R.I.P.

Codeforces

Please, read this

Hello, Codeforces. Friends.

18:58 · Oct 20, 2023 · Fri

今日晚餐

08:36 · Oct 20, 2023 · Fri

▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░░░░ 80%

08:07 · Oct 20, 2023 · Fri

What we talk about when we talk about monads

This paper is not a monad tutorial. It will not tell you what a monad is. Instead, it helps you understand how computer scientists and programmers talk about monads and why they do so.

https://arxiv.org/ftp/arxiv/papers/1803/1803.10195.pdf