L

Lobsters热榜

更新于刚刚 · 25 条热点

10月10日 16:25 更新，当前榜单前三是「Programming Isn’t S…」。「No Man Is an Island」。「A tale of four theo…」。Lobsters 是计算机技术方向的链接聚合社区，话题偏系统与编程语言。本页当前收录 25 条，保留Lobsters的原始排序和指标，不把不同平台的数据直接相加，每条标题尽量直达原始页面。本站只做聚合与排序，内容版权归Lobsters及原作者所有。

也常被搜索为：Lobsters热点

Programming Isn’t Special

Lobsters 654.3 万热度抓取于刚刚

No Man Is an Island

Lobsters 2391.8 万热度抓取于刚刚

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Lobsters 607.3 万热度抓取于刚刚

Lobsters 629.1 万热度抓取于刚刚

oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c

Lobsters 2694.5 万热度抓取于刚刚

Why Are Coding Agents So Dumb?

Lobsters 466.1 万热度抓取于刚刚

Unison Cloud is now open source

Lobsters 441.8 万热度抓取于刚刚

Cloudflare shutting down Deno is news, not just PR

Lobsters 1264.9 万热度抓取于刚刚

Branches in branch-free code

Lobsters 1018.5 万热度抓取于刚刚

Adding Go's defer to the TypeScript Compiler

Lobsters 1948.1 万热度抓取于刚刚

Lifeguard: A static analyzer for Python lazy imports compatibility

Lobsters 964.4 万热度抓取于刚刚

There are many themes, but this one is yours

Lobsters 220.8 万热度抓取于刚刚

Deepthi Sigireddi from Supabase

Lobsters 202.7 万热度抓取于刚刚

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot

Lobsters 198 万热度抓取于刚刚

1-click MMI execution in Android

Lobsters 1713.1 万热度抓取于刚刚

What are you doing this weekend?

Lobsters 147.3 万热度抓取于刚刚

Vectorized CLZ and CTZ

Lobsters 160.8 万热度抓取于刚刚

A minimal kernel in Swift, running in QEMU

Lobsters 89.3 万热度抓取于刚刚

Spinlocks Considered Harmful (2020)

Lobsters 94.8 万热度抓取于刚刚

Lobsters 5.5 万热度抓取于刚刚