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

最新热门最多收藏

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

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

全部分类

共 24 个项目

Systems and Delays (2026)

Comments

Fast Synthesis of Basic Oscillators

Comments

agent-shell 0.63 updates

Comments

13d agomath · emacs · vibecoding

log is non-monotonic in PHP and Lua

Comments

14d agophp · lua · math

Human mathematicians are being outcounterexampled

Comments

Claude found a counterexample to the Jacobian Conjecture

Comments

16d agomath · vibecoding

Mathematicians still don’t know the fastest way to multiply numbers

Comments

Is Starlink A Secret Radar Constellation?

Comments

1mo agovideo · hardware · math

Markets are competitive if and only if P != NP

Comments

1mo agomath · finance

Announcing Box3D

Comments

1mo agoc · math · vibecoding

Diagrams for Penrose Tiles

Comments

1mo agomath · haskell

Proving the Fundamental Theorem of Arithmetic in Agda

Comments

1mo agomath · formalmethods

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

Comments

1mo agomath · ai

L-system

Comments

1mo agomath · logiclangs

Meet Alice. Alice is impatient

Comments

1mo agomath · performance

The cube, the epicycles and the human face

Comments

Banning noise will be a disaster for statistical data products

Comments

1mo agoprivacy · math

Coalgebras and Automata

Comments

2mo agomath · haskell

Raft Consensus with a Minority of Nodes

Comments

2mo agomath · distributed

Folding in Parallel

Comments

2mo agomath · programming

第 1 / 2 页下一页