全部分类 AI & APIs 开发工具前端后端数据与分析 DevOps 与基础设施移动端安全其他

最新热门最多收藏

◆Nest·开发者工具发现平台

基于 Next.js & Supabase 构建 · Claude Code · 2 小时从 0 到 1

全部分类

共 17 个项目

Is Starlink A Secret Radar Constellation?

Comments

6d agovideo · hardware · math

Markets are competitive if and only if P != NP

Comments

9d agomath · finance

Announcing Box3D

Comments

11d agoc · math · vibecoding

Diagrams for Penrose Tiles

Comments

12d agomath · haskell

Proving the Fundamental Theorem of Arithmetic in Agda

Comments

12d agomath · formalmethods

What does it mean to be a mathematician when AI does the math?

Comments

15d agomath · ai

L-system

Comments

16d agomath · logiclangs

Meet Alice. Alice is impatient

Comments

22d agomath · performance

The cube, the epicycles and the human face

Comments

Banning noise will be a disaster for statistical data products

Comments

29d agoprivacy · math

Coalgebras and Automata

Comments

1mo agomath · haskell

Raft Consensus with a Minority of Nodes

Comments

1mo agomath · distributed

Folding in Parallel

Comments

1mo agomath · programming

From AFSK to Goertzel

Comments

1mo agomath · programming

Church Encoding, Parametricity, and the Yoneda Lemma

Comments

1mo agomath · programming

An OpenAI model has disproved a central conjecture in discrete geometry

Comments

1mo agomath · vibecoding

5× faster fast_blur in image-rs

Comments

1mo agomath · programming · rust