77.9极客分
Formalizing Principia Mathematica using Lean
413次提及116位讨论者
92% 好评率正在加载极客产品...
Hacker News 极客群体口口相传、真诚推荐的产品。
按独立发声开发者与工程师的真实推荐度、长青跨度与好评率综合打分排序。
77.9极客分
GitMCP is an automatic MCP server for every GitHub repo
465次提及146位讨论者
91% 好评率77.9极客分
I made an open source directory of where to showoff your projects
428次提及126位讨论者
92% 好评率478次提及149位讨论者
92% 好评率Typeform was too expensive so I built my own forms
551次提及190位讨论者
92% 好评率77.9极客分
Playwright Skill for Claude Code – Less context than playwright-MCP
439次提及130位讨论者
92% 好评率I built a tech news aggregator that works the way my brain does
552次提及192位讨论者
92% 好评率77.9极客分
Fixing Google Nano Banana Pixel Art with Rust
413次提及116位讨论者
92% 好评率77.9极客分
We made our own inference engine for Apple Silicon
436次提及130位讨论者
92% 好评率412次提及119位讨论者
91% 好评率77.8极客分
an ergonomic, timeline-based Hacker News front page
504次提及170位讨论者
91% 好评率423次提及127位讨论者
92% 好评率77.8极客分
Differentiable Geometric Optics in PyTorch
421次提及126位讨论者
92% 好评率419次提及124位讨论者
92% 好评率Interactive drills to stop forgetting LeetCode patterns
558次提及201位讨论者
92% 好评率77.8极客分
An HTTP/TCP latency tool that's easy on the eye
373次提及100位讨论者
92% 好评率77.8极客分
The modern HTTP client that lives in your terminal
443次提及135位讨论者
92% 好评率77.8极客分
A CNN written in C++ and Vulkan (no ML or math libs)
384次提及102位讨论者
92% 好评率77.8极客分
Command-line tool (and bash library) that creates JSON
444次提及136位讨论者
92% 好评率402次提及114位讨论者
92% 好评率445次提及139位讨论者
92% 好评率materialize, accelerate, and query SQL data from any source
426次提及130位讨论者
92% 好评率77.8极客分
Making an open-source 2D physics iOS game in 2 weeks
94次提及22位讨论者
90% 好评率77.8极客分
Indie iOS app to train your brain in a few minutes a week
94次提及22位讨论者
90% 好评率77.8极客分
Compile, run and share Java code fully client side
132次提及34位讨论者
91% 好评率77.8极客分
Visualize the entropy of a codebase with a 3D force-directed graph
454次提及143位讨论者
92% 好评率405次提及116位讨论者
92% 好评率77.8极客分
Creating custom coloring pages from photos. Great for parents/teachers
498次提及168位讨论者
92% 好评率