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

返回个人资料

jjgreen 的提交内容

科技回声

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

首页

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

资源链接

HackerNews API 原版 HackerNews Next.js

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

1

A tool to verify estimates, II: a flexible proof assistant

1 点作者 jjgreen1 天前

2

C++20 concepts for nicer compiler errors

4 点作者 jjgreen7 天前

3

A proof of concept tool to verify estimates

85 点作者 jjgreen9 天前

4

DARPA to 'radically' rev up mathematics research. And yes, with AI

7 点作者 jjgreen14 天前

5

Show HN: CI-Hush

1 点作者 jjgreen大约 1 个月前

6

The Natural System of Colours

2 点作者 jjgreen大约 2 个月前

7

Scientific Colour Maps

2 点作者 jjgreen2 个月前

8

The View from My Office

4 点作者 jjgreen2 个月前

9

A Tale of Two Cities

2 点作者 jjgreen2 个月前

10

NCSC, GCHQ, UK Gov't expunge advice to “use Apple encryption”

376 点作者 jjgreen2 个月前

11

Begrudgingly Choosing CBOR over MessagePack

55 点作者 jjgreen2 个月前

← 上一页