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

返回个人资料

LightMachine 的提交内容

科技回声

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

首页

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

资源链接

HackerNews API 原版 HackerNews Next.js

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

1

Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime

150 点作者 LightMachine超过 3 年前

2

Show HN: Kind, a minimal, efficient, practical proof language

2 点作者 LightMachine大约 4 年前

3

List of top tokens, with host platform

2 点作者 LightMachine超过 4 年前

4

FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript

2 点作者 LightMachine超过 4 年前

5

Goodbye, JavaScript: Formality is now implemented in itself

2 点作者 LightMachine超过 4 年前

6

Multiplication with Optimal β-Reduction

2 点作者 LightMachine将近 5 年前

7

Multiplication with Optimal β-Reduction

1 点作者 LightMachine将近 5 年前

8

Thoughts about Formality

1 点作者 LightMachine将近 5 年前

9

Show HN: Navim browses files on the terminal with minimal amount of keystrokes

1 点作者 LightMachine将近 5 年前

← 上一页下一页 →