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

返回个人资料

pschanely 的提交内容

科技回声

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

首页

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

资源链接

HackerNews API 原版 HackerNews Next.js

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

1

Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT)

3 点作者 pschanely超过 3 年前

2

Code Contracts Propagate Requirements

1 点作者 pschanely将近 4 年前

3

Show HN: (Failing to) model Python regular expressions with Z3

2 点作者 pschanely将近 5 年前

4

Show HN: CrossHair – SMT Assisted Testing for Python

97 点作者 pschanely超过 5 年前

5

Show HN: A turn-based strategy game with emoji graphics

4 点作者 pschanely大约 6 年前

6

Show HN: Incremental MapReduce and the Model-View Problem

10 点作者 pschanely超过 8 年前

7

Show HN: Optimizing Higher Order Functions with Hypothetical Inverses

55 点作者 pschanely大约 9 年前

8

Sorts and Filters Suck

1 点作者 pschanely大约 9 年前

← 上一页