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

返回个人资料

bor0 的提交内容

科技回声

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

首页

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

资源链接

HackerNews API 原版 HackerNews Next.js

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

1

Introduction and Formalization of Boolean Algebra

1 点作者 bor0超过 5 年前

2

GEB: An EGB Overview (Part I)

1 点作者 bor0超过 5 年前

3

Idea: News Diversity

1 点作者 bor0超过 5 年前

4

Formalizing Expresiveness of Line Editors

1 点作者 bor0超过 5 年前

5

Proving Groupoids with Idris

2 点作者 bor0超过 5 年前

6

Freedom of Creativity

1 点作者 bor0超过 5 年前

7

Tuply Singleton v3 (With Proof)

1 点作者 bor0超过 5 年前

8

Tuply Singleton v2

1 点作者 bor0超过 5 年前

9

Tuply Singleton

2 点作者 bor0超过 5 年前

10

One plus one equals two

1 点作者 bor0超过 5 年前

11

Meet Them All

1 点作者 bor0超过 5 年前

12

Abstraction and Generalization of Objects

2 点作者 bor0将近 6 年前

13

Generalized Average

2 点作者 bor0将近 6 年前

14

Arithmetic on Algebraic Data Types

3 点作者 bor0将近 6 年前

15

Brief Introduction to ML with Gradient Descent

1 点作者 bor0将近 6 年前

16

Customer-Driven Engineering

3 点作者 bor0将近 6 年前

17

Lambda Calculus with Generalized Abstraction

1 点作者 bor0将近 6 年前

18

Writing a lambda calculus type-checker in Haskell

2 点作者 bor0大约 6 年前

19

Writing a lambda calculus evaluator in Haskell

1 点作者 bor0大约 6 年前

20

Writing a simple evaluator and type-checker in Haskell

126 点作者 bor0大约 6 年前

21

Self-publishing my first book

2 点作者 bor0大约 6 年前

22

CoC Base Terms – Type and Prop

1 点作者 bor0大约 6 年前

23

Dependently Typed Lambda Calculus in Haskell

2 点作者 bor0超过 6 年前

24

Proving Monoids with Idris

3 点作者 bor0超过 6 年前

25

Partial orders in Idris

2 点作者 bor0超过 6 年前

26

Mathematical structure of `git-bisect`

1 点作者 bor0超过 6 年前

← 上一页下一页 →