Menéame: comentarios [3073102]

#99 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--543878-- — Mon, 28 Jan 2019 00:18:19 +0000

#2 ...todavía no. Pronto.

» autor: --543878--

#98 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Kr0n0 — Sat, 26 Jan 2019 14:53:53 +0000

#33 Otro que también ha trabajado en sistemas críticos. Es curioso como cambia la perspectiva del desarrollador cuando estás programando a nivel Kernel y se detecta un fallo en el hardware... Que por supuesto hay que tapar con software.

» autor: Kr0n0

#97 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--586837-- — Fri, 25 Jan 2019 20:56:09 +0000

El lenguaje ideal para eso sería Java

» autor: --586837--

#96 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

falvarez — Fri, 25 Jan 2019 20:19:10 +0000

#44 Claro, y esos procesadores los fabricó un Terminator, ¿no? #44

» autor: falvarez

#95 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

squanchy — Fri, 25 Jan 2019 18:52:32 +0000

#94 Es porque mola ver que hay gente más friki que nosotros.

» autor: squanchy

#94 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

EspañoI — Fri, 25 Jan 2019 18:43:04 +0000

#23 #6 pensaba que era el único que se pasaba horas viendo dar martillazos.

This knife, would KEEL

» autor: EspañoI

#93 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

cosmonauta — Fri, 25 Jan 2019 18:41:04 +0000

#36 Nada más rápido y legible que un switch.

» autor: cosmonauta

#92 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

EspañoI — Fri, 25 Jan 2019 18:37:45 +0000

#2 exacto! además en el caso de C la caja negra Está a tan bajo nivel que puedes incrustar blobs en ensamblador.

» autor: EspañoI

#91 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

baronrampante — Fri, 25 Jan 2019 18:06:13 +0000

#84 Claro, porque nos conocemos de toda la vida.

» autor: baronrampante

#90 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

baronrampante — Fri, 25 Jan 2019 17:56:11 +0000

#72 Creo que es más razonable usar Ada o C++.

» autor: baronrampante

#89 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--377551-- — Fri, 25 Jan 2019 17:13:28 +0000

[Usuario deshabilitado]

» autor: --377551--

#88 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

pollo — Fri, 25 Jan 2019 16:41:10 +0000

Yo lo que haría sería utilizar Ada o Rust (especialmente el segundo) junto con una batería de tests exhaustiva.

Rust es un lenguaje de sistemas (tipo C o C++) que es capaz de garantizar en tiempo de compilación que no vas a cometer un montón de bugs muy fáciles de cometer en otros lenguajes, incluyendo race conditions en multihilo, desreferenciar punteros nulos, buffer overflows y cosas por el estilo.

Utilizar C para software crítico es como confiar que un profesional del tiro con arco acierte el 100% de las veces en la diana. Y C++ ya ni digamos.

» autor: pollo

#87 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--447777-- — Fri, 25 Jan 2019 16:34:02 +0000

#60 pues habla con los del tuv. Y luego me cuentas.

» autor: --447777--

#86 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--348464-- — Fri, 25 Jan 2019 16:16:45 +0000

[Usuario deshabilitado]

» autor: --348464--

#85 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--23457-- — Fri, 25 Jan 2019 15:36:34 +0000

C#minor - Cminor?

Qué clase de intercambio modal es ése?

C#m7b5

» autor: --23457--

#84 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Goats_21 — Fri, 25 Jan 2019 15:33:35 +0000

#72 Seguro que dice Java...

» autor: Goats_21

#83 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

albandy — Fri, 25 Jan 2019 15:19:02 +0000

#82 solo tengo que abrir el grindr

» autor: albandy

#82 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--592813-- — Fri, 25 Jan 2019 15:12:47 +0000

#81 Por como hablas debes tener pocas, así que es como si yo te hablara de la cría del avestruz. Suerte con el ejercicio

» autor: --592813--

#81 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

albandy — Fri, 25 Jan 2019 15:09:59 +0000

#80 ahhh claro que en las relaciones esporádicas sin compromiso lo que importa es la personalidad y no el físico, claaaaro.

» autor: albandy

#80 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--592813-- — Fri, 25 Jan 2019 15:04:01 +0000

#45 "(o tienes que bajar el nivel)"

Esto dice mucho de ti

» autor: --592813--

#79 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Sr.Aracnido — Fri, 25 Jan 2019 15:01:22 +0000

#36 ¿Podrías desarrollar más ese último párrafo? Siento curiosidad.

» autor: Sr.Aracnido

#78 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--455200-- — Fri, 25 Jan 2019 14:43:30 +0000

La calidad del software no esta definida x el compilador ni por los programadores. Esta definida x el testing que se haga. Si supera el test es confiable. O si no es que esta mal definido el test.

» autor: --455200--

#77 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

bokepacha — Fri, 25 Jan 2019 14:26:44 +0000

#45 Como decían en el genial corto "La fiesta": si hay que bajar el listón, se baja. Si hay que tirarlo, se tira!

» autor: bokepacha

#76 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

bokepacha — Fri, 25 Jan 2019 14:25:48 +0000

#55 la puerta -->

» autor: bokepacha

#75 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

mgm2pi — Fri, 25 Jan 2019 14:14:21 +0000

#23 C y forjado a fuego, la mejor noticia de menéame ever

» autor: mgm2pi

#74 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Daniel_Gimeno — Fri, 25 Jan 2019 14:05:28 +0000

Según recuerdo el c no está permitido en sw crítico como centrales nucleares o torres de control aereo pq te permite hacer ciertas cosas

» autor: Daniel_Gimeno

#73 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--557583-- — Fri, 25 Jan 2019 14:03:56 +0000

#6 eso, sigamos con el estereotipo de los nerds gafudos y granudos. Porque los funcionarios no trabajan, los taxistas son unos ladrones, los obreros unos paletos, los curas unos pederastas y los políticos unos puteros. Así nos va.

» autor: --557583--

#72 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

scalvo — Fri, 25 Jan 2019 14:01:14 +0000

#43 Qué elegirías, por curiosidad?

» autor: scalvo

#71 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

TecnoMarine — Fri, 25 Jan 2019 13:41:16 +0000

Con tests automatizados y un equipo de testers/QA semi decente estaría más que tranquilo.

» autor: TecnoMarine

#70 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--419859-- — Fri, 25 Jan 2019 13:22:05 +0000

#7 Si es tan crítico, puede que uses ADA, o algún compilador de C ultrarestictivo.

» autor: --419859--

#69 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--419859-- — Fri, 25 Jan 2019 13:20:16 +0000

#45 Está claro, no eres un "Nerd", solo te haces pasar por uno

» autor: --419859--

#68 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--541279-- — Fri, 25 Jan 2019 13:14:35 +0000

[Usuario deshabilitado]

» autor: --541279--

#67 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Epicurus — Fri, 25 Jan 2019 13:12:00 +0000

#28
Yo de lo que no me fío, no es del compilador, sino de los programadores!...

Y no te metas con la Working-Storage Section, que no respondo!!!

Donde este el Cobol que se quiten las ñoñeces esas del C++, Java, etc... El Cobol es el lenguaje de los VERDADEROS hombres!!! Esos de peluche en sobaco y camachos hasta la cintura!

» autor: Epicurus

#66 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

CrudaVerdad — Fri, 25 Jan 2019 13:11:18 +0000

#17 cuando trabajo bien, hago a mi empresa fuerte y competitiva, la competencia se resiente, y en algunos casos los manda a la bancarrota, familias enteras afectadas negativamente, depresión, suicidios, algunos caen en el lado oscuro criminal, hay homicidios, trata de blancas, narcotráfico, mafia, delincuencia organizada..... Y todo por hacer mi trabajo bien

» autor: CrudaVerdad

#65 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

tusko — Fri, 25 Jan 2019 12:53:48 +0000

#37 Creo q es un geek.

» autor: tusko

#64 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

fdfeliz — Fri, 25 Jan 2019 12:43:02 +0000

Con lo feliz que era yo con mi ensamblador....

» autor: fdfeliz

#63 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

brainsqueezer — Fri, 25 Jan 2019 12:36:30 +0000

Les compilador si. Del optimizador de código no. Osea gcc -O0

» autor: brainsqueezer

#62 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

emdi — Fri, 25 Jan 2019 12:36:11 +0000

El hardware tiene microprogramacion y como tal tiene fallos.
LA BIOS/UEFI esta programada y tiene fallos.
El SO y drivers estan programados y tambien tienen fallos.
El compilador es un programa y como tal tiene fallos.
las librerias y framework que usuas estan programadas y tienen fallos.
Los sistemas o componentes externos que usas estan programados y tiene fallos.
Nosotros tenemos fallos.
Los usuarios tiene fallos.
las comunicacones tiene fallos.
Todo tiene fallos, todo! Lo que se intenta es minimizarlos en los usos mas comunes a un coste razonable segun el uso.

» autor: emdi

#61 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

eltoloco — Fri, 25 Jan 2019 12:27:35 +0000

Yo de lo que no me fiaría es de alguien que ha escrito su propio compilador porque no se fía de los compiladores que llevan años y años en desarrollo y en los que han añadido su grano de arena los mayores expertos con diferencia.

Respuesta corta; no hay que reinventar la rueda.

» autor: eltoloco

#60 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

GrogXD — Fri, 25 Jan 2019 12:25:44 +0000

#57 El artículo se refiere a software crítico y se puede escribir software 100% fiable, otra cosa es la fiabilidad del hardware.

» autor: GrogXD

#59 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

llorencs — Fri, 25 Jan 2019 12:19:41 +0000

#58 Haha, mucho más amor da el Brainfuck

» autor: llorencs

#58 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

chorche77 — Fri, 25 Jan 2019 12:12:11 +0000

#56 Ni la mitad de amor que al Ook!

» autor: chorche77

#57 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--447777-- — Fri, 25 Jan 2019 12:00:28 +0000

#49 no hay sistema 100% seguro ni fiable.

» autor: --447777--

#56 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

llorencs — Fri, 25 Jan 2019 12:00:07 +0000

#51 O Ada El lenguaje que amo más de todos

» autor: llorencs

#55 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

GuiA — Fri, 25 Jan 2019 11:53:30 +0000

#37 Será "renerdgao" !

» autor: GuiA

#54 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

GrogXD — Fri, 25 Jan 2019 11:53:04 +0000

#12 Lo que se hace en esos casos es utilizar software matemáticamente verificado, hoy en día existen SMT solvers (Satisfability Modulo Theories) estáticos que en función de una especificación en la forma de precondiciones y postcondicones se demuestra y comprueba matemáticamente que el software va a comportarse exactamente así, por ejemplo el lenguaje Dafny.

Un ejemplo de lo que le paso al cohete Ariane - 5 , por utilizar software del anterior cohete que no estaba matemáticamente verificado, al parecer un número se salió de su representación...

www.youtube.com/watch?v=PK_yguLapgA

Así es un bloque de código en dafny que calcula un factorial.

function fact (n:int):int
requires n >= 0
decreases n
{
if n == 0 then 1 else n * fact(n-1)
}

method factorial (n:int) returns (f:int)
requires n >= 0
ensures f == fact(n)
{
var x := n;
f := 1;
while x > 0
invariant 0 <= x <= n;
invariant f * fact(x) == fact(n);
{
f := x * f;
x := x - 1;
}
}

» autor: GrogXD

#53 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

SemosOsos — Fri, 25 Jan 2019 11:50:06 +0000

#9 - Atención, aparece la primera sentencia GOTO
* Tim, te lo confieso; nunca pensé que vería un código así

» autor: SemosOsos

#52 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--549231-- — Fri, 25 Jan 2019 11:48:03 +0000

#5 o no, igual te pasas de frenada y complicas innecesariamente todo.

» autor: --549231--

#51 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Kipp — Fri, 25 Jan 2019 11:43:48 +0000

#31 O el antiguo pascal... Se dice que quien sabe pascal al 100% domina el UnixVerso (vale ya me voy)

» autor: Kipp

#50 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--516070-- — Fri, 25 Jan 2019 11:42:39 +0000

Qué recuerdos más bonitos.

Uno, Qt con Visual studio 2003, si hacia un if con j dentro de otro if con I, en una clase en específico, j siempre valía 0. Por muchos j++ que le metieras.

Dos, as2 bajo Flash nosequé versión, si le metía muchos "intros" el código de después de los saltos de línea no se ejecutaba, ignoraba esa línea.

Kotlin te quiere. Kotlin nunca te haría eso. Kotlin es tu amigo. Benditos checos.

» autor: --516070--

#49 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

GrogXD — Fri, 25 Jan 2019 11:42:33 +0000

#10 La idea es que no haya incertidumbre.

» autor: GrogXD

#48 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

pitufotontin — Fri, 25 Jan 2019 11:41:41 +0000

No me fío de mi padre, que se jodió a mi madre, me voy a fiar de las porquerías que codifico.

Afortunadamente el que vale, vale y el que no a Banca, y en ese mundo no tengo que preocuparme por las mierdas que programo (ojo, para Banca pero no en Kobold, yo el Host ni lo huelo, pero si mierdecillas accesorias - aplicaciones web pestosas - que solicitan, y para las cuales los bancos no son nada exigentes).

» autor: pitufotontin

#47 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--310356-- — Fri, 25 Jan 2019 11:40:07 +0000

Hay que decir que no se compila y ¡ale, a producción!
Incluso en las cárnicas se hacen pruebas.

» autor: --310356--

#46 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

carcadiz — Fri, 25 Jan 2019 11:40:05 +0000

Me temo que el mensaje se perderá en el marasmo, pero por si alguien le interesa el tema, en la industria del automovil desarrollamos basándonos en la ISO 26262 (es.wikipedia.org/wiki/ISO_26262) y para ello están los niveles ASIL (en.wikipedia.org/wiki/Automotive_Safety_Integrity_Level)
Cualquier software que requiera algún nivel de ASIL en su ejecución ha de ser generado con herramientas cualificadas para ese nivel y correr sobre microcontroladores certificados para ello también. Y no sólo eso, se definen estrategias de verificación formal, de testeo, de review... todo conforme a la especificación. Yo siempre digo que ISO 26262 es la manera que las empresas tienen de salvarse legalmente en caso de accidente, pero lo cierto es que gracias a ello se desarrollan sistemas que son infinitamente más robustos, verificados y confiables. Casos como el de Toyota con el acelerador a día de hoy no son posibles si sigues la especificación. josemuelas.org/2017/07/09/por-que-la-justicia-necesita-software-libre-
Llevo dos anyos trabajando en ello gestionando el desarrollo de software FuSa (Functional Safety), si alguien quiere preguntar algo que pregunte.

» autor: carcadiz

#45 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

albandy — Fri, 25 Jan 2019 11:39:17 +0000

#40 porque tienes pareja.... Yo hago deporte además de por salud porque si no estás en forma lo tienes bastante más difícil para pillar cacho (o tienes que bajar el nivel)

» autor: albandy

#44 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

blb — Fri, 25 Jan 2019 11:39:08 +0000

#15 Bueno Bueno.
en.wikipedia.org/wiki/Pentium_FDIV_bug
en.wikipedia.org/wiki/MOS_Technology_6502#Bugs_and_quirks
en.wikipedia.org/wiki/Pentium_F00F_bug

Y hay mas

» autor: blb

#43 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

baronrampante — Fri, 25 Jan 2019 11:36:25 +0000

Para empezar, lo que yo no haría sería elegir C

» autor: baronrampante

#42 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

acastro — Fri, 25 Jan 2019 11:34:44 +0000

#36 Es fácil cometer errores en cualquier lenguaje y en C más aún, pero no se habla de eso sino de los fallos provocados por el propio compilador. Son errores que se dan bajo condiciones de programación poco habituales y que no se corrigen hasta una versión siguiente en la cual pueden aparecer errores diferentes.

Tenemos que pensar que hay fases de optimización en la generación de código que no son nada triviales.

Es evidente que los fallos provocados por un S.O. son incluso más numeroso. La cantidad de código que interviene es mucho mayor.

Yo imagino que para hacer un compilador seguro lo que buscaran es algo muy simple (menos potente y flexible) para que sea mucho más fácil validarlo.

» autor: acastro

#41 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

skaworld — Fri, 25 Jan 2019 11:33:00 +0000

#38 ¿Espátula? no me fio, yo uso un hueso de torax de muflón aplanado que labro yo mismo con dos piezas de sílex tras cazarlo a pedradas

» autor: skaworld

#40 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Drachenfutter — Fri, 25 Jan 2019 11:32:10 +0000

#26 Incluso tenemos pareja y escasez de granos, lo del deporte ya tal...

» autor: Drachenfutter

#39 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

albandy — Fri, 25 Jan 2019 11:30:12 +0000

#37

» autor: albandy

#38 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

zeioth — Fri, 25 Jan 2019 11:29:51 +0000

#2 El truco está en dejarlo bien planito con una espatula cuando se enfría.

» autor: zeioth

#37 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

ampos — Fri, 25 Jan 2019 11:29:36 +0000

#26 entonces eres un nerd renegao...

» autor: ampos

#36 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--348464-- — Fri, 25 Jan 2019 11:23:31 +0000

[Usuario deshabilitado]

» autor: --348464--

#35 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Nitpick — Fri, 25 Jan 2019 11:20:22 +0000

Si confio en los autobuses con alas de Ryanair porque no iba a confiar en un simple compilador?

» autor: Nitpick

#34 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

chochis — Fri, 25 Jan 2019 11:16:49 +0000

Confiarías en tu procesador? Confiarías en tu memoria? En tu compilador? En tu recolector de basura?

» autor: chochis

#33 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

carcadiz — Fri, 25 Jan 2019 11:15:38 +0000

Aquí uno que trabaja justamente en eso. Pero para ello tenemos el ISO26262, testeo a diferentes niveles, software redundante, protección de memoria y ejecución en los sistemas operativos... Hoy en día el software es bastante seguro en ese sentido y tenemos mecanismos para garantizar que el coche no te mata.

» autor: carcadiz

#32 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

mirlus — Fri, 25 Jan 2019 11:15:09 +0000

#18 si quieres usar gamusinos o hámsters para que giren las ruedas, tú mismo, yo te lo digo como profesional con seis años de experiencia en la computación de altas prestaciones. Cuando IBM ofrece computación cuántica a sus clientes, no es por una necesidad de los clientes de ese tipo de potencia de cómputo, sino una necesidad de IBM de ofrecer algo nuevo y diferente a sus clientes.

» autor: mirlus

#31 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

chochis — Fri, 25 Jan 2019 11:15:09 +0000

#28 Por los dioses de Kobol!

» autor: chochis

#30 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

triturator — Fri, 25 Jan 2019 11:15:04 +0000

#12 Pues yo prefiero que esté al cargo una persona como tú, a la que le quita el sueño ese tema e irá con cuidado, a que esos programas los haga alguien a quien le importe tres cojones el tema.

» autor: triturator

#29 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

triturator — Fri, 25 Jan 2019 11:11:42 +0000

#7 Está hablando de IoT, Arduinos y mandangas así. Ahí no hay sistema operativo, eres tú contra la máquina.

» autor: triturator

#28 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

BodyOfCrime — Fri, 25 Jan 2019 11:11:25 +0000

#1 Los que te votan negativo seguro que programan en COBOL

es.wikipedia.org/wiki/Kobold

» autor: BodyOfCrime

#27 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

doze — Fri, 25 Jan 2019 11:10:39 +0000

en.wikipedia.org/wiki/Formal_verification#Software

» autor: doze

#26 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

albandy — Fri, 25 Jan 2019 11:04:51 +0000

#6 oye que tambien hay nerds que cuidamos nuestro aspecto físico. A ver si te piensas que somos todos como los de las pelis, algunos tenemos vida social y hacemos deporte.

» autor: albandy

#25 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

eldelmedio — Fri, 25 Jan 2019 11:02:15 +0000

#6 www.microsiervos.com/archivo/hackers/semiconductores-artesanales.html
Y apunto que hay que ser muy pro.

» autor: eldelmedio

#24 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--589369-- — Fri, 25 Jan 2019 10:57:20 +0000

Confío en mis tests

» autor: --589369--

#23 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Siete_de_picas — Fri, 25 Jan 2019 10:51:37 +0000

#6 Maldito, ese programa es droga de la buena

» autor: Siete_de_picas

#22 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

Abeel — Fri, 25 Jan 2019 10:50:21 +0000

Esto es como todo, ¿Confías en la calibración del robot que empaqueta los medicamentos?,¿la pureza de los mismos?.

Hay una cosa que me parece muy curiosa, y es cuando te ponen una vía, el plastiquillo ese para regular la velocidad de la administración intravenosa, es un plástico sencillo pero hay que confiar en él.

(En medicamentos donde la dosis es más precisa, se usa un aparato electronico, pero ... ¿puede fallar, no? como todo.

» autor: Abeel

#21 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

skaworld — Fri, 25 Jan 2019 10:47:34 +0000

#16 Aquí hablan de software y el compilador, no de sensores y motores del mundo fisico, y aún así te diré pese a que lleve años sin tocar ese mundo yo técnicamente soy ingeniero industrial en robótica, y si, tu cuando montas un sistema en el mundo físico, el concepto es exactamente el mismo, me tengo que fiar del fabricante y sus especificaciones.

Si después hay errores pues se rastrea quien miente, pero tu no puedes reinventar la rueda, te tienes que basar en alguna caja negra (la cual ha sido auditada previamente, las especificaciones en segun que sistemas tienen categoría de documento legal)

» autor: skaworld

#20 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

KaborlllLLLONE — Fri, 25 Jan 2019 10:46:01 +0000

#16 No, es exactamente lo mismo.

» autor: KaborlllLLLONE

#19 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

dirok — Fri, 25 Jan 2019 10:45:04 +0000

#12 Pues sí, al final esos sistemas pasan cientos de pruebas, certificaciones y demás pero la probabilidad de un error que derive en un accidente mortal por muy baja que sea siempre existe y nunca va a ser 0.

» autor: dirok

#18 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--542333-- — Fri, 25 Jan 2019 10:44:49 +0000

[Usuario deshabilitado]

» autor: --542333--

#17 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

mandelbr0t — Fri, 25 Jan 2019 10:43:38 +0000

#12 Una pérdida económica conlleva despidos, vidas destrozadas en el alcohol y la drogradicción. Ale, ya puedes dar vueltas en la cama

» autor: mandelbr0t

#16 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

darkdead4 — Fri, 25 Jan 2019 10:42:36 +0000

#8 Creo que evitar que un chip active una puta bolsa que te reventa en la cara y al mismo tiempo se asegure que detectores y detonadores estén en orden de funcionamiento esta varias ordenes sobre tu concepto de auditoria del soft encima que te entre en unos pocos K.XD
Creo que tenemos aquí un usuario se dedica a eso y podía aportar un poco mas yo solo me dedico reparar ultimamente esas mierdas.

» autor: darkdead4

#15 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

mandelbr0t — Fri, 25 Jan 2019 10:42:19 +0000

#7 El fallo siempre estará en un humano, el tema es averiguar cual, si el del procesador, el del so, el del compilador, el del programa o el que lo usa.

» autor: mandelbr0t

#14 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

wai — Fri, 25 Jan 2019 10:42:12 +0000

#12 Amen. Yo solo llevo 8 años, pero tal y como está el tema de cárnicas y demás paso de trabajar con aplicaciones críticas.

Cuando Indra, Everis, Accenture... fallen lo mismo que un compilador entonces igual si.

» autor: wai

#13 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

NapalMe — Fri, 25 Jan 2019 10:40:30 +0000

¿En el compilador mas probado? que remedio.

» autor: NapalMe

#12 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

ElPerroDeLosCinco — Fri, 25 Jan 2019 10:36:16 +0000

Llevo 20 años trabajando en el desarrollo de software y una de las pocas cosas -o la única- que siempre he tenido clara es la decisión de no trabajar en aplicaciones donde haya vidas en juego: hospitales, transportes, etc. Quiero poder dormir tranquilo sabiendo que mi peor error puede provocar una pérdida económica o de productividad. O que a una mala me podrían incluso despedir. Pero que la cosa nunca tendrá consecuencias más graves.

» autor: ElPerroDeLosCinco

#11 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

mirlus — Fri, 25 Jan 2019 10:11:13 +0000

Realmente el auge de la computación cuántica se debe principalmente a que los particulares ya pueden hacer sus propios compiladores, chips, e incluso semiconductores, aunque todavía está al alcance de pocos. Para mantener el mercado, hace falta hardware más complejo, la "nube" está fallando, y la computación cuántica es la última esperanza de los fabricantes de hardware, aunque ¿por cuánto tiempo?

Relacionadas:
www.bimos.com/B/es-es/noticias/2741/como-planifico-una-sala-blanca-de-
www.microsiervos.com/archivo/hackers/semiconductores-artesanales.html

» autor: mirlus

#10 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--586887-- — Fri, 25 Jan 2019 10:11:02 +0000

ante la incertidumbre, redundancia

» autor: --586887--

#9 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

skaworld — Fri, 25 Jan 2019 10:03:18 +0000

#6

-Uhh Mike está teniendo problemas con el chequeo de sintaxis y puede que su codigo no llegue a compilar
-Si Tim, ha intentado primar la velocidad de desarrollo sin ir haciendo comprobaciones poco a poco y ahora se encuentra con un montón de codigo espagutti plagado de errores, no se como lo va a solucionar.
-Además parece que su madre se ha olvidado de traerle el inhalador por lo que es posible que se encuentre con problemas debido a las gramineas.

» autor: skaworld

#8 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

skaworld — Fri, 25 Jan 2019 09:59:05 +0000

#5 Para eso tienes los certificados de auditoria, yo monto algo sobre dos sistemas que tienen el sello de X, que a su vez se basan en dos sitemas que tienen el sello de X que a su vez se basan en tres sistemas que tienen el sello de X

Y ese puto sello tiene que ir a misa porque si no el castillo de naipes se cae, mira por ejemplo el engendro que estoy montando ahora interconecta 6 sistemas de su padre y de su madre que van desde contabilidad a ventas, tio pues yo en base a los interfaces y la especificacion aprobada que me dan me tengo que fiar que hacen lo que me dicen y como me lo dicen, no puedo auditar todo.

Luego si hay fallos pues si ya rastreo quien ha sido el cabron que me ha mentido

» autor: skaworld

#7 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--287400-- — Fri, 25 Jan 2019 09:57:56 +0000

Si tan crítico es que dependen de él vidas humanas el compilador no va a ser lo único que te preocupe, también influirá mucho el sistema operativo en donde se ejecute el programa, y eso ya puede hacer que el programa tenga que ser completamente diferente. Y además también afectará a cómo escribes el programa.

» autor: --287400--

#6 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

marcamo — Fri, 25 Jan 2019 09:56:09 +0000

#2 Eso da para programa de Mega: "Forjando mi silicio".

Sería delicioso ver a cuatro nerds, granudos y gafudos, dándole con un martillo de dos kilos a su oblea de silicio "de aquí me sale un transistor npn cojonudo..."
Luego Doug Marcaida diría: "este microprocesador... ¡mata!"

» autor: marcamo

#5 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

perrico — Fri, 25 Jan 2019 09:54:36 +0000

#2 Si que es cierto que cuanto más partes del proceso total tengas auditadas, más reduces la probabilidad de fallo.

» autor: perrico

#4 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

sleep_timer — Fri, 25 Jan 2019 09:53:44 +0000

Mejor una interfaz en visual basic para detectar la ip del hacker...

» autor: sleep_timer

#3 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

jonolulu — Fri, 25 Jan 2019 09:51:42 +0000

#0 Te falta un punto y coma

» autor: jonolulu

#2 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

skaworld — Fri, 25 Jan 2019 09:44:35 +0000

Hay un punto a partir del cual, tienes que confiar en alguna caja negra, es lo que hay, no puedo forjar mi propio silicio

» autor: skaworld

#1 Cuando el código en C es crítico (incluso con vidas en juego) ¿Confiarías en tu compilador?

--11417-- — Fri, 25 Jan 2019 09:43:18 +0000

Yo del Rivera no me fío ni un pelo

» autor: --11417--