77.9Score
Formalizing Principia Mathematica using Lean
413mentions116utilisateurs
92% positifChargement des produits...
Les produits que Hacker News recommande sans cesse.
Classés selon le nombre de développeurs, fondateurs et ingénieurs indépendants qui les recommandent.
77.9Score
GitMCP is an automatic MCP server for every GitHub repo
465mentions146utilisateurs
91% positif77.9Score
I made an open source directory of where to showoff your projects
428mentions126utilisateurs
92% positifA Raycast-compatible launcher for Linux
478mentions149utilisateurs
92% positif77.9Score
Typeform was too expensive so I built my own forms
551mentions190utilisateurs
92% positif77.9Score
Playwright Skill for Claude Code – Less context than playwright-MCP
439mentions130utilisateurs
92% positif77.9Score
I built a tech news aggregator that works the way my brain does
552mentions192utilisateurs
92% positifFixing Google Nano Banana Pixel Art with Rust
413mentions116utilisateurs
92% positif77.9Score
We made our own inference engine for Apple Silicon
436mentions130utilisateurs
92% positif77.8Score
A native, Raycast-compatible launcher for Linux
412mentions119utilisateurs
91% positif77.8Score
an ergonomic, timeline-based Hacker News front page
504mentions170utilisateurs
91% positifLLM-assisted FFmpeg in the browser
423mentions127utilisateurs
92% positif77.8Score
Differentiable Geometric Optics in PyTorch
421mentions126utilisateurs
92% positif77.8Score
open-source, AI-native test framework for web apps
419mentions124utilisateurs
92% positif77.8Score
Interactive drills to stop forgetting LeetCode patterns
558mentions201utilisateurs
92% positif77.8Score
Un outil de mesure de la latence HTTP/TCP au design agréable
373mentions100utilisateurs
92% positif77.8Score
The modern HTTP client that lives in your terminal
443mentions135utilisateurs
92% positif77.8Score
A CNN written in C++ and Vulkan (no ML or math libs)
384mentions102utilisateurs
92% positif77.8Score
Transformez votre base de code en wiki
620mentions232utilisateurs
91% positif77.8Score
Command-line tool (and bash library) that creates JSON
444mentions136utilisateurs
92% positif77.8Score
espace de découverte du codage créatif à petite échelle
402mentions114utilisateurs
92% positif77.8Score
A language that makes WebGPU easier
445mentions139utilisateurs
92% positif77.8Score
materialize, accelerate, and query SQL data from any source
426mentions130utilisateurs
92% positif77.8Score
Making an open-source 2D physics iOS game in 2 weeks
94mentions22utilisateurs
90% positif77.8Score
Une application iOS indépendante pour entraîner votre cerveau en quelques minutes par semaine
94mentions22utilisateurs
90% positif77.8Score
Compile, run and share Java code fully client side
132mentions34utilisateurs
91% positif77.8Score
Visualize the entropy of a codebase with a 3D force-directed graph
454mentions143utilisateurs
92% positif77.8Score
Tunnelling TCP through a file
405mentions116utilisateurs
92% positif77.8Score
Creating custom coloring pages from photos. Great for parents/teachers
498mentions168utilisateurs
92% positif77.8Score
Not sure you're talking to a human? Create a human check
736mentions298utilisateurs
92% positif