77.9Puntaje
Formalizing Principia Mathematica using Lean
413menciones116usuarios
92% positivoCargando productos...
Los productos que Hacker News no para de recomendarse.
Clasificados según las recomendaciones de desarrolladores, fundadores e ingenieros independientes en debates reales.
77.9Puntaje
GitMCP is an automatic MCP server for every GitHub repo
465menciones146usuarios
91% positivo77.9Puntaje
He creado un directorio de código abierto donde puedes mostrar tus proyectos
428menciones126usuarios
92% positivo77.9Puntaje
A Raycast-compatible launcher for Linux
478menciones149usuarios
92% positivo77.9Puntaje
Typeform me resultaba demasiado caro, así que creé mis propios formularios
551menciones190usuarios
92% positivo77.9Puntaje
Habilidad «Playwright» para Claude Code: ofrece menos contexto que «Playwright-MCP»
439menciones130usuarios
92% positivo77.9Puntaje
I built a tech news aggregator that works the way my brain does
552menciones192usuarios
92% positivo77.9Puntaje
Fixing Google Nano Banana Pixel Art with Rust
413menciones116usuarios
92% positivo77.9Puntaje
Hemos creado nuestro propio motor de inferencia para Apple Silicon
436menciones130usuarios
92% positivo77.8Puntaje
A native, Raycast-compatible launcher for Linux
412menciones119usuarios
91% positivo77.8Puntaje
an ergonomic, timeline-based Hacker News front page
504menciones170usuarios
91% positivoLLM-assisted FFmpeg in the browser
423menciones127usuarios
92% positivo77.8Puntaje
Differentiable Geometric Optics in PyTorch
421menciones126usuarios
92% positivo77.8Puntaje
open-source, AI-native test framework for web apps
419menciones124usuarios
92% positivo77.8Puntaje
Interactive drills to stop forgetting LeetCode patterns
558menciones201usuarios
92% positivo77.8Puntaje
An HTTP/TCP latency tool that's easy on the eye
373menciones100usuarios
92% positivo77.8Puntaje
The modern HTTP client that lives in your terminal
443menciones135usuarios
92% positivo77.8Puntaje
A CNN written in C++ and Vulkan (no ML or math libs)
384menciones102usuarios
92% positivo77.8Puntaje
Convierte tu código en una wiki
620menciones232usuarios
91% positivo77.8Puntaje
Command-line tool (and bash library) that creates JSON
444menciones136usuarios
92% positivo77.8Puntaje
micro creative coding playground
402menciones114usuarios
92% positivo77.8Puntaje
A language that makes WebGPU easier
445menciones139usuarios
92% positivo77.8Puntaje
materializar, acelerar y consultar datos SQL de cualquier fuente
426menciones130usuarios
92% positivo77.8Puntaje
Making an open-source 2D physics iOS game in 2 weeks
94menciones22usuarios
90% positivo77.8Puntaje
Indie iOS app to train your brain in a few minutes a week
94menciones22usuarios
90% positivo77.8Puntaje
Compile, run and share Java code fully client side
132menciones34usuarios
91% positivo77.8Puntaje
Visualiza la entropía de un código fuente con un gráfico 3D basado en fuerzas
454menciones143usuarios
92% positivo77.8Puntaje
Tunnelling TCP through a file
405menciones116usuarios
92% positivo77.8Puntaje
Creating custom coloring pages from photos. Great for parents/teachers
498menciones168usuarios
92% positivo77.8Puntaje
Not sure you're talking to a human? Create a human check
736menciones298usuarios
92% positivo