Posts by gassahara@mstdn.io
(DIR) Post #A0UlDv9k70QAhHXvzk by gassahara@mstdn.io
2020-10-24T17:46:41Z
0 likes, 0 repeats
@amiloradovsky @namark I don't think the intention of the standards is human to human communication but human to compiler, standards is the way you make sure your code will compile on any machine (with that version =) ). Stroustrup is convinced that STL Generics is the way to go on embedded, so, there is that (is generics and is portable per C++20something?)
(DIR) Post #A0UltV6LNDVM3Hmcc4 by gassahara@mstdn.io
2020-10-24T18:40:44Z
0 likes, 0 repeats
@namark @amiloradovsky "Compiler writers are also human!" [looks at my GCC altar: Heretics!] XD"Stroustrup's friend Stepanov..." I still don't know how that would help with performance, abstractions are nice to the human but specific implementations are something of which to be aware [spectre haunts us still :), and my "heartbleed" :) ]"When it comes to formal systems" That's the thing ,we need to be aware of the whole of curry-howard, CS owns Knuth a great deal on that regard! =)
(DIR) Post #A0Wk210goHHzjvzUBM by gassahara@mstdn.io
2020-10-25T17:28:31Z
0 likes, 0 repeats
@jwildeboer Greetings, would you discuss the issue?I think there should be an alternative *methodology*, if the github fiasco proved something is that centralization creates vulnerability.On the other side of the coin, the fediverse, has proved that decentralization is possible, and a worthy effort.On the other hand(this a 3 hand individual =) ) Users should have tools that are friendly for use (not just web interfaces that hide the complexity of the tool)#justmyopinion
(DIR) Post #A0Wugg0ym2pY2S9awi by gassahara@mstdn.io
2020-10-25T19:06:17Z
0 likes, 1 repeats
Para ser discutido en cualquier momento (Este no es el sitio web del pajarito Haamos micro-blogging)* ¿Existe la separación entre desarrollador y usuario? * 'Se ha creado un "Iglesia de la Tecnología?"* ¿Hemos creado Herramientas especializadas que en vez de convertir la tecnología en Herramientas de liberación, las hemos convertido en herramientas de sumisión?* ¿Es C mejor que C++? (trolleo pero quizas no...)
(DIR) Post #A0X7KuTVd5zdv3RvqC by gassahara@mstdn.io
2020-10-25T21:50:24Z
0 likes, 0 repeats
@GatoOscuro @maperal Que importante es una discusión abierta, por: https://quey.org/@GatoOscuro/105097076284658075 me atrevo a interpretar (tal vez impertinentemente?) que la distinción es una abstracción necesaria y me atrevo a extrapolar ejemplos como que Cambridge Analytica no puede culparse a los usuarios sino a los desarrolladores (en este caso una distinción útil), de la misma forma que un usuario de GCC (la línea es movible) puede someter fallas a los desarrolladores de éste (con ego galáctico justificado! =) )
(DIR) Post #A0X7qcpokc06TZ0VYu by gassahara@mstdn.io
2020-10-25T21:56:08Z
0 likes, 0 repeats
@GatoOscuro @maperal por https://social.politicaconciencia.org/@maperal/105097209426477426, me atrevo a inferir que la separación entre usuario y desarrollador es parte de la Iglesia de la Tecnología? que podría haber una distinción pero debe disminuirse la separación?, un problema que hemos encontrado al afrontar esa separación es el lenguaje, los desarrolladores (y expertos de seguridad para ampliar el espectro) usan abstracciones necesarias para comunicarse que llevaria q se hace dificil expandir a quien no comparte el contexto...
(DIR) Post #A0XPDrZTpEms3s22Ea by gassahara@mstdn.io
2020-10-26T01:10:49Z
0 likes, 0 repeats
@GatoOscuro @guizans tambien no es obvio porque en el mismo hilo de pensamiento del OP ahora hay distribuciones "Linux sin GNU", que sin con busybox, etc.
(DIR) Post #A0XPUd4ayy241Fa3U0 by gassahara@mstdn.io
2020-10-26T01:13:51Z
0 likes, 0 repeats
@GatoOscuro Secundo el sentimiento, sobre todo en cuanto al kernel, eso de que hay algunos que entran al jardín y otros que no lo que hace es que los proveedores de hardware no estén obligados a crear interfaces comunes y usables.En cuanto a la comunidad, es una lástima que los "medios" le den más visibilidad a "celebridades" que a proyectos valiosos.Snap me parece una aberración, porque es un paso hacia la distribución binaria pero quizás esa sea mi predilección x make que no es extensible?
(DIR) Post #A0YIE5Jjbt8bEijk1o by gassahara@mstdn.io
2020-10-26T11:27:08Z
0 likes, 0 repeats
@GatoOscuro ¿crees que sea conveniente recomendar que los usuarios tengan esto en cuenta?, promover el uso de vínculos vs encustados, boost en vez de copiar, etc?, ¿o no crees que esto sea extensible o siquiera parte del problema?.Importante observación que siempre me ha preocupado de la federacion: las instancias pequeñas, ¿cual crees que sea la forma más extensible para el futuro fediverso?, ¿la creación de miles de instancias pequeñas con cupos limitados?
(DIR) Post #A0YJsdkr5kdza0KB0q by gassahara@mstdn.io
2020-10-26T11:45:41Z
0 likes, 0 repeats
@GatoOscuro "...siempre en pro del contenido original..." Buen punto! Gracias...
(DIR) Post #A0eW4qVSN6496CmxDk by gassahara@mstdn.io
2020-10-29T11:30:36Z
0 likes, 0 repeats
@urusan: " it's totally different from how computers work" It is a true statement it is however how humans can understand how computers work, abstractions are /a simple path/ to formalization, formalization is useful for *verification*, which is necessary for *correct code*. @natecull: "Why is the computer science" This might be relevant: https://groups.csail.mit.edu/mac/users/gjs/6.945/readings/Steele-MIT-April-2017.pdf (Guy Steele on BNF's)"our core language needs" this might be relevant: http://minikanren.org/ also Byrd's assertions about prolog
(DIR) Post #A0m6idpxqqxVqVNMFE by gassahara@mstdn.io
2020-11-02T00:23:06Z
0 likes, 0 repeats
@natecull @Vierkantor I really hate to do this (youtube is not a good site by a owned by a bad company with bad practices toward its creators of content) but is not anywhere else: https://www.youtube.com/watch?v=7erJ1DV_Tlo"Hewitt, Meijer and Szyperski: The Actor Model"About exactly that
(DIR) Post #A0tNpOfr5JK4MGcfLs by gassahara@mstdn.io
2020-11-05T15:38:30Z
0 likes, 0 repeats
@kev (I think is broken: there are no sounds when I click on images, also the gifs aren't moving =D ) <-- joke...Great work, excelent design: it reflects how I feel also, and great article, Thank you for sharing it! (and the theme!)
(DIR) Post #A10FVtxLd5wC3kiWMC by gassahara@mstdn.io
2020-11-08T21:52:06Z
0 likes, 0 repeats
@severianx @ingenieroscotty @Ruymotxo @fede @dibi58 @beckermatic @fulanete @francistein @pudupudu @darkside @fanta @PatricioBateman @durru @nestort @hispa @Mariancatt31 @pulgovsky @pthenq1 @maperal @rikylinux_ar @Gabriel @xosem @Kuraritalain Sobre la composición de Poe, quiero mencionarles su texto: La Filosofía de la composición (https://www.eapoe.org/works/essays/philcomp.htm), "que el trabajo proceda paso a paso, a su compleción con la precisión y rigida consecuencia de un problema matemático"
(DIR) Post #A10FVuStjnAtdbTiXA by gassahara@mstdn.io
2020-11-08T21:55:00Z
0 likes, 0 repeats
@severianx @ingenieroscotty @Ruymotxo @fede @dibi58 @beckermatic @fulanete @francistein @pudupudu @darkside @fanta @PatricioBateman @durru @nestort @hispa @Mariancatt31 @pulgovsky @pthenq1 @maperal @rikylinux_ar @Gabriel @xosem @Kuraritalain esto lo agarre de una ponencia de Sussman (cocreador del lenguaje Scheme), todo eso que han dicho sentir del cuento de Poe era planificado y ejecutado con precisión
(DIR) Post #A10FVwIguiCNKWiau0 by gassahara@mstdn.io
2020-11-08T22:20:30Z
0 likes, 0 repeats
@maperal Lo mejor que puede hacer un artista es hacernos sentir cosas nuevas... aunque estas sean incomodas... The Raven siempre me impresiono, como algo tan ritmico y tan corto puede producir emocion en tan corto tiempo y ahi esta ese ritmo otra vez en este...@fede @Kuraritalain @severianx @dibi58 @beckermatic @fulanete @francistein @pudupudu @darkside @fanta @ingenieroscotty @Ruymotxo @PatricioBateman @durru @nestort @hispa @Mariancatt31 @pulgovsky @pthenq1 @rikylinux_ar @Gabriel @xosem
(DIR) Post #A10FVxJn86fmUEEzFw by gassahara@mstdn.io
2020-11-08T22:26:49Z
0 likes, 0 repeats
@maperalQue interesante, yo la verdad, aborresco el terror, pero es que el de Wilde no me hizo sentir nada, quizas, con tanto CS Lewis y Tolkien, me aturdi al estilo Ingles =D@fede @Kuraritalain @severianx @dibi58 @beckermatic @fulanete @francistein @pudupudu @darkside @fanta @ingenieroscotty @Ruymotxo @PatricioBateman @durru @nestort @hispa @Mariancatt31 @pulgovsky @pthenq1 @rikylinux_ar @Gabriel @xosem
(DIR) Post #A16547Y1bDBcpz56hs by gassahara@mstdn.io
2020-11-11T18:39:49Z
0 likes, 0 repeats
@DrBenway https://mstdn.io/@gassahara/105176105761725301:)
(DIR) Post #A166cmoYmELgcjuR16 by gassahara@mstdn.io
2020-11-11T18:57:02Z
0 likes, 0 repeats
@maperal @DrBenway Exactamente, es un cliente de Youtube que no necesita que se haya ingresado a la cuenta de Google, para notificar actualizaciones en los canales, trabaja importando el RSS de los canales suscritos (segun entendi, puedo estar equivocado), lo que lo hace dificil de recomendar es que es una aplicación electron, generalmente estas requiere de demasiados recursos, pero es una de las muchas alternativa disponibles, al espionaje de Skynet =). De probarla dígannos que piensan =)
(DIR) Post #A1CeJcjUo7eerIi4eW by gassahara@mstdn.io
2020-11-14T13:35:42Z
1 likes, 1 repeats
@neauoire I don't know if Mechanical computers (https://www.youtube.com/watch?v=s1i-dnAH9Y4 , https://www.youtube.com/watch?v=hIinz4fKGpo ) qualify since they /are/ computers, and were canonical for a long time; There is also the "experiment" of Scott Aaronson (https://www.scottaaronson.com/blog/?m=200708) to disprove this:https://arxiv.org/abs/cs/0406056 which could be considered as an automated proof without computers (half joke)