Programación

9
GRPC: hacer cliente de alto rendimiento en Java / Scala

Tengo un servicio que transfiere mensajes a una velocidad bastante alta. Actualmente es atendido por akka-tcp y genera 3,5 millones de mensajes por minuto. Decidí probar grpc. Desafortunadamente, resultó en un rendimiento mucho menor: ~ 500k mensajes por minuto e incluso menos. ¿Podría...

9
Imprimir series matemáticas de forma concisa en Raku

Serie matemática, tome por ejemplo la secuencia consecutiva representada aquí como una matriz: my @seq = my $a=0, {++$a} ... *; for @seq[^10].kv {state $f=0; ($^k < 4 or $^k > 7) ?? say "a$^k = " ~ $^v !! (say "..." if $f ne 1; $f=1) }; Huellas dactilares: a0 = 0 a1 = 1 a2 = 2 ... a8 =...

9
La llamada a ProcessInput del hardware de gráficos Intel H264 MFT falla después de alimentar algunas muestras de entrada, lo mismo funciona bien con el hardware MFT de Nvidia

Estoy capturando el escritorio usando DesktopDuplication API y convirtiendo las muestras de RGBA a NV12 en GPU y alimentando el mismo al hardware MediaFoundation H264 MFT. Esto funciona bien con los gráficos de Nvidia, y también con los codificadores de software, pero falla cuando solo está...

9
Los tipos inductivos indexados iguales implican índices iguales

Tengamos un tipo inductivo fooindexado por x : X. Parameter X : Type. Inductive foo : X -> Type := | constr : forall (x : X), foo x. Tengo curiosidad, si foo x = foo yimplica x = y. No tengo ideas de cómo probar esto. Lemma type_equality_implies_index_equality : forall (x y : X), foo x =...

9
foo (nulo) vs foo (nulo *)

Hablando funcional y sintácticamente, ¿hay alguna diferencia entre una función cuyo prototipo es int foo(void)y int foo(void *)? Sé la diferencia entre, por ejemplo, int bar(int)y int bar(int *)- uno de ellos está buscando un int, y el otro está buscando un puntero int. ¿Se voidcomporta de la...