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

返回个人资料

nickdrozd 的提交内容

科技回声

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

首页

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

资源链接

HackerNews API 原版 HackerNews Next.js

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

1

Machete-Mode Debugging

2 点作者 nickdrozd超过 2 年前

2

Collatz Counterexamples

2 点作者 nickdrozd超过 2 年前

3

How typical is the Solar System?

4 点作者 nickdrozd超过 2 年前

4

Busy Beaver vs. Graham's Number

3 点作者 nickdrozd将近 3 年前

5

Hyper Scientific Notation for Unspeakably Large Numbers

4 点作者 nickdrozd将近 3 年前

6

Latest Busy Beaver champion has too many digits to count

86 点作者 nickdrozd将近 3 年前

7

Formal Proof Challenge: The Half-Collatz Theorem

3 点作者 nickdrozd将近 3 年前

8

Interactive SQL tutorial based on death row data

2 点作者 nickdrozd将近 3 年前

9

What Happens If the Moon Crashes into Earth?

1 点作者 nickdrozd将近 3 年前

10

New 6-State Busy Beaver Champion Discovered

2 点作者 nickdrozd将近 3 年前

11

A Solution to the Halting Problem

1 点作者 nickdrozd大约 3 年前

12

Does This Function Terminate?

1 点作者 nickdrozd大约 3 年前

13

Performance Hot Spots

3 点作者 nickdrozd大约 3 年前

14

Collatz Arithmetic

1 点作者 nickdrozd大约 3 年前

15

“Mother of Giants” Turing Machine

2 点作者 nickdrozd大约 3 年前

16

Total functions and partial functions

1 点作者 nickdrozd大约 3 年前

17

Accessible independence results for Peano Arithmetic (1982) [pdf]

1 点作者 nickdrozd大约 3 年前

18

Godel's 2nd Incompleteness Theorem Explained in Words of One Syllable [pdf]

1 点作者 nickdrozd大约 3 年前

19

A Formal Theory of Spaghetti Code

99 点作者 nickdrozd大约 3 年前

20

Latest Beeping Busy Beaver Results

1 点作者 nickdrozd超过 3 年前

21

A better Turing machine tape model

23 点作者 nickdrozd超过 3 年前

22

Brady's Algorithm for Program Generation

2 点作者 nickdrozd超过 3 年前

23

Another new record in self-cleaning Turing machines

90 点作者 nickdrozd超过 3 年前

24

A Christmas Tautology (2020)

1 点作者 nickdrozd超过 3 年前

← 上一页下一页 →