rauchg

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• no-define-proof misses defineProof re-exported through a local module

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 69/100

  rauchg/gdp-ts#16 · Abierto el 5/10/2026

• Recipe step 6 ESLint config reports errors on the recipe's own proof code

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

  rauchg/gdp-ts#15 · Abierto el 5/10/2026

• Documented proof errors compile when strictNullChecks or strictFunctionTypes is off

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

  rauchg/gdp-ts#14 · Abierto el 5/10/2026

• Strict lint mode accepts proofs forged with `!`, `any`-typed values or `never` values

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

  rauchg/gdp-ts#13 · Abierto el 5/10/2026

• Spreading a Named value keeps its name but swaps the id: { ...project, value: other.value } satisfies proofs

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100

  rauchg/gdp-ts#11 · Abierto el 5/10/2026

• Keystroke counting silently stops mid-session (event tap not re-armed)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  rauchg/typing-stats#12 · Abierto el 15/7/2026

• Chinese post isn't supported?

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  rauchg/blog#189 · 1 comentario · Abierto el 17/1/2026

• Input is not restricted to emojis

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  rauchg/emoji-todo#6 · Abierto el 14/7/2024

• Not readable in dark-mode

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  rauchg/next-sqlite#1 · Abierto el 20/6/2024

• Hydration Error

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  rauchg/stream-chart#4 · 1 comentario · Abierto el 29/5/2024

• Duplicate line in Static Hoisting post

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 45/100

  rauchg/blog#151 · Abierto el 22/11/2023

• RSS file is not valid

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  rauchg/blog#149 · Abierto el 14/10/2023

• Hi, how use the soket.io with next.js 13

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

  rauchg/blog#145 · 1 reacción · Abierto el 23/7/2023

• vc dev:error

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

  rauchg/blog#143 · Abierto el 26/6/2023

• Implement lightbox for images

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  rauchg/blog#78 · Abierto el 27/12/2020

• Fast prerender for YouTube

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  rauchg/blog#76 · Abierto el 27/12/2020

• implement an rss feed for readers

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  rauchg/blog#58 · 1 comentario · 6 reacciones · Abierto el 22/6/2020

• Benchmark runner exits 0 after failed compiler runs

  Posiblemente ocupada @ArkashJ la tomó hace 1 día. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100

  rauchg/gdp-ts#9 · Abierto el 5/10/2026

• Password rotation between validation and issuance grants tokens for the new version

  Posiblemente ocupada @ArkashJ la tomó hace 1 día. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 67/100

  rauchg/gdp-ts#7 · Abierto el 5/10/2026

• Express examples return HTTP 500 for malformed client input

  Posiblemente ocupada @ArkashJ la tomó hace 1 día. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  rauchg/gdp-ts#5 · Abierto el 5/10/2026

• Lint presets miss static computed defineProof calls and exported provers

  Posiblemente ocupada @ArkashJ la tomó hace 1 día. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

  rauchg/gdp-ts#3 · Abierto el 5/10/2026