书签
订阅
每周精选
搜索
English
中文
登录
Show HN: Kind, a minimal, efficient, practical proof language
#HackerNews
#github
0
0
打标签
分享到推特
分享到电报群
hackershare
·
相似书签
Propositional logic exercises with the lean theorem prover
G
Rolling-PWN vulnerability affects all Honda vehicles
Show HN: CoFeed-19 – Free Client-Only Feed Reader
Ask HN: Can I see your scripts?
Show HN: Team Icebreakers
Show HN: Weight and Biases Reports on Pull Requests
The SHA-256 Project: learn how hash functions work by implementing one yourself
Show HN: ECAppLog – a networked logging GUI for programmers
Show HN: Stable Diffusion training, inpainting, classifier guidance and upscale
List of Worker-Owned Tech Cooperatives Worldwide
评论列表
暂无数据
评论
用户信息
@hackershare
关注