首页 24小时热榜最新最佳问答展示工作

返回个人资料

lemmster 的提交内容

科技回声

基于 Next.js 构建的科技新闻平台，提供全球科技新闻和讨论内容。

首页

首页最新最佳问答展示工作

资源链接

HackerNews API 原版 HackerNews Next.js

© 2025 科技回声. 版权所有。

1

GenAI-Accelerated TLA+ Challenge

35 点作者 lemmster17 天前

2

TLA+ Survey 2022 – Tell us what you love and hate

3 点作者 lemmster大约 3 年前

3

Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level

7 点作者 lemmster超过 3 年前

4

TLA+ spec finds bugs in Apache BookKeeper

2 点作者 lemmster大约 4 年前

5

Weeks of Debugging Can Save You Hours of TLA+

1 点作者 lemmster超过 4 年前

6

PlusPy: Python Interpreter for TLA+ Specifications

4 点作者 lemmster大约 5 年前

← 上一页